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


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

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

Содержание

Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Стр. 7-26.

Буренков В. С., Кулагин Д. А. Модель мандатного контроля целостности в операционной системе KasperskyOS Стр. 27-56.

Барладян Б.Х., Шапиро Л.З., Маллачиев К.A., Хорошилов А.В., Солоделов Ю.А., Волобой А.Г., Галактионов В.А., Ковернинский И.В. Система визуализации для авиационной ОС реального времени JetOS Стр. 57-70.

Денисов Е.Ю., Волобой А.Г., Бирюков Е.Д., Копылов М.С., Калугина И.А. Технологии автоматического тестирования программных комплексов реалистичной компьютерной графики Стр. 71-88.

Звездакова А.В., Куликов Д.Л., Звездаков С.В., Ватолин Д.С. BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений Стр. 89-108.

Воронин А.В. Дополненная реальность при визуализации данных с использованием свойств «золотого» сечения Стр. 109-120.

Штехин С.Е., Карачёв Д.К., Иванова Ю.К. Разработка алгоритма распознавания движений человека методами компьютерного зрения в задаче нормирования рабочего времени Стр. 121-136.

Апишев М.А. Эффективные реализации алгоритмов тематического моделирования Стр. 137-152.

Кузнецов С.Д. В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти Стр. 153-180.

Али Н.М., Новиков Б.А. Большие данные: аналитические решения, исследовательские задачи и тенденции Стр. 181-206.

Пантилимонов М.В., Бучацкий Р.А., Жуйков Р.А. Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL Стр. 205-220.

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