RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2018, том 30, выпуск 1  


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
Труды института системного программирования РАН
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018