|
The effect of partiality and adaptivity on the complexity of FSM state identification problems
H. Yenigun, N. V. Evtushenko, N. G. Kushik, J. López
|
7 |
|
|
On the possibilities of FSM description of parallel composition of timed finite state machines
A. S. Tvardovskii, A. V. Laputenko
|
25 |
|
|
Stuck-at-faults tester as a web-service
N. A. Shalyapina, A. A. Zaytsev, S. V. Batratskiy, M. L. Gromov
|
41 |
|
|
Towards the methods of analysis malicious applications for Android operating system
Sergey Staroletov
|
55 |
|
|
Asynchronous distributed algorithms for static and dynamic directed rooted graphs
I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman
|
69 |
|
|
Bitcoin users deanonimization methods
S. M. Avdoshin, A. V. Lazarenko
|
89 |
|
|
The principles of life cycle supporting system for mission-critical systems
B. A. Pozin
|
103 |
|
|
Applying AVX512 vectorization to improve the performance of a random number generator
M. S. Guskova, L. Yu. Barash, L. N. Shchur
|
115 |
|
|
Dealing with not fully described objects in decision support systems: alternative approaches
Valery N. Yudin, Leonid E. Karpov
|
127 |
|
|
Array database internals
V. A. Pavlov, B. A. Novikov
|
137 |
|
|
Optimizing access to memory pages in software-implemented global page cache systems
E. I. Gusev
|
161 |
|
|
Dependence of hydrodynamic forces acting on oscillating thin plates on the shape of edges in the range of large oscillation amplitudes
A. N. Nuriev, A. M. Kamalutdinov, O. N. Zaitseva
|
183 |
|
|
The efficiency comparison of solvers for sparse linear algebraic equations systems based on the BiCGStab and FGMRES methods
I. K. Marchevsky, V. V. Puzikova
|
195 |
|
|
Mathematical simulation of vorticity evolution in the case of spatial flow around bodies by the method of vortex loops
S. A. Dergachev
|
215 |
