Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

2012

Артикул:

1005506694

179 грн

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

• 
• 
• 

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

• Гибридная модель параллельного программирования DVM/OpenMP
• Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул
• Исследование информационных зависимостей программ для распараллеливающих преобразований
• Методы повышения производительности двоично-транслирующих систем с аппаратной поддержкой
• Методы спецификации и верификации параллельных моделей с непрерывным временем
• Разработка и исследование методов генерации и сопровождения WIMP-интерфейсов
• Разработка специального математического обеспечения процедур предварительной обработки информации в системах статистического анализа
• Метод формального описания содержания сложных естественно-языковых текстов и его применение к проектированию лингвистических процессоров
• Автоматическая генерация тестов для семантических анализаторов трансляторов
• Исследование методов и разработка основных технологических решений построения информационных систем поддержки финансово-экономических бизнес-процессов в лечебно-профилактических учреждениях