Формальная верификация процессора с устройствами поддержки виртуальной памяти

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

1. Исследование параметров разработки россыпных месторождений понурно-шлюзовым способом

   Лезгинцев, Георгий Михайлович · Канд. наук · Ленингр. ордена Ленина и ордена Трудового Красного Знамени горный ин-т им. Г. В. Плеханова

   • 05.00.00 Техника
2. Натурные исследования бетонной плотины Братской ГЭС

   Эйдельман, Соломон Яковлевич · Докт. наук · Всесоюз. науч.-исслед. ин-т гидротехники им. Б.Е. Веденеева

   • 05.00.00 Техника
3. Методы кинетостатического анализа плоских механизмов и их применение к динамическому расчету рабочих органов комбайна

   Никитин, Василий Никитович · Канд. наук · Азово-черномор. ин-т механизации и электрификации сельского хозяйства

   • 05.00.00 Техника
4. Исследование внутреннего обмерзания трубопроводов

   Богословский, Петр Алексеевич · Канд. наук · Московский инж.-строительный институт им. В. В. Куйбышева

   • 05.00.00 Техника
5. Проектирование устройств автономного электропитания сенсорной телекоммуникационной системы мониторинга состояния газотранспортных сетей

   Иванов, Олег Александрович · 2018 · Канд. наук · Национальный университет «Высшая школа экономики»

   • 05.00.00 Техника