|
|
| Строка 11: |
Строка 11: |
| | ! Докладчик | | ! Докладчик |
| | |- | | |- |
| − | | align="center" | 9 октября
| |
| − | | Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
| |
| − | | Зиновьев В. С.
| |
| − | |-
| |
| − | | align="center" | 16 октября
| |
| − | | Синтез и сложность дешифраторных схем контактного типа
| |
| − | | Добровецкий Д. И.
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 23 октября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | New bounds on Klarner's constant
| |
| − | | Gill Barequet, Dept. of Computer Science, Technion
| |
| − | |-
| |
| − | | align = "center"|30 октября
| |
| − | | О реализации мультиплексорной функции древовидными BDD, вложенными в единичные кубы. <sup>[[Media:аннотация.docx|Аннотация доклада]]</sup>
| |
| − | | Довгалюк Е. Л.
| |
| − | |-
| |
| − | | align = "center"|6 ноября
| |
| − | | Об одной модели рекурсивных схем из функциональных элементов. <sup>[[Media:fiveyskiy.docx|Аннотация доклада]]</sup>
| |
| − | | Фивейский С.В.
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 13 ноября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
| |
| − | | Мария Автайкина
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 20 ноября
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
| |
| − | 1. http://www.iccad.com (конференция)
| |
| − | 2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
| |
| − | 3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
| |
| − | | Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
| |
| − | |-
| |
| − | | align = "center"| 27 ноября
| |
| − | | Доклад по статье Редькина Н.П. "О синтезе легкотестируемых схем в одном бесконечном базисе" <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
| |
| − | | Кухтинов А.С.
| |
| − | |-
| |
| − | | align = "center"| 4 декабря
| |
| − | | Доклад по статье Маркова А.А. "Об инверсной сложности булевых функций"
| |
| − | | Шуплецов М.С.
| |
| − | |-
| |
| − | | rowspan="2" align="center" | 11 декабря
| |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| |
| − | |-
| |
| − | | Доклад "Маршрут физического проектирования систем на кристалле"
| |
| − | | Евгений Зенин
| |
| − | |-
| |
| | | rowspan="2" align="center" | 19 февраля | | | rowspan="2" align="center" | 19 февраля |
| | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] | | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] |
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 505.
