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


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

Под редакцией академика РАН В.П. Иванникова

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


Содержание

Е.А. Глуходед, С.И. Сметанин Метод представления мнений экспертов в виде Z-чисел Стр. 7-20.

С.М. Авдошин, А.В. Лазаренко Система деанонимизации пользователей теневого интернета Стр. 21-34.

П.П. Олейник, С.М. Салибекян Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Стр. 35-50.

А.С. Кирьянцев, И.А. Стефанова Генерация динамических ключей и подписей с зависимостью от времени Стр. 51-64.

Д.И. Самохвалов, Л.В. Дворянский Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Стр. 65-84

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

И.С. Шугуров, А.А. Мицюк Применение MapReduce для проверки соответствия моделей процессов и логов событий Стр. 103-122.

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

П.Д. Дробинцев, В.П. Котляров, Н.В. Воинов, И.А. Селин Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования Стр. 145-160.

М.В. Петроченков, И.А. Стотланд, Р.Е. Муштаков Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Стр. 161-172.

Е.А. Ильченко Инструменты математического сервиса MathPartner для выполнения параллельных вычислений на кластере Стр. 173-188.

В.В. Кулямин, Е.М. Лаврищева, В.С. Мутилин, А.К. Петренко Верификация и анализ вариабельных операционных систем Стр. 189-208.

А.Р. Топчян Поддержка выполнения проектов, ориентированных на данные, в современных предприятиях Стр. 209-230.

В.Н. Юдин, Л.Е. Карпов, В.Ю. Абрамов Виды признаков и их роль в дифференцировании классов при оценке не полностью описанного объекта Стр. 231-240.

Ю.А. Румянцев, П.Н. Захаров, Н.А. Абрашитова, А.В. Шматок, В.О. Рыжих, Н.Б. Гудимчук, Ф.И. Атауллаханов Применение ПЛИС для расчета деполимеризации микротрубочки методом броуновской динамики Стр. 241-266.

М.В. Крапошин Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред Стр. 267-326.

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