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