- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Применение формальных методов для тестирования компиляторов
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2004
Артикул:
15168 179 грн
Рекомендовані дисертації
- Разработка и исследование методов повышения скорости доступа к удалённым данным в распределённых вычислительных системах
- Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
- Разработка и исследование средств синтеза систем автоматического управления
- Комплексная технология распределения регистров и планирования инструкций в оптимизирующем компиляторе вычислительных комплексов семейства Эльбрус
- Разработка алгоритмов построения оценок достоверности для систем распознавания речи
- Символьные алгоритмы, связанные с задачами суммирования
- Моделирование, исследование и оптимизация информационно-вычислительных систем для автоматизации технологических процессов с динамически формируемыми маршрутами
- Проектирование и оценка качества программ на основе структурно-графических представлений
- Программное и алгоритмическое обеспечение систем компьютерного видения с несколькими полями зрения
- Повышение эффективности применения методов сжатия цифровых изображений