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


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

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

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


Содержание

Б.М. Шабанов, О.И. Самоваров Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД Стр. 7-24.

А.Ю. Герасимов, С.С. Саргсян, Ш.Ф. Курмангалеев, Дж.А. Акопян, С.А. Асрян, М.К. Ермаков Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Стр. 25-38.

М.А. Соловьев, М.Г. Бакулин, М.С. Горбачев, Д.В. Манушин, В.А. Падарян, С.С. Панасенко О новом поколении промежуточных представлений, применяемом для анализа бинарного кода Стр. 39-68.

И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев Тестирование правил настройки сетевого коммутатора программно-конфигурируемой сети Стр. 69-88.

А.В. Никешин, В.З. Шнитман Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета Стр. 89-104.

Д.О. Лазарев, Н.Н. Кузюрин Алгоритм построения расписаний выполнения параллельных задач на группах кластеров с процессорами различной производительности и его анализ в среднем Стр. 105-122.

Д.А. Грушин, Н.Н. Кузюрин О задаче эффективного управления вычислительной инфраструктурой Стр. 123-142.

А.А. Васильев Статическая верификация безопасности доступа к памяти в модулях ядра ОС Linux Стр. 143-160.

С.В. Козин Конфигурационная сборка варианта ядра Linux для прикладных систем Стр. 161-170.

Я.Р. Недумов, С.Д. Кузнецов Исследовательский поиск научных статей Стр. 171-198.

А.А. Аветисян, М.Д. Дробышевский, Д.Ю. Турдаков Методы анализа информационных потоков в сети Интернет Стр. 199-220.

А.В. Глазкова Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке Стр. 221-26.

К.С. Петрищев, В.А. Золотов, В.А. Семёнов Система операторов для пространственно-временного анализа динамических сцен Стр. 237-258.

М.В. Крапошин, С.В. Стрижак Проблемно-ориентированная библиотека SOWFA для решения прикладных задач ветроэнергетики Стр. 259-274.

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

А.В.Шокуров Минимальный базис модуля сизигий старших членов Стр. 293-304.

А.М. Водовозов, Д.С. Полетаев Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8-A Стр. 305-314.

В.Г. Мельникова Тестирование различных методов моделирования внутренних течений несжимаемой жидкости Стр. 315-328.

Н.А. Полибина Математическая модель процесса дегазации полимерного покрытия в условиях открытого космоса Стр. 329-340.

Д.В. Буздалов, А.К. Петренко, А.В. Хорошилов О представлении модельного времени при помощи механизмов функционального программирования Стр. 341-366.

В.В. Кулямин, А.К. Петренко, А.В. Хорошилов Компонентная верификация операционных систем Стр. 367-382.

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