Ви є тут

Динамическая верификация цифровой аппаратуры на основе формальных спецификаций

Автор: 

Чупилко Михаил Михайлович

Тип роботи: 

Кандидатская

Рік: 

2012

Артикул:

1005506694

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Методы и средства построения распределенных интеллектуальных систем на основе продукционно-фреймового представления знаний
• Программное и алгоритмическое обеспечение систем компьютерного видения с несколькими полями зрения
• Вычисление характеристических полиномов плотных матриц : последовательные и параллельные алгоритмы
• Исследование и разработка параллельных методов вывода на аналитических таблицах
• Методы оценки трудоемкости разработки программного обеспечения корпоративных информационных систем
• Разработка программно-методической системы автоматизации обучения, основанной на логическом подходе
• Разработка математического обеспечения автоматизированной измерительной системы лазерного оптико-акустического газового анализатора
• Методы реализации графориентированных инструментальных сред и их применение для создания приложений
• Метод сжатия графических изображений, основанный на мультирезолюционном анализе
• Методы построения пакетов прикладных программ для неоднородных многоядерных процессоров