Вы здесь

Методы спецификации и верификации параллельных моделей с непрерывным временем

Автор: 

Покозий Екатерина Александровна

Тип работы: 

Кандидатская

Год: 

1999

Артикул:

1000228958

179 грн

Добавить в корзину

• 
• 
• 

Рекомендуемые диссертации

• Инструментальные средства интерактивного редактирования данных в сети Интернет
• Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова
• Система управления содержанием WEB сайта
• Разработка инструментальных средств оценки качества Интернет-ориентированных систем управления данными
• Организация доступа, хранения и извлечения знаний в темпоральных базах данных
• Математические модели и программное обеспечение для повышения верности информации в распределенных информационно-управляющих системах
• Исследование и разработка системы трекинга и методов реконструкции сложных трёхмерных объектов для приложений виртуального окружения
• Разработка методов управления доступом в трехуровневых распределенных реляционных СУБД
• Разработка алгоритмов и программных средств обеспечения надежности параллельных вычислений на комплексах
• Программная система МЭПР для моделирования и многокритериальной оценки вариантов регионального развития