disserCat
— электронная библиотека диссертаций
работаем для вас с 2009 года
Корзина пуста
Вход
|
Регистрация
Каталог диссертаций
Технические науки
Информатика, вычислительная техника и управление
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Темы диссертаций и авторефератов по специальности ВАК РФ 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
...
5
6
7
8
9
10
11
12
...