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