Параллельные алгоритмы и методы верификации аппаратных средств вычислительной техники
Харитонов, Михаил Юрьевич, 1997, кандидатская диссертация
- 05.13.13
Санкт-Петербург
130 стр.
Ключевые слова
верификация вычислительной техники
Другие работы по этой специальности
- Исследование и разработка методов и средств обоснования архитектуры информационных систем сетецентрического типа специального назначения
Бородакий, Владимир Юрьевич · 2009 · Канд. наук · Нац. исслед. ядерный ун-т "МИФИ"
- 05.13.13
- Модели и методы оптимального размещения информационных ресурсов в научно-образовательных телекоммуникационных сетях
Колосов, Дмитрий Эдуардович · 2005 · Канд. наук
- 05.13.13
- Научно-методологические основы проектирования корпоративных распределенных информационных систем специального назначения
Григорьев, Олег Георгиевич · 2004 · Докт. наук · Московский государственный институт электроники и математики
- 05.13.13
- Автоматизированная информационная система технико-экономического учета линейных сооружений связи
Жолобов, Денис Алексеевич · 2004 · Канд. наук
- Исследование амплитудных методов селекции одноэлектронных импульсов в оптических информационных системах, работающих в режиме счета фотонов
Хайров, Игорь Евгеньевич · 2003 · Канд. наук