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