13 апреля 2021 года размещена на сайте НИУ МИЭТ и находится на рассмотрении диссертация на соискание ученой степени кандидата технических наук Гаращенко Антона Витальевича
Диссертация | |
---|---|
Шифр совета | Д 212.134.06 |
Дата размещения объявления | 13.04.2021 |
Соискатель | Гаращенко Антон Витальевич |
Название диссертации | Разработка методики и алгоритмов верификации гетерогенных многоядерных систем на основе графовой модели иерархии когерентной кэш-памяти |
Шифр | 05.13.01 |
Специальность | Системный анализ, управление и обработка информации (технические системы) |
Отрасль науки | Технические науки |
Текст диссертации | Загрузить |
Ведущая организация | |
Оппоненты | |
Результаты защиты |