Том 38, выпуск 5
Труды Института системного программирования РАН. Том 38, выпуск 5, 2026, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Под редакцией Академика РАН А.И. Аветисяна
Содержание
Герюгова А.Э., Луценко В.В., Синицын А.А. Алгоритм обратного преобразования из гибридной позиционно-остаточной системы счисления Стр. 7-20.
Алейник В.В., Фомин Д.С., Чепцов В.Ю. Архитектура детерминированного сетевого стека UDP/IP в операционной системе реального времени с поддержкой стандарта ARINC 653 Стр. 21-36.
Семенов Г.В. Эпистемический подход к бесконфликтно реплицируемым типам Стр. 37-50.
Кемаев И.О., Девянин П.Н. Способ выявления нарушений безопасности (на примере вирусов-шифровальщиков) OC Astra Linux с использованием машинного обучения Стр. 51-72.
Александров Д.В., Василевский В.И., Резуник Л.А., Кулигин Л.А., Манушкина А.В., Думкин Н.А., Прозорский М.А., Пинигин К.Ю. JavaCapsule: Итеративная генерация и отладка Java-кода на основе структурированной обратной связи Стр. 73-90.
Янин А.С., Ицыксон В.М., Кечин В.В., Ковалевский В.М. DIFFuzzer: шаг на пути к тестированию файловых систем на основе спецификаций Стр. 91-102.
Тимонин А.С., Шершаков С.А. Применимость подхода «SOFA/SODA» для обнаружения проблем проектирования многомодульных решений на основе подключаемого предподготовленного анализатора исходного кода Стр. 103-118.
