| Тема диссертации |
Автор |
Год |
|
|
Совместное планирование вычислений и обменов в информационно-управляющих системах реального времени
|
Шестов, Пётр Евгеньевич |
2013 |
|
|
Специальное математическое и программное обеспечение управления кэшированием данных на основе временных меток транзакций
|
Шахворостов, Георгий Ильич |
2013 |
|
|
Способы и программные средства сравнения исполняемых файлов для их оперативной кластеризации
|
Антонов, Алексей Евгеньевич |
2013 |
|
|
Средства и методы ускорения дедуктивного вывода в информационных системах с большим объемом данных
|
Катериненко, Роман Сергеевич |
2013 |
|
|
Средства создания параллельных алгоритмов интеллектуального анализа данных
|
Каршиев, Зайнидин Абдувалиевич |
2013 |
|
|
Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака
|
Чуров, Тимофей Николаевич |
2013 |
|
|
Управление качеством обслуживания в сетях спутниковой связи при изменяющейся многоприоритетной нагрузке
|
Максименко, Андрей Владимирович |
2013 |
|
|
Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры
|
Штейнберг, Роман Борисович |
2012 |
|
|
Алгоритмическое и программное обеспечение задач управления и обработки изображений
|
Ардентов, Андрей Андреевич |
2012 |
|
|
Алгоритмы построения трехмерных моделей объектов с регулярной структурой по фотографиям при взаимодействии с пользователем для виртуальных сред
|
Якубенко, Антон Анатольевич |
2012 |
|
|
Алгоритмы проектирования схем реляционных баз данных, содержащих ранжируемые атрибуты
|
Громов, Алексей Юрьевич |
2012 |
|
|
Верификация драйверов операционной системы Linux при помощи предикатных абстракций
|
Мутилин, Вадим Сергеевич |
2012 |
|
|
Верификация С-программ с помощью смешанной аксиоматической семантики
|
Марьясов, Илья Владимирович |
2012 |
|
|
Вычисление характеристических полиномов плотных матриц: последовательные и параллельные алгоритмы
|
Переславцева, Оксана Николаевна |
2012 |
|
|
Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе
|
Алымова, Елена Владимировна |
2012 |
|
|
Гибкая архитектура для параллельного анализа и визуализации физических полей
|
Чусов, Андрей Александрович |
2012 |
|
|
Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
|
Чупилко, Михаил Михайлович |
2012 |
|
|
Исследование и разработка параллельных методов вывода на аналитических таблицах
|
Зо Мьо Хтет |
2012 |
|
|
Исследование и разработка системы отображения и наблюдения тренажера подводного аппарата
|
Кудрявцев, Алексей Сергеевич |
2012 |
|
|
Исследование методов и разработка алгоритмов и программных средств планирования обслуживания терминалов распределенных компьютерных систем
|
Воробьева, Ирина Александровна |
2012 |
|
