05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Название работы	Автор	Дата защиты
Исследование и разработка моделей, методов и программных средств темпорального вывода в динамических интегрированных экспертных системах	Мозгачев, Алексей Васильевич	2013
Компьютерные модели и алгоритмы управления безопасностью информационных систем	Лукинова, Ольга Васильевна	2013
Математическое и программное обеспечение интеллектуальных поисковых систем на основе использования мультиагентной архитектуры	Минашкин, Сергей Александрович	2013
Метод тестирования производительности и корректности микропроцессоров при помощи нацеленных тестовых программ	Зубковская, Наталья Владимировна	2013
Метод и алгоритмы мониторинга вычислительных сетей на основе совместного анализа временных и функциональных характеристик стека протоколов TCP/IP	Лавров, Андрей Александрович	2013
Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения	Тетерев, Михаил Александрович	2013
Методы автоматизации распределённого тестирования реактивных систем	Тютин, Борис Викторович	2013
Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций	Никифоров, Игорь Валерьевич	2013
Методы внедрения фрагментного параллелизма в последовательную СУБД с открытым исходным кодом	Пан, Константин Сергеевич	2013
Методы вычисления оценок уверенности формально построенных выводов	Моросанова, Наталья Александровна	2013
Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений	Новоселов, Юрий Владимирович	2013
Методы и алгоритмы оптимизации переходов в компиляторе базового уровня системы двоичной трансляции для архитектуры "Эльбрус"	Рыбаков, Алексей Анатольевич	2013
Методы обеспечения интеграции слабосвязанных информационных систем	Платонов, Юрий Георгиевич	2013
Методы и средства распараллеливания задач трехмерной сеточной визуализации многомассовых систем	Копылов, Сергей Юрьевич	2013
Модели и алгоритмы параллельных вычислений на графических процессорах и их применение в программных средствах автоматического тестирования графических приложений	Капустин, Дмитрий Сергеевич	2013
Модели и методы реализации облачной платформы для разработки и использования интеллектуальных сервисов	Крылов, Дмитрий Александрович	2013
Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания	Прищепа, Мария Викторовна	2013
Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред	Федорищев, Леонид Александрович	2013
Модели, способы и алгоритмы унификации программного обеспечения компьютерной сети на основе технологии виртуализации	Дьяченко, Евгений Анатольевич	2013
Отображение DVMH-программ на кластеры с графическими процессорами	Притула, Михаил Николаевич	2013
Повышение эффективности управления базами данных на основе оптимизации запросов с альтернативными маршрутами их выполнения	Дятчина, Дарья Васильевна	2013
Средства создания параллельных алгоритмов интеллектуального анализа данных	Каршиев, Зайнидин Абдувалиевич	2013
Программная система выявления нелегитимной активности на промышленных площадках	Абрамов, Николай Александрович	2013
Синтез визуальных объектов по естественно-языковому описанию на базе интегрированной онтологии	Литвинович, Артем Владимирович	2013
Разработка математических методов и комплекса программных средств имитационного тестирования знаний на основе семантических моделей	Сологуб, Глеб Борисович	2013
Разработка математического, алгоритмического и программного обеспечения для имитационного моделирования микроструктуры керна	Мизгулин, Вячеслав Владимирович	2013
Совместное планирование вычислений и обменов в информационно-управляющих системах реального времени	Шестов, Пётр Евгеньевич	2013
Разработка архитектуры, алгоритмов и программного обеспечения для создания картографических интерфейсов, обеспечивающих распределенную обработку и анализ спутниковых данных	Балашов, Иван Васильевич	2013
Способы и программные средства сравнения исполняемых файлов для их оперативной кластеризации	Антонов, Алексей Евгеньевич	2013
Управление качеством обслуживания в сетях спутниковой связи при изменяющейся многоприоритетной нагрузке	Максименко, Андрей Владимирович	2013

Электронная библиотека диссертаций