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