Ви є тут

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

Автор: 

Новопашин Алексей Петрович

Тип роботи: 

Дис. канд. техн. наук

Рік: 

2005

Артикул:

15059

179 грн

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

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

• Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)
• Автоматизированное формирование лингвистических баз знаний : Интеграционный подход
• Проектирование и оценка качества программ на основе структурно-графических представлений
• Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем
• Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
• Исследование и разработка методов и программных систем поддержки принятия решений в чрезвычайных ситуациях, связанных с радиоактивным загрязнением окружающей природной среды
• Методология проектирования прикладных адаптивных программных систем с использованием многоуровневой инструментальной среды
• Алгоритмы совместной обработки информации от бортовых источников летательного аппарата на основе логики взаимного расположения объектов
• Методы анализа корректности параллельного и распределенного программного обеспечения на основе PS-сетей
• Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК