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


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

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

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


Содержание

Н.Ю. Вьюгинов, В.С. Фондаратов Автоматизированная генерация типовых контрактов для языка Ruby Стр. 7-20.

Р.А. Нестеров, И.А. Ломазова Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов Стр. 21-38.

А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль Контрактный метод спецификации реактивных требований Стр. 39-54.

Д.Р. Башкирова, Ш. Йошидзава, Р.Х. Латыпов, Х. Йокота Быстрое L1-преобразование Гаусса для сглаживания изображений с сохранением границ Стр. 55-72.

А.В. Корнилова, Я.А. Кириленко, Н.И. Забелина Стабилизация видеоизображения в режиме реального времени с использованием MEMS-датчиков Стр. 73-86.

А.Р. Гималетдинова, К.Ю. Дегтярев Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа Стр. 87-106.

М.К. Горденко, С.М. Авдошин Смешанная задача китайского почтальона Стр. 107-122.

С.М. Авдошин, Е.Н. Береснева Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Стр. 123-138.

A.C. Твардовский, Н.В. Евтушенко, М.Л. Громов Минимизация автоматов с таймаутами и временными ограничениями Стр. 139-154.

К.В. Давыдова, C.A. Шершаков Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Стр. 155-174.

Л.В. Дворянский, В.Е. Михайлов Инструмент для анализа поведения вполне структурированных систем переходов Стр. 175-190.

А. Карнов, С. Зеленов Cтохастические методы анализа комплексных программно-аппаратных систем Стр. 191-202.

А.Р. Волков, М.У. Мандрыкин Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Стр. 203-216

С.В. Козин, В.С. Мутилин Статическая верификация конфигураций ядра Linux Стр. 217-230.

В.С. Буренков Методика параметризованной верификации протоколов когерентности памяти Стр. 231-246

М.М. Чупилко, А.С. Камкин, М.С. Лебедев, С.А. Смолов Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей Стр. 247-256.

М.В. Петроченков, Р.Е. Муштаков, И.А. Стотланд Верификация контроллеров 10 гигабитного Ethernet Стр. 257-268.

О. Москалева, А. Громова Создание тестовых данных для систем контроля и мониторинга рынка, содержащих встроенные алгоритмы машинного обучения Стр. 269-282.

К.A. Маллачиев, Н.В. Пакулин, А.В. Хорошилов, Д.В. Буздалов Использование модульного подхода во встраиваемых операционных системах Стр. 283-294.

А.Н. Емеленко, К.А. Маллачиев, Н.В. Пакулин Отладчик для операционной системы реального времени: проблемы мультиплатформенности Стр. 295-302.

Л.Д. Кантеев, Ю.О. Костюков, Д.В. Луцив, Д.В. Кознов, М.Н. Смирнов Обнаружение неточно повторяющегося текста в документации программного обеспечения Стр. 303-314.

С.И. Сметанин Программа для мониторинга общественных настроений в России на основе сообщений из Twitter Стр. 315-324.

И.И. Долгалева, И.А. Горшков, Р.Э. Яворский Narrabat — прототип сервиса для пересказа новостей в формате стихотворений Стр. 325-336.

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