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

Название работы	Автор	Дата защиты
Комплексная технология модификации программных систем обработки и хранения данных с использованием индексирования	Прошин, Евгений Николаевич	2010
Комплексирование модулей прикладного программного обеспечения на основе метрических оценок эффективности	Губайдуллин, Ильдар Ирекович	2010
Исследование методов компактного представления для программ реального времени	Шалимов, Александр Владиславович	2010
Исследование и разработка алгоритмов и программ автоматического распознавания ограниченного набора команд вьетнамской речи	Нгуен Ван Хунг	2010
Исследование и разработка систем отображения и наблюдения динамических пространственных сцен	Горбацевич, Феликс Феликсович	2010
Исследование и разработка инфологического подхода для построения тематических антологий при мониторинге интернет-среды	Кокорин, Павел Петрович	2010
Исследование и разработка методов и алгоритмов обработки символьных массивов в базах данных	Айткулов, Павел Григорьевич	2010
Исследование и разработка методов оценки производительности проектируемых микропроцессоров, процессорных модулей, ЭВМ и систем обработки сигналов	Широков, Илья Андреевич	2010
Интеллектуальная платформа управления композитными приложениями в распределённых вычислительных средах	Марьин, Сергей Владимирович	2010
Инструментальная поддержка подключаемых модулей в языках процедурно-параметрического программирования	Бовкун, Александр Яковлевич	2010
Инструментальное средство разработки интеллектуальных систем поддержки решений задач диагностики	Орлов, Сергей Владимирович	2010
Выявление и доказательство свойств функциональных программ методами суперкомпиляции	Ключников, Илья Григорьевич	2010
Алгоритмы проектирования систем многомерного анализа данных, основанных на OLAP технологии	Семченков, Сергей Юрьевич	2010
Алгоритмическое и программное обеспечение геоинформационной системы для мониторинга мобильных объектов в дорожной сети	Шестаков, Николай Александрович	2010
Алгоритмическое и программное обеспечение комплексов для зондовой микроскопии	Карташев, Всеволод Владимирович	2010
Автоматное программирование для среды языково-ориентированного программирования	Мазин, Максим Александрович	2010
Разработка методов и программных средств для решения задач различения и анализа сложности ациклических структур	Джасим Малатх Рахим	2010
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ	Булычёв, Пётр Евгеньевич	2010
Исследование и реализация систем финансового и управленческого учета крупного бюджетного предприятия	Егорычев, Илья Борисович	2010
Комбинированные алгоритмы оперативного выделения движущихся объектов в последовательности видеокадров на основе локального дифференциального метода вычисления оптического потока	Казаков, Борис Борисович	2010
Математическое и программное обеспечение формирования окружающей обстановки тренажерных комплексов	Кравцов, Александр Васильевич	2010
Математическое и программное обеспечение для кусочной идентификации данных при моделировании геологических структур	Зайцев, Олег Юрьевич	2010
Математическое и программное обеспечение системы диспетчерского управления таксопарком на базе мультиканальных навигационных терминалов	Сонькин, Дмитрий Михайлович	2010
Метод анализа плана выполнения SQL-запроса, используя свойства O-большое асимптотик для оценки стоимости	Борчук, Леонид Евгеньевич	2010
Метод редукции тестового набора для интеграционного тестирования	Кичигин, Дмитрий Юрьевич	2010
Модели оценивания и алгоритмы управления качеством программных средств	Бураков, Вадим Витальевич	2010
Математическое и программное обеспечение системы оперативной обработки и интеллектуального анализа данных, использующей нечеткую логику	Вахитов, Александр Робертович	2010
Специализированные модели для проектирования, разработки и реализации информационных систем	Бендума Тахар	2010
Математическое обеспечение и программные средства реализации генетических алгоритмов на основе теории нумерации	Генералов, Константин Александрович	2009
Классификация образов на основе решетки множества кортежей данных	Минаев, Валерий Евгеньевич	2009

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