Вы здесь

Верификация С-программ с помощью смешанной аксиоматической семантики

Автор: 

Марьясов Илья Владимирович

Тип работы: 

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

Год: 

2012

Артикул:

1005480343

179 грн

Добавить в корзину

• 
• 
• 

Рекомендуемые диссертации

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