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


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

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

Содержание

Гладышев И.В., Камкин А.С., Коцыняк А.М., Путро П.А., Хорошилов А.В. Архитектура системы дедуктивной верификации машинного кода Стр. 7-20.

Беляев М.В., Романенков Е.С., Игнатьев Н.В. Моделирование библиотечных функций в промышленном статическом анализаторе кода Стр. 21-32.

Меньшиков М.А. Подходы к отладке и обеспечению качества статического анализатора Стр. 33-48.

Архипов И.С. Генерация кодов для вещественной арифметики в архитектуре MIPS Стр. 49-56.

Панков П.А., Никифоров И.В., Дробинцев Д.В. Программно-аппаратный комплекс обработки данных для исследовательских и научных целей с использованием микрокомпьютера Raspberry Pi 3 Стр. 57-70.

Ковалев М.Г. Трассировка сетевых пакетов в ядре Linux с использованием eBPF Стр. 71-78.

Маркобородов А.А., Скобцова Ю.А., Волканов Д.Ю. Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора Стр. 79-90.

Барсуков Н.Д., Сысоев И.М., Перескокова А.А., Никифоров И.В., Посметныйс Д. Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» Стр. 91-100.

Монастырев В.В., Дробинцев П.Д. Рекомендательная система на основе действий пользователей в социальной сети Стр. 101-108.

Самохвалов Д.И. Определение аккаунтов злоумышленников в социальной сети ВКонтакте при помощи методов машинного обучения Стр. 109-118.

Сергеев Д.И., Андреев А.Е., Дробинцева А.О., Ценевска С., Кукавица Н., Дробинцев П.Д. Разработка автоматизированных алгоритмов компьютерного зрения для обработки медицинских изображений Стр. 119-130.

Ширмохаммади М.М., Эсмаилпур М. Анализ загруженности трафика на главных улицах электронного города c применением индекса перегрузки и искусственной нейронной сети (на примере города Хамедан) Стр. 131-146.

Трофимов Е.В., Мецкер О.Г. Использование компьютерных методов и систем в изучении права, интеллектуальном анализе и моделировании правовой деятельности: систематический обзор Стр. 147-170.

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