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

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

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