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


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

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

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


Содержание

Головешкин А.В., Михалкович С.С. Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Стр. 7-28.

Адамович И.А., Климов Анд.В. Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Стр. 29-44.

Киргизов Г.В., Кириленко Я.А. Библиотека программирования гетерогенных архитектур Стр. 45-62.

Горелиц Н.К., Гукова А.С., Песков Е.В. Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Стр. 63-78.

Кулик Т., Ларсен П.Г. К формальной верификации стандартов кибербезопасности Стр. 79-94.

Путро П.А. Совмещение ACSL спецификаций с машинным кодом Стр. 95-106.

Карраскель Х.С., Mоралес A., Виллаполь М. Е. Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Стр. 107-128.

Чупилко М.М., Дроздова Е.А. Динамическая верификация контроллеров шин систем-на-кристалле Стр. 129-138.

Твардовский А.С., Евтушенко Н.В. К синтезу адаптивных различающих последовательностей для конечных автоматов Стр. 139-154.

Писарев И.А., Бабенко Л.К. Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Стр. 155-168.

Поляков А.Р., Корнилова А.В., Кириленко Я.А. Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков Стр. 169-182.

Мусатян С.А., Ломакин А.В., Сартасов С.Ю., Попыванов Л.К., Монахов И.Б., Чижова А.С. Способы сегментации медицинских изображений Стр. 183-194.

Сачков В.Е. Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Стр. 195-208.

Лазарев Д.О., Кузюрин Н.Н. Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Стр. 209-230.

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