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

Название работы	Автор	Дата защиты
Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака	Чуров, Тимофей Николаевич	2013
Разработка инструментальных средств создания визуальных предметно-ориентированных языков	Сухов, Александр Олегович	2013
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX	Новиков, Евгений Михайлович	2013
Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа	Якушев, Андрей Владимирович	2013
Математическое и программное обеспечение систем управления базами знаний интеллектуальных систем прогнозирования	Пинчер, Денис Владимирович	2012
Методы построения пакетов прикладных программ для неоднородных многоядерных процессоров	Недоводеев, Константин Владимирович	2012
Разработка интеллектуальной системы для поддержки проектирования человеко-компьютерного взаимодействия в веб-приложениях	Бакаев, Максим Александрович	2012
Управление параллельным выполнением транзакций в распределенных гетерогенных базах данных при доступе из мобильной среды	Аникин, Николай Александрович	2012
Рассредоточенная реализация приложений в среде предметных посредников	Вовченко, Алексей Евгеньевич	2012
Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании	Тебекин, Юрий Борисович	2012
Разработка математического и программного обеспечения национального удостоверяющего центра для "электронного правительства" Социалистической Республики Вьетнам	Чан Конг Тан	2012
Методы формирования поведения и проектирования программного обеспечения обследовательского автономного подводного робота	Инзарцев, Александр Вячеславович	2012
Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа	Моисеев, Михаил Юрьевич	2011
Алгоритмические и программные средства интеграции данных при создании электронных медицинских карт	Фам Ван Тап	2011
Интеграция программных систем информационной среды организации на основе Intranet-технологии : на примере образовательного учреждения	Агапов, Руслан Николаевич	2011
Математическое и программное обеспечение интерактивных систем восстановления пространственных моделей по чертежам ортогональных проекций	Минаков, Сергей Алексеевич	2011
Специальное математическое и программное обеспечение изоморфных представлений структурных элементов в реляционных системах управления базами данных	Молодченко, Жанна Анатольевна	2011
Программно-алгоритмический инструментарий подготовки и анализа сейсмологических данных в информационно-вычислительном комплексе EEDB	Михеева, Анна Владленовна	2011
Разработка и исследование системы концептуального программирования с использованием лингвистического процессора	Лебедев, Андрей Сергеевич	2011
Сжатие цифровых изображений на основе дискретного псевдокосинусного преобразования	Лаптева, Валентина Владимировна	2011
Методы и технология построения программируемых инфокоммуникационных систем	Кулешов, Сергей Викторович	2011
Создание программно-аппаратного комплекса управления вычислительными ресурсами в корпоративных сетях с открытой структурой на основе логики взаимодействия списков	Дюгуров, Денис Владимирович	2011
Система мониторинга вычислительного кластера расширенной функциональности	Тарасов, Алексей Григорьевич	2011
Разработка методов и алгоритмов использования графических процессоров в задачах моделирования геофизических данных	Трибис, Дмитрий Юрьевич	2011
Разработка и исследование математических моделей агрегирования и расщепления трафика звездообразного фрагмента сети	Михеев, Павел Андреевич	2011
Проектирование и реализация платформы для создания порталов вузов по технологии Semantic Web	Гаврилова, Эльвира Акоповна	2011
Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ	Булычёв, Пётр Евгеньевич	2010
Исследование и реализация систем финансового и управленческого учета крупного бюджетного предприятия	Егорычев, Илья Борисович	2010
Комбинированные алгоритмы оперативного выделения движущихся объектов в последовательности видеокадров на основе локального дифференциального метода вычисления оптического потока	Казаков, Борис Борисович	2010
Математическое и программное обеспечение формирования окружающей обстановки тренажерных комплексов	Кравцов, Александр Васильевич	2010

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