Ви є тут

Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул

Автор: 

Бутаков Михаил Игоревич

Тип роботи: 

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

Рік: 

2011

Артикул:

1005435052

179 грн

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

• 
• 
• 

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

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