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


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

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

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


Содержание

Х. Йенигун, Н. Евтушенко, Н. Кушик, Х. Лопез Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Стр. 7-24.

А.С. Твардовский, А.В. Лапутенко О возможностях автоматного описания параллельной композиции временных автоматов Стр. 25-40.

Н.А. Шаляпина, А.А. Зайцев, С.В. Батрацкий, М.Л. Громов Тесты на константные неисправности как веб-сервис Стр. 41-54.

С.М. Старолетов Методы анализа вредоносного программного обеспечения под ОС Android Стр. 55-68.

И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин, А.Н. Томилин, В.З. Шнитман Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Стр. 69-88.

С.М. Авдошин, А.В. Лазаренко Методы деанонимизации пользователей биткоин Стр. 89-102.

Б.А. Позин Принципы построения системы обеспечения жизненного цикла ответственных систем Стр. 103-114.

М.С. Гуськова,  Л.Ю. Бараш, Л.Н. Щур Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел Стр. 115-126.

В.Н. Юдин, Л.Е. Карпов Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Стр. 127-136.

В.А. Павлов, Б.А. Новиков Базы данных для обработки массивов: взгляд изнутри Стр. 137-160.

Е.И. Гусев Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша Стр. 161-182.

А.Н. Нуриев, А.М. Камалутдинов, О.Н. Зайцева Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания Стр. 183-194.

И.К. Марчевский, В.В. Пузикова Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Стр. 195-214.

С.А. Дергачев Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель Стр. 215-226.

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