Видео НСКФ-2023: Секция «Системное и промежуточное программное обеспечение»
Доклад 1
Васёв Павел Александрович, Институт математики и механики УрО РАН, Екатеринбург
«Гибридное планирование графов задач»
Доклад 2
Петухов Е. П., Заборовский В. С., Лукашин А. А., Асташов М. Ю.,
Докладчик: Лукашин Алексей Андреевич, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург
«Интеллектуальная оптимизация процесса планирования задач и управления ресурсами в гибридных высокопроизводительных вычислительных кластерах»
Доклад 3
Климов Аркадий Валентинович, ИППМ РАН, Москва
«Моделирование целеустремленного поведения на HDL структурах посредством SAT верификации и темпоральной индукции (на примере задачи о волке, козе и капусте)»
Доклад 4
Баглий А. П., Метелица Е. А.,
Докладчик: Баглий Антон Павлович, ЮФУ, Ростов-на-Дону
«Автоматизация распараллеливания программ со сложными информационными зависимостями»