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

Тема диссертации	Автор	Год
Разработка и реализация механизмов сокращения размера Java-приложений для встраиваемых систем в закрытой модели	Пилипенко Артур Витальевич	2018
Разработка моделей и алгоритмов распределенной системы предупреждения аварийных ситуаций на основе мониторинга водителя	Лашков Игорь Борисович	2018
Распределенная система передачи данных на базе мобильных устройств в сфере телемедицины	Абраамян, Сурен Арменович	2018
Сокращение длины критических путей при динамической трансляции двоичных кодов	Гимпельсон Вадим Дмитриевич	2018
Трассирующая нормализация	Березун Даниил Андреевич	2018
Эффективное хранение разнородных данных в распределенной системе электронного здравоохранения	Балян, Сероб Гургенович	2018
Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций	Татарников Андрей Дмитриевич	2017
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова	Павлов Владимир Александрович	2017
Автоматический синтез диаграмм классов языка UML на основе ассоциативных отношений предметной области	Бикмуллина Ильсияр Ильдаровна	2017
Алгоритмы распознавания рукописных символов в условиях малой обучающей выборки	Хаустов Павел Александрович	2017
Интеллектуальная система повышения эффективности ИТ-службы предприятия	Тощев, Александр Сергеевич	2017
Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов	Быков Сергей Анатольевич	2017
Исследование и разработка методов и программных средств интеллектуального анализа данных на основе прецедентов	Ар Кар Мьо	2017
Исследование и разработка методов сопровождения людей и частей их тела в видеопоследовательности	Шальнов, Евгений Вадимович	2017
Математическое и программное обеспечение адаптивной маршрутизации и балансировки потоков данных в программно-конфигурируемых сетях с обеспечением качества сетевых сервисов	Перепелкин, Дмитрий Александрович	2017
Математическое и программное обеспечение балансировки вычислительных заданий для распределенных вычислительных комплексов на основе прогнозных моделей	Алпатов, Алексей Николаевич	2017
Математическое и программное обеспечение вероятностного тематического моделирования потока текстовых документов	Карпович, Сергей Николаевич	2017
Математическое и программное обеспечение системы дистанционного обучения на базе веб-конференций	Алексейчук Андрей Сергеевич	2017
Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C#	Кошелев, Владимир Константинович	2017
Метод выбора сбалансированного набора модулей распределённой вычислительной системы и механизмов обеспечения отказоустойчивости	Волканов, Дмитрий Юрьевич	2017