Функциональная верификация микропроцессоров на системном уровне с использованием методов машинного обучения

Другие работы по этой специальности

1. Исследование и разработка высокопроизводительных и энергоэффективных сетей на кристалле для вычислительных систем с распределенной памятью

   Хайдуков, Данила Игоревич · 2026 · Канд. наук · «Московский физико-технический институт (национальный исследовательский университет)» ; Диссовет ФРКТ.2.3.2.001

   • 2.3.2. Вычислительные системы и их элементы
2. Метод, алгоритм и аппаратные средства для защиты интегральных микросхем от копирования с использованием физически неклонируемых функций

   Боронников, Антон Сергеевич · 2026 · Канд. наук · «МИРЭА - Российский технологический университет» ; Диссовет 24.2.326.09 (Д 212.131.XX)

   • 2.3.2. Вычислительные системы и их элементы
3. Применение конвейеризированных генераторов контрольных кодов для проведения анализа сбоеустойчивости систем на основе ПЛИС

   Ратников, Максим Олегович · 2026 · Канд. наук · «Московский государственный технический университет имени Н.Э. Баумана (национальный исследовательский университет)» ; Диссовет 24.2.331.19

   • 2.3.2. Вычислительные системы и их элементы
4. Постквантовый механизм инкапсуляции ключа на основе алгебраических решеток для сетевых протоколов установления защищенного соединения

   Зеленецкий, Алексей Сергеевич · 2025 · Канд. наук · Московский государственный технический университет имени Н.Э. Баумана (национальный исследовательский университет) ; Диссовет 24.2.331.19

   • 2.3.2. Вычислительные системы и их элементы
   • 2.3.6. Методы и системы защиты информации, информационная безопасность
5. Исследование и разработка систем управления широкоформатными принтерами

   Попов, Максим Александрович · 2025 · Канд. наук · «Национальный исследовательский университет «Высшая школа экономики» ; Диссовет Диссертационный совет по инженерным наукам и прикладной математике

   • 2.3.2. Вычислительные системы и их элементы

Все работы по специальности