|
Automated testing of a TCG frontend for Qemu
D. S. Koltunov, V. Y. Efimov, V. A. Padaryan
|
7–24 |
|
|
Introspection of QEMU emulator peripherals configuration
N. I. Fursova, P. M. Dovgalyuk
|
25–36 |
|
|
Automatic verification of heap-manipulating programs
Yu. O. Kostyukov, K. A. Batoev, D. A. Mordvinov, M. P. Kostitsyn, A. V. Misonizhnik
|
37–62 |
|
|
Compilation of OCaml memory model into Power
E. S. Namakonov, A. V. Podkopaev
|
63–78 |
|
|
Improving fuzzing performance by applying interval mutations
S. S. Sargsyan, J. A. Hakobyan, H. M. Movsisyan, M. S. Mehrabyan, V. T. Sirunyan, Sh. F. Kurmangaleev
|
78–88 |
|
|
Language design: OOP or not OOP or better OOP
A. E. Nedoria
|
89–94 |
|
|
Methods for assessing the reliability of software and hardware systems
E. M. Lavrischeva, S. V. Zelenov, N. V. Pakulin
|
95–108 |
|
|
DOOR: distributed object oriented software restructuring approach using neural network
A. Khan
|
109–126 |
|
|
Cross-lingual similar document retrieval methods
D. V. Zubarev, I. V. Sochenkov
|
127–136 |
|
|
Methods for news items popularity estimation on early stages
A. A. Avetisyan, M. D. Drobyshevskiy, D. Yu. Turdakov
|
137–144 |
|
|
Domain adaptation by proactive labeling
M. A. Ryndin, D. Y. Turdakov
|
145–152 |
|
|
Usage of i-vectors for automated determination of a similarity level between languages
A. A. Bērziņš
|
153–164 |
|
|
Methods and means for automated information systems development based on ontology «Software and hardware complexes quality management»
A. V. Samonov
|
165–182 |
|
|
Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid
E. E. Ivashko, V. S. Litovchenko
|
183–190 |
|
|
Machine learning use cases in cybersecurity
S. M. Avdoshin, A. V. Lazarenko, N. I. Chichileva, P. A. Naumov, P. G. Klyucharev
|
191–202 |
|
|
Analysis of correct synchronization of operating system components
P. S. Andrianov
|
203–232 |
|
|
Procedures to search for Laurent and regular solutions of linear ordinary differential equations with truncated power series coefficients
S. A. Abramov, D. E. Khmelnov, A. A. Ryabenko
|
233–247 |
Contact us: