Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

2012

Артикул:

1005480343

179 грн

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

• 
• 
• 

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

• Функциональные методы обработки XML-данных
• Инструментальные средства создания элементов пользовательского интерфейса на основе семантического описания компьютерных пиктограмм
• Методы и средства противодействия атакам на компьютерные системы, основанным на использовании уязвимостей программного кода
• Принципы и методы создания компилятора переднего плана Стандарта Cu ++
• Специальное математическое и программное обеспечение процессов управления интенсивностью передачи данных
• Модели и алгоритмы контекстно-словарного сжатия текстовых данных
• Разработка математического и программного обеспечения систем топологического проектирования СБИС с использованием диаграмм Вороного
• Метод декомпозиции алгоритмов систем технического зрения на параллельно-конвейерное программно-аппаратное исполнение в архитектуре ПЛИС-ЦСП
• Разработка способа и средств реализации программ на основе системы функциональных продукций
• Исследование и разработка методов и программных систем поддержки принятия оперативных решений в реальном масштабе времени