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