Темы диссертаций и авторефератов по специальности ВАК РФ 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Тема диссертации	Автор	Год
Разработка систем интеллектуальной поддержки анализа и тестирования программ	Сердюков Константин Евгеньевич	2022
Технологии сетевой близости: концепция, модели и алгоритмы, распределенные системы и сервисы	Намиот Дмитрий Евгеньевич	2022
Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями	Мордвинов Дмитрий Александрович	2021
Адаптивная стратегия рендеринга динамических трехмерных сцен	Гонахчян Вячеслав Игоревич	2021
Алгоритмическое и программное обеспечение адаптивной системы управления модульными роботами	Шестаков Евгений Евгений	2021
Алгоритмы ускорения планирования траекторий выполнения программ при направленном тестировании	Щербаков Андрей Сергеевич	2021
Анализ конфигураций модульных вычислительных систем для проверки выполнения ограничений реального времени	Глонина Алевтина Борисовна	2021
Анализ корректности синхронизации компонентов ядра операционных систем	Андрианов Павел Сергеевич	2021
Имитационный программно-аппаратный комплекс для тестирования АСУ ТП предприятий горнодобывающей промышленности	Журавлев Сергей Сергеевич	2021
Исследование и разработка алгоритмов поиска и восстановления населенных пунктов на наборе аэрофотоснимков	Новоторцев Леонид Владимирович	2021
Масштабируемые алгоритмы одновременного построения карты и локализации стаи мобильных роботов	Филатов Антон Юрьевич	2021
Математическое и программное обеспечение процессов сегментирования структур программно-конфигурируемых сетей	Цыганов Илья Юрьевич	2021
Метод визуального управления онтологическими данными в трехмерном виртуальном пространстве	Раздьяконов Даниил Сергеевич	2021
Метод декомпозиции распределенных сервисных систем с использованием сетей Петри	Якушкин Олег Олегович	2021
Методика и программная инфраструктура глобально распределенной обработки данных эксперимента COMPASS	Петросян Артем Шмавонович	2021
Методика и программное обеспечение для подключения суперкомпьютеров к распределенной системе обработки данных эксперимента ATLAS	Олейник Данила Анатольевич	2021
Методы восстановления параметров сцены для решения проблемы реалистичной визуализации в системах смешанной реальности	Сорокин Максим Игоревич	2021
Методы и алгоритмы планирования транспортных операций гетерогенной группы автономных роботов в условиях пространственно-ситуационной неопределенности	Моторин Дмитрий Евгеньевич	2021
Методы и программные средства для выявления заимствований в текстах на армянском языке	Гукасян Цолак Гукасович	2021
Методы и программные средства определения значений стационарных демографических атрибутов пользователей социальных сетей	Гомзин Андрей Геннадьевич	2021