|
Building the software defined data center
B. M. Shabanov, O. I. Samovarov
|
7 |
|
|
Combining dynamic symbolic execution, code static analysis and fuzzing
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov
|
25 |
|
|
Next generation intermediate representations for binary code analysis
M. A. Solovev, M. G. Bakulin, M. S. Gorbachev, D. V. Manushin, V. A. Padaryan, S. S. Panasenko
|
39 |
|
|
Testing switch rules in software defined networks
I. B. Burdonov, N. V. Yevtushenko, A. S. Kossatchev
|
69 |
|
|
Conformance testing of extensible authentication protocol implementations
A. V. Nikeshin, V. Z. Shnitman
|
89 |
|
|
On-line algorithm for scheduling parallel tasks on related computational clusters with processors of different capacities and its average-case analysis
D. O. Lazarev, N. N. Kuzyurin
|
105 |
|
|
On an effective scheduling problem in computation clusters
D. A. Grushin, N. N. Kuzyurin
|
123 |
|
|
Static verification for memory safety of Linux kernel drivers
A. A. Vasilyev
|
143 |
|
|
Linux kernel configuration build for application systems
S. V. Kozin
|
161 |
|
|
Exploratory search for scientific articles
Y. R. Nedumov, S. D. Kuznetsov
|
171 |
|
|
Methods for information spread analysis
A. A. Avetisyan, M. D. Drobyshevskiy, D. Yu. Turdakov
|
199 |
|
|
Automatic search for fragments containing biographical information in a natural language text
A. V. Glazkova
|
221 |
|
|
A system of operators for spatial-temporal analysis of dynamic scenes
K. S. Petrishchev, V. A. Zolotov, V. A. Semenov
|
237 |
|
|
The problem-oriented library SOWFA for solving the applied tasks of wind energy
M. V. Kraposhin, S. V. Strijhak
|
259 |
|
|
Multiscale approach for simulation of complex transient processes of fluid flows in technical systems
M. V. Kraposhin
|
275 |
|
|
Minimal basis of the syzygies module of leading terms
A. V. Sokurov
|
293 |
|
|
Programming of digital linear phase filter in ARMv8 architecture
A. M. Vodovozov, D. S. Poletaev
|
305 |
|
|
Testing different numerical methods opportunities for internal flows simulation
V. G. Melnikova
|
315 |
|
|
Mathematical modeling of polymeric cover outgassing process in open space conditions
N. A. Polibina
|
329 |
|
|
On representation of simulation time in functional programming style
D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov
|
341 |
|
|
Component-based verification of operating systems
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov
|
367 |
