Lista de artigos

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