- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
Тип роботи:
Кандидатская
Рік:
2013
Артикул:
336159 179 грн
Рекомендовані дисертації
- Разработка метаматического и программного обеспечения поддержки сложных проектов в распределенной вычислительной среде : На примере мониторной системы интегрированной САПР
- Исследование и разработка методов и программных систем поддержки принятия решений в чрезвычайных ситуациях, связанных с радиоактивным загрязнением окружающей природной среды
- Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования
- Разработка алгоритмов построения, анализа и визуализации сверхбольших моделей поверхностей на основе мультитриангуляции
- Исследование и реализация непроцедурных преобразований программ для построения расширяемой системы распараллеливания
- Программное и алгоритмическое обеспечение систем компьютерного видения с несколькими полями зрения
- Методы и программные средства извлечения терминологической информации из научно-технических текстов
- Применение нечеткой логики в системах автономного адаптивного управления
- Гибкая архитектура для параллельного анализа и визуализации физических полей
- Математическое и программное обеспечение методов схожести WEB-документов и выделение первичного документа из кластера дублей