- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
Тип работы:
Дис. канд. физ.-мат. наук
Год:
2004
Артикул:
15142 179 грн
Рекомендуемые диссертации
- "Квазар-Офлайн". Распределенный вычислительный комплекс для решения задач распознавания образов
- Программно-методические средства экспресс-диагностики и контроля функционального состояния человека
- Методы и инструментальные средства разработки масштабируемых параллельных программ для многопроцессорных систем со структурно-процедурной организацией вычислений
- Разработка графического подхода к проектированию корпоративных приложений на основе технологий Java 2, Enterprise Edition
- Методы и средства построения представлений унаследованной информационной системы в процессе реинжиниринга
- Алгоритмы декомпозиции дифференциальных многочленов
- Разработка и исследование методов и алгоритмов устранения избыточности видеопоследовательностей на основе сегментации видеоданных
- Модели и методы параллельной асинхронной переработки информации в графодинамической ассоциативной памяти
- Моделирование процессов интеграции информационных систем
- Базовые методы оптимизации на предикатном представлении программы для архитектур с явно выраженной параллельностью