Осколков, Владислав Сергеевич. Исследование и оптимизация решения задачи выполнимости булевых формул на базе реконфигурируемых аппаратных ускорителей: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_20 «Проектирование компьютерных систем» = Research and optimization of the solution of the feasibility problem for Boolean formulas based on reconfigurable hardware accelerators / В. С. Осколков; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель А. П. Антонов ; консультант по нормоконтролю А. Г. Новопашенный. — Санкт-Петербург, 2020. — 1 файл (0,9 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-786.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-786-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-786-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-786-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-786. — Текст
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
Yesterday
|
0
|
0
|
0
|
0
|
0
|
Last 30 days
|
0
|
0
|
0
|
0
|
0
|
Last 365 days
|
0
|
0
|
1
|
0
|
1
|
All time
|
0
|
0
|
8
|
0
|
8
|