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

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