Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1999

Артикул:

1000228958

179 грн

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

• 
• 
• 

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

• Романтическое стилевое течение в украинской советской поэзии 20-х - 30-х годов (М. Бажан, Ю. Яновский, О. Влызько, Л. Первомайский)
• Анализ свойств параллельных процессов и процессов реального времени, представленных моделями структур событий
• Программная система генерации молекулярных графов с использованием метрик на графах
• Инструментальная поддержка методов обучения алгоритмизации
• Синтез алгоритмов позиционирования приемника сотовой сети связи и система передачи координатно-зависимых данных на его основе
• Объектно-ориентированное описание графового представления программ и моделей
• Препроцессор языка программирования высокого уровня для реконфигурируемых вычислительных систем
• Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях
• Исследование нейросетевых и гибридных методов и технологий в интеллектуальных системах поддержки принятия решений
• Система автоматического синтеза функциональных программ