Ви є тут

Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри

Автор: 

Поступальский Павел Алексеевич

Тип роботи: 

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

Рік: 

1997

Артикул:

1000169505

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

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