Ви є тут

Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей

Автор: 

Сарайкин Андрей Витальевич

Тип роботи: 

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

Рік: 

2000

Артикул:

1000297112

179 грн

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

• 
• 
• 

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

• Программное обеспечение для метапоиска информации в гипертекстовой среде
• Системы 3D-визуализации индуцированной виртуальной среды
• Электронные документы со встроенной динамической моделью на основе XML
• Методы реализации семантических свойств данных в объектных доменно-ориентированных моделях
• Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
• Разработка методов и средств анализа и обеспечения качества программных систем учебного назначения
• Математическое и программное обеспечение распознавания многоэлементных зрительных сцен с использованием иерархических нейронных сетей
• Математическое и программное обеспечение для реконструкции ассоциативных сетей молекулярно-генетических взаимодействий
• Математическое и программное обеспечение микропроцессорной системы управления потенциально опасными объектами
• Исследование программных методов реализации операций в конечных алгебраических структурах