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 > >> |