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


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

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

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


Содержание

И. А. Андрианов, В. Д. Майоров, Д. Ю. Турдаков Современные методы аспектно-ориентированного анализа эмоциональной окраски Стр. 5-22.

Д.А. Грушин, Н.Н Кузюрин Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей Стр. 23-34.

А.В. Алексиянц, О.Д. Борисенко, Д. Ю. Турдаков, А. В. Шер, С. Д. Кузнецов Реализация сервиса для выполнения Apache Spark задач и создания Apache Spark кластеров на основе Openstack Sahara Стр. 35-48.

И.В. Богомолов, А.В. Алексиянц, А. В. Шер, О.Д. Борисенко, А.И. Аветисян Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone Стр. 49-58.

В.К. Кошелев, И.А. Дудина, В.И. Игнатьев, А.И. Борзилов Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Стр. 59-86.

П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов Метод легковесного статического анализа для поиска состояний гонок Стр. 87-116.

М.У. Мандрыкин, В.С. Мутилин Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях Стр. 117-142.

Е.В. Корныхин, А.В. Хорошилов Использование языка программирования Python для описания ограничений на архитектурные модели Стр. 143-156.

А.В. Цыварев, А.В. Хорошилов Использование симуляции сбоев при тестировании компонентов ядра ОС Linux Стр. 157-174.

А.К.Петренко, В.В.Кулямин, А.В.Хорошилов Об интеграции формальных методов в задачах верификации операционных систем Стр. 175-190.

A.С. Асратян, Н.Н. Кузюрин Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Стр. 191-198.

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