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


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

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

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


Содержание

А. И. Гетьман, В.П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов Модель представления данных при проведении глубокого анализа сетевого трафика Стр. 5-22.

И.А. Вахрушев, В.В. Каушан, В.А. Падарян, А.Н. Федотов Метод поиска уязвимости форматной строки Стр. 23-38.

Евгений Велесевич Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Стр. 39-48.

М.У. Мандрыкин , А.В. Хорошилов О дедуктивной верификации Си программ, работающих с разделяемыми данными Стр. 49-68.

С.В. Морозов, Д.В. Ильин, В.А. Семенов, О.А. Тарлапан Библиотека ограничений для спецификации индустриальных моделей данных. Стр. 69-110.

Е.В. Тутубалина Совместная вероятностная тематическая модель для идентификации проблемных высказываний, связанных нарушением функциональности продуктов Стр. 111-128.

А.Г. Гомзин, С.Д. Кузнецов Методы построения социо-демографических профилей пользователей сети Интернет Стр. 129-144.

В.А.Захаров, В.В. Подымов Применение алгоритмов проверки эквивалентности для оптимизации программ Стр. 145-174.

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