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

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

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



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






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


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


Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
7
Buffer overflow detection via static analysis: expectations vs. reality
I. A. Dudina
21
Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
S. L. Lesovoy
31
Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах
В. Ю. Трифанов
47
Applying deep learning to C# call sequence synthesis
A. E. Chebykin, I. A. Kirilenko
63
Stealth debugging of programs in Qemu emulator with WinDbg debugger
M. A. Abakumov, P. M. Dovgalyuk
87
Configurable system call tracer in QEMU emulator
A. V. Ivanov, P. M. Dovgaluk, V. A. Makarov
93
Анализ методов оценки надежности оборудования и систем. Практика применения методов
Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов
99
In-kernel memory-mapped I/O device emulation
V. Yu. Cheptsov, A. V. Khoroshilov
121
Building modular real-time software from unified component model
K. A. Mallachiev, A. V. Khoroshilov
135
Methods of protecting decentralized autonomous organizations from crashes and attacks
A. A. Andryukhin
149
Cryptographic stack machine notation one
S. E. Prokopev
165
Construction of validation modules based on reference functional models in a standalone verification of communication subsystem
D. A. Lebedev, I. A. Stotland
183
Verification of system on chip integrated communication controllers
M. V. Petrochenkov, R. E. Mushtakov, D. I. Shpagilev
195
Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова
207
Variants of chinese postman problems and a way of solving through transformation into vehicle routing problems
M. K. Gordenko, S. M. Avdoshin
221
Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution
E. Beresneva, S. Avdoshin
233
Applying the methods of system analysis to teaching assistants’ evaluation
E. Beresneva, M. Gordenko
251
Static dependency analysis for semantic data validation
D. V. Ilyin, N. Yu. Fokina, V. A. Semenov
271
Simulating behavior of multi-agent systems with acyclic interactions of agents
R. A. Nesterov, A. A. Mitsyuk, I. A. Lomazova
285
On the model checking of finite state transducers over semigroups
A. R. Gnatenko, V. A. Zakharov
303
On the verification of strictly deterministic behavior of timed finite state machines
E. M. Vinarskii, V. A. Zakharov
325
К построению модульной модели распределенного интеллекта
Ю. Л. Словохотов, И. С. Неретин
341
Труды института системного программирования РАН
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018