Том 36, выпуск 4


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

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

Содержание

Оганесян О., Саргсян Д., Маладжян A. Сравнение алгоритмов клонирования голоса в условиях нулевого и малого количества примеров. Стр. 7-16.

Лапина М.А., Ходаков М.И., Гробова С.К. Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace. Стр. 17-26.

Дунаев П.Д., Синкевич А.А., Гранат А.М., Батраева И.А., Миронов С.В., Шугалей Н.Ю. Разработка безопасного компилятора на основе Clang. Стр. 27-40.

Шампаров В.Е., Нейман-заде М.И. Реализация траекторного профилирования в компиляторе LCC для процессоров Эльбрус. Стр. 41-56.

Вершков Н.А., Бабенко М.Г., Луценко В.В., Кучукова Н.Н. Создание распределенных искусственных нейронных сетей на основе ортогональных преобразований. Стр. 57-68.

Арутюнов Г.А., Авдошин С.М. GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей. Стр. 69-80.

Павлов П.А. О времени реализации распределенных вычислений в синхронном режиме при ограниченном числе копий программного ресурса. Стр. 81-98.

Лапина М.А., Мовзалевская В.В., Токмакова М.Е., Бабенко М.Г., Кочин В.П. Интеллектуальные алгоритмы обнаружения атак в веб-среде. Стр. 99-116.

Луценко В.В., Бабенко М.Г., Хамидов М.М. Высокоскоростной метод перевода чисел из системы остаточных классов в позиционную систему счисления. Стр. 117-132.

Вершков М.Д., Ягжов А.А., Романов Н.С., Федотова А.А., Знатнов Е.П. Экспериментальное сравнение методов синтеза логических схем. Стр. 133-142.

Кропачева А.М., Гирдюк Д.В., Иов И.Л., Першин А.Ю. Генерация временных рядов с пространственными взаимосвязями. Стр. 143-154.

Дерезовский И.Д., Шаимов Н.Д., Ломазова И.А., Мицюк А.А. Объединение графов непосредственного следования и диаграмм Санкей для визуализации ациклических процессов. Стр. 155-168.

Карнов А.А. Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации. Стр. 169-182.

Жебсаин В.В., Посельский А.Ф. Идентификация термокарстовых объектов по спутниковым графическим данным с помощью нейронной сети. Стр. 183-190.

Потапов И.И., Решетникова О.В. К моделированию задачи осаждения твердой частицы в вязкой несжимаемой жидкости методом гидродинамики сглаженных частиц (SPH). Стр. 191-202.

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