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

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

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