3 т.30, 2018 - Труды Института системного программирования РАН

3 т.30, 2018 - Труды Института системного программирования РАН

Журнал: Труды Института системного программирования РАН @trudy-isp-ran

Бесплатный доступ

ID: 14915800 Короткий адрес: https://sciup.org/14915800

Содержание выпуска 3 т.30, 2018 Труды Института системного программирования РАН

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