|
Information retrieval and analysis for a modern organization
Artyom Topchyan
|
7–28 |
|
|
Scalable sandbox environments for a modern organization
Artyom Topchyan
|
29–40 |
|
|
A model checking-based method of functional test generation for HDL descriptions
M. S. Lebedev, S. A. Smolov
|
41–56 |
|
|
Checking parameterized Promela models of cache coherence protocols
V. S. Burenkov, A. S. Kamkin
|
57–76 |
|
|
Language for describing templates for test program generation for microprocessors
A. D. Tatarnikov
|
77–98 |
|
|
Specification-based test program generation for MIPS64 memory management units
A. S. Kamkin, A. M. Kotsynyak
|
99–114 |
|
|
Translation of nested Petri nets into classical Petri nets for unfoldings verification
V. O. Ermakova, I. A. Lomazova
|
115–136 |
|
|
Method for exploitability estimation of program bugs
A. N. Fedotov
|
137–148 |
|
|
Statically detecting buffer overflows in C/C++
I. Dudina, V. Koshelev, A. Borodin
|
149–168 |
|
|
Implementing OpenMP 4.0 for the NVIDIA PTX architecture in GCC compiler
A. V. Monakov, V. A. Ivanishin
|
169–182 |
|
|
Model of spontaneously changing object behavior in case control approach
V. N. Yudin, L. E. Karpov
|
183–192 |
|
|
Some problems on graph databases
R. I. Guralnik
|
193–216 |
|
|
Dynamic compilation of expressions in SQL queries for PostgreSQL
E. Yu. Sharygin, R. A. Buchatskiy, L. V. Skvortsov, R. A. Zhuykov, D. M. Melnik
|
217–240 |
|
|
An overview of modern methods for motion planning
K. A. Kazakov, V. A. Semenov
|
241–294 |
Contact us: