|
|
| Строка 16: |
Строка 16: |
| | | Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup> | | | Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup> |
| | | Зиновьев В.С. | | | Зиновьев В.С. |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 26 февраля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| − | |-
| + | |
| − | | Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
| + | |
| − | | Смирной Максим
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 4 марта
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| − | |-
| + | |
| − | | Доклад "Задача поиска булевых соответствий (Boolean matching) для программируемых логических интегральных схем (FPGA)". <sup>[[Media:vyatkin.docx|Аннотация доклада]]</sup>
| + | |
| − | | Вяткин Евгений
| + | |
| − | |-
| + | |
| − | | align="center" | 11 марта
| + | |
| − | | Синтез контактных схем ограниченной ширины. <sup>[[Media:bejovc.docx|Аннотация доклада]]</sup>
| + | |
| − | | Бежовец А.В.
| + | |
| − | |-
| + | |
| − | | align="center" | 18 марта
| + | |
| − | | Об асимптотических оценках сложности константных схем заданной степени. <sup>[[Media:pavlov.docx|Аннотация доклада]]</sup>
| + | |
| − | | Павлов А.В.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 25 марта
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| − | |-
| + | |
| − | | Доклад «Cadence design systems: основные тренды в индустрии». <sup>[[Media:cadence.pdf|Аннотация доклада]]</sup>
| + | |
| − | | Антон Борович, Алексей Боресков, Олег Добровольский, Вячеслав Подшивалов
| + | |
| − | |-
| + | |
| − | | align="center" | 1 апреля
| + | |
| − | | Доклад по статье Улига Д. "О синтезе самокорректирующихся схем из функциональных элементов с малым числом надежных элементов"
| + | |
| − | | Курбацкая В.К.
| + | |
| − | |-
| + | |
| − | | align = "center"| 8 апреля
| + | |
| − | | Доклад по статье Улига Д. "Самокорректирующиеся контактные схемы, исправляющие большое число ошибок". <sup>[[Media:kuhtinov.docx|Аннотация доклада]]</sup>
| + | |
| − | | Кухтинов А.С.
| + | |
| − | |-
| + | |
| − | | align = "center"| 15 апреля
| + | |
| − | | Доклад по статье Никитина А.А. «О минимальном объеме памяти, необходимом для реализации функции алгебры логики конвейерными схемами».
| + | |
| − | | Высоцкий Л.И.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 22 апреля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]] (Ауд. 526б)
| + | |
| − | |-
| + | |
| − | | Автоматизация проектирования электронных устройств <sup>[[Media:cadence2.pdf|Аннотация доклада]]</sup>
| + | |
| − | | Семинар компании Cadence design systems.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 29 апреля
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| − | |-
| + | |
| − | | Доклад по статье E.V. Dubrova, J.C. Muzio «Testability of generalized multiple-valued Reed-Muller circuits».
| + | |
| − | | Калинина А.Н.
| + | |
| − | |-
| + | |
| − | | rowspan="2" align="center" | 6 мая
| + | |
| − | | colspan="2" align="center" | Совместно с семинаром [[Некоторые вопросы теории управляющих систем]]
| + | |
| − | |-
| + | |
| − | | Доклад по статье H. Rahaman, D. K. Das, B. B. Bhattacharya "Easily testable realization of GRM and ESOP networks for detecting stuck-at and bridging faults".
| + | |
| − | | Шишков Илья Сергеевич
| + | |
| | |- | | |- |
| | |} | | |} |
Спецсеминар (для студентов 4-5 курсов, магистров, аспирантов) проходит по пятницам в 16:20 в аудитории 505.
