Browse Title Index

Issue Title File
Vol 44, No 6 (2018) QoSTRP: A Trusted Clustering Based Routing Protocol for Mobile Ad-Hoc Networks
Raja R., Ganeshkumar P.
Vol 44, No 6 (2018) Quality of Service Enhancement in Wireless Sensor Network Using Flower Pollination Algorithm
Muruganantham R., Ganeshkumar P.
Vol 45, No 1 (2019) Quantitative Evaluation of Thread-Local Garbage Collection Efficiency for Java
Filatov A.Y., Mikheev V.V.
Vol 43, No 6 (2017) Query compilation in PostgreSQL by specialization of the DBMS source code
Sharygin E.Y., Buchatskiy R.A., Zhuykov R.A., Sher A.R.
Vol 44, No 4 (2018) Refinement of the Coherent Point Drift Registration Results by the Example of Cephalometry Problems
Lachinov D.A., Getmanskaya A.A., Turlapov V.E.
Vol 42, No 5 (2016) Region analysis for deductive verification of C programs
Mandrykin M.U., Khoroshilov A.V.
Vol 45, No 8 (2019) RETRACTED ARTICLE: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
Khan A.
Vol 43, No 2 (2017) Revealing matrices of linear differential systems of arbitrary order
Abramov S.A., Ryabenko A.A., Khmelnov D.E.
Vol 44, No 2 (2018) Satellite Unknowns in Irreducible Differential Systems
Panferov A.A.
Vol 44, No 1 (2018) Satisfying DO-178C Structural Coverage Objectives
Kozyrev V.P., Saburov M.A.
Vol 42, No 1 (2016) Scalable and accurate detection of code clones
Sargsyan S., Kurmangaleev S., Belevantsev A., Avetisyan A.
Vol 44, No 3 (2018) Schedulability Analysis for Strictly Periodic Tasks in RTOS
Zelenova S.A., Zelenov S.V.
Vol 43, No 4 (2017) SharpChecker: Static analysis tool for C# programs
Koshelev V.K., Ignatiev V.N., Borzilov A.I., Belevantsev A.A.
Vol 45, No 8 (2019) Software Advances using n-agents Wireless Communication Integration for Optimization of Surrounding Recognition and Robotic Group Dead Reckoning
Ivanov M., Sergiyenko O., Tyrsa V., Lindner L., Rodriguez-Quiñonez J.C., Flores-Fuentes W., Rivas-Lopez M., Hernández-Balbuena D., Nieto Hipólito J.I.
Vol 45, No 5 (2019) Stance Detection Based on Ensembles of Classifiers
Vychegzhanin S.V., Kotelnikov E.V.
Vol 42, No 1 (2016) Studies in the theory of algebraic models of programs with procedures
Podlovchenko R.I.
Vol 44, No 1 (2018) Support for Parallel and Concurrent Programming in C++
V’yukova N.I., Galatenko V.A., Samborskii S.V.
Vol 42, No 5 (2016) Synchronous incremental update of materialized views for PostgreSQL
Quoc Vinh N.T.
Vol 44, No 1 (2018) Test Generation from Event System Abstractions to Cover Their States and Transitions
Julliand J., Kouchnarenko O., Masson P.A., Voiron G.
Vol 45, No 7 (2019) Testing the Conformance of Implementations of the EAP Protocol and Its Methods to Internet Specifications
Nikeshin A.V., Shnitman V.Z.
Vol 42, No 3 (2016) The use of artificial neural networks for classification of signal sources in cognitive radio systems
Adjemov S.S., Klenov N.V., Tereshonok M.V., Chirov D.S.
Vol 43, No 6 (2017) The use of vector instructions of a processor architecture for emulating the vector instructions of another processor architecture
Batuzov K.A.
Vol 44, No 1 (2018) Theorem Prover for Intuitionistic Logic Based on the Inverse Method
Pavlov V.A., Pak V.G.
Vol 45, No 4 (2019) To the Development of Open Source Software for the Reconstruction of CAD Models
Slyadnev S.E., Turlapov V.E.
Vol 45, No 3 (2019) Tools to Support Scientific Online Publishing
Gorbunov-Posadov M.M., Polilova T.A.
176 - 200 of 210 Items << < 3 4 5 6 7 8 9 > >>