Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 30, выпуск 3, 2018, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией члена-корреспондента РАН А.И. Аветисяна

Скачать полный выпуск
PDF


Содержание

Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С. Обнаружение ошибок, возникающих при использовании динамической памяти после освобождения Стр. 7-20.

Дудина И.А. Статический анализ для поиска переполнения буфера: актуальные направления развитияалгоритмов Стр. 21-30.

Лесовой С.Л. Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Стр. 31-46.

Трифанов В.Ю. Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Стр. 47-62.

Чебыкин А.Е., Кириленко Я.А. Применение глубокого машинного обучения к синтезу цепочки вызовов C# Стр. 63-86.

Абакумов М.А., Довгалюк П.М. Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Стр. 87-92.

Иванов А.В., Довгалюк П.М., Макаров В.А. Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Стр. 93-98.

Лаврищева Е.М., Пакулин Н.В., Рыжов А.Г., Зеленов С.В. Анализ методов оценки надежности оборудования и систем. Практика применения методов Стр. 99-120.

Чепцов В.Ю., Хорошилов А.В. Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Стр. 121-134.

Маллачиев К.А., Хорошилов А.В Построение модульного программного обеспечения на основе однородной компонентой модели Стр. 135-148.

А.А. Андрюхин Методы защиты децентрализованных автономных организаций от системных отказов и атак Стр. 149-164.

Прокопьев С.Е. Нотация криптографической стековой машины версии один Стр. 165-182.

Лебедев Д.А., Стотланд И.А. Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Стр. 183-194.

Петроченков М.В., Муштаков Р.Е., Шпагилев Д.И. Верификация контроллеров связи в системах на кристалле Стр. 195-206.

Зосимов В.В., Христодоров А.В., Булгакова А.С. Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Стр. 207-220.

Горденко М.К., Авдошин С.М. Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Стр. 221-232.

Береснева Е.Н., Авдошин С.М. Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения. Стр. 233-250.

Береснева Е.Н., Горденко М.К. Применение методов системного анализа к оцениванию работы учебных ассистентов Стр. 251-270.

Ильин Д.В., Фокина Н.Ю., Семенов В.А. Статический анализ зависимостей для семантической валидации данных Стр. 271-284.

Нестеров Р.А., Мицюк А.А., Ломазова И.А. Симуляция поведения мультиагентных систем с ациклически взаимодействующими агентами Стр. 285-302.

Гнатенко А.Р., Захаров В.А. О верификации конечных автоматов-преобразователей над полугруппами Стр. 303-324.

Винарский Е.М., Захаров В.А. К проверке строго детерминированного поведения временных конечных автоматов Стр. 325-340.

Словохотов Ю.Л., Неретин И.С. К построению модульной модели распределенного интеллекта Стр. 341-362.

Вернуться к списку всех томов