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


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

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

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


Содержание

Головешкин А.В. Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» Стр. 7-28.

Гудиев А.В., Гражевская А.С. Графический DSL для разработки мобильных приложений Стр. 29-34.

Наумович Т., Баляк Л., Живоинович Л., Филипович Ф Разработка программной среды для управления интеллектуальными устройствами в реальном времени Стр. 35-46.

Порошин П.А., Мешков А.Н. Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров «Эльбрус» Стр. 47-58.

Фролов П.В. Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Стр. 59-66.

Лебедев Д.А., Петроченков М.В. Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Стр. 67-76.

Петрыкин А.А., Стотланд И.А., Мешков А.Н. Автономная верификация IOMMU с поддержкой виртуализации Стр. 77-84.

Котляров В.П., Маслаков А.П., Толстолес А.А. Цифровое моделирование технологии производства металлообрабатывающих механических цехов Стр. 85-98.

Носовский М.М., Дегтярев К.Ю. Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости Стр. 99-122.

Путро П.А. Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Стр. 123-134.

Камкин А.С., Лебедев М.С., Смолов С.А. Поиск конфликтов доступа к данным в HDL-описаниях Стр. 135-144.

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

Тюрин А.В., Тюляндин И.В., Мальцев В.С., Кириленко Я.А., Березун Д.А. Обзор языков для безопасного программирования смарт-контрактов Стр. 157-176.

Шимчик Н.В., Игнатьев В.Н. Поиск уязвимостей при помощи статического анализа помеченных данных Стр. 177-190.

Писарев И.А., Бабенко Л.К. C# парсер для извлечения структуры криптографических протоколов из исходного кода Стр. 191-202.

Ригин А.М., Шершаков С.А. Компонент-расширение РСУБД SQLite для индексирования данных модификациями B-деревьев Стр. 203-216.

Шаляпина Н.А., Громов М.Л. «ЖИЗНЬ» в тензорах: реализация клеточных автоматов на видеокартах Стр. 217-228.

Мельничук Д.В. Моделирование нелинейной системы стабилизации на кластерах с сопроцессорами Intel Xeon Phi Стр. 229-240.

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