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


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

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

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


Содержание

А.И. Аветисян Предисловие Стр. 9-11.

М.А. Климушенкова, М.Г. Бакулин, В.А. Падарян, П.М. Довгалюк, Н.И. Фурсова, И.А. Васильев О некоторых ограничениях полносистемного анализа помеченных данных Стр. 11-26.

А.В. Вишняков Классификация ROP гаджетов Стр. 27-36.

Р.А. Бучацкий, Е.Ю. Шарыгин, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник, Р.В. Баев Динамическая компиляция SQL-запросов для СУБД PostgreSQL Стр. 37-48.

Е.М. Лаврищева, А.К.Петренко Моделирование семейств программных систем Стр. 49-64.

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

А.С. Камкин, А.М. Коцыняк, А.Д. Татарников, М.М. Чупилко Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Стр. 87-102.

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

О. Д. Борисенко, Р. К. Пастухов, С. Д. Кузнецов Создание виртуальных кластеров Apache Spark в облачных средах с использованием систем оркестрации Стр. 111-120.

Р. Массобрио, С. Несмачнов, А. Черных, А. Аветисян, Г. Радченко Применение облачных вычислений для анализа данных большого объема в умных городах Стр. 121-140.

Д.Ю. Игнатов, А.Н. Филиппов, А.Д. Игнатов, С. Чжан Автоматический анализ, декомпозиция и параллельная оптимизация больших однородных сетей Стр. 141-152.

М. Дробышевский, А. Коршунов, Д. Турдаков Параллельное вычисление модулярности для направленных взвешенных графов с пересекающимися сообществами Стр. 153-170.

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

Ю.С. Трофимович, И.С. Козлов, Д.Ю. Турдаков Подходы к определению основного места проживания пользователей социальных сетей на основе социального графа Стр. 185-196.

Д.А. Усталов Применение словарей и векторов слов для автоматического построения лексической онтологии Стр. 197-206.

И.С. Алимова, В.Д. Соловьев, И.З. Батыршин Сравнительный анализ мер сходства, основанных на преобразовании скользящих аппроксимаций, в задачах классификации временных рядов Стр. 207-222.

Д.О. Машкин, Е.В. Котельников Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов Стр. 223-240.

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