|
Building the software defined data center
B. M. Shabanov, O. I. Samovarov
|
7–24 |
|
|
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–38 |
|
|
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–68 |
|
|
Testing switch rules in software defined networks
I. B. Burdonov, N. V. Yevtushenko, A. S. Kossatchev
|
69–88 |
|
|
Conformance testing of extensible authentication protocol implementations
A. V. Nikeshin, V. Z. Shnitman
|
89–104 |
|
|
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–122 |
|
|
On an effective scheduling problem in computation clusters
D. A. Grushin, N. N. Kuzyurin
|
123–142 |
|
|
Static verification for memory safety of Linux kernel drivers
A. A. Vasilyev
|
143–160 |
|
|
Linux kernel configuration build for application systems
S. V. Kozin
|
161–170 |
|
|
Exploratory search for scientific articles
Y. R. Nedumov, S. D. Kuznetsov
|
171–198 |
|
|
Methods for information spread analysis
A. A. Avetisyan, M. D. Drobyshevskiy, D. Yu. Turdakov
|
199–220 |
|
|
Automatic search for fragments containing biographical information in a natural language text
A. V. Glazkova
|
221–236 |
|
|
A system of operators for spatial-temporal analysis of dynamic scenes
K. S. Petrishchev, V. A. Zolotov, V. A. Semenov
|
237–258 |
|
|
The problem-oriented library SOWFA for solving the applied tasks of wind energy
M. V. Kraposhin, S. V. Strijhak
|
259–274 |
|
|
Multiscale approach for simulation of complex transient processes of fluid flows in technical systems
M. V. Kraposhin
|
275–292 |
|
|
Minimal basis of the syzygies module of leading terms
A. V. Sokurov
|
293–304 |
|
|
Programming of digital linear phase filter in ARMv8 architecture
A. M. Vodovozov, D. S. Poletaev
|
305–314 |
|
|
Testing different numerical methods opportunities for internal flows simulation
V. G. Melnikova
|
315–328 |
|
|
Mathematical modeling of polymeric cover outgassing process in open space conditions
N. A. Polibina
|
329–340 |
|
|
On representation of simulation time in functional programming style
D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov
|
341–366 |
|
|
Component-based verification of operating systems
V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov
|
367–382 |
Contact us: