Программная библиотека для решения задачи выполнимости булевых формул при помощи реконфигурируемых вычислителей
реконфигурируемый вычислитель задача выполнимости булевых функций ПЛИС
Программа предназначена для  решения задачи выполнимости булевых формул при помощи реконфигурируемых вычислителей.
Программа может использоваться в гетерогенных суперкомпьютерных системах, имеющих реконфигурируемые модули на базе ПЛИС Xilinx. 
Функциональные возможности программы: программа осуществляет поиск целевых платформ и реконфигурируемых устройств с целью решения задачи выполнимости булевых формул. На базе реконфигурируемого аппаратного ускорителя, используя стандарт OpenCL, осуществляется решение задачи выполнимости булевых формул (задачи SAT – boolean SATisfiability problem).
Решение вычислительных задач в науке
Алексей
Боровков
Иванович
Проректор по цифровой трансформации
Кандидат технических наук
Доцент
G-3055-2011
840090300
6567
РОССИЯ
Юрий
Клочков
Сергеевич
Проректор по научно-организационной деятельности
РОССИЯ
50.41.25
Прикладное программное обеспечение
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Владимир
Заборовский
Сергеевич
РОССИЯ
Владимир
Мулюха
Александрович
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Петр
Мордовской
Григорьевич
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ФГАОУ ВО СПБПУ,СПБПУ,ФГАОУ ВО "СПБПУ", САНКТ-ПЕТЕРБУРГСКИЙ ПОЛИТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ПЕТРА ВЕЛИКОГО
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ПОЛИТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ПЕТРА ВЕЛИКОГО"
1027802505279
АНДРЕЙ
РУДСКОЙ
ИВАНОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные автономные учреждения