|
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 |
|
|
О возможностях автоматного описания параллельной композиции временных автоматов
А. С. Твардовский, А. В. Лапутенко
|
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 |
|
|
Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел
М. С. Гуськова, Л. Ю. Бараш, Л. Н. Щур
|
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 |
|
|
Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша
Е. И. Гусев
|
161 |
|
|
Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания
А. Н. Нуриев, А. М. Камалутдинов, О. Н. Зайцева
|
183 |
|
|
Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES
И. К. Марчевский, В. В. Пузикова
|
195 |
|
|
Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель
С. А. Дергачев
|
215 |
