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

Название работы	Автор	Дата защиты
Методы и средства программирования в ограничениях для систем автоматизации проектирования	Сидоров, Владимир Анатольевич	2007
Моделирование процессов интеграции информационных систем	Вин Зо	2007
Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах	Баженов, Михаил Михайлович	2007
WEB-ориентированные инструментальные средства для изучения семантически-структурированных предметных областей	Брызгалов, Петр Александрович	2006
Математическое и программное обеспечение для формализации приоритетов пользователя с целью повышения эффективности использования сетевых сервисов	Вайнерман, Игорь Алексеевич	2006
Математическое и программное обеспечение составления расписания учебных занятий на основе агрегативных генетических алгоритмов	Низамова, Гузель Фанисовна	2006
Методы и средства учета и динамического регулирования уровня загрузки ресурсов телекоммуникационных сетей	Шаройко, Олег Владимирович	2006
Методы и средства верификации баз знаний в интегрированных экспертных системах	Смирнов, Виталий Валерьевич	2006
Методы разработки и контроля качества программных средств обработки и анализа изображений	Балыков, Евгений Александрович	2006
Модели, методы и программное обеспечение для поддержки принятия решения в системах контроля доступа и обеспечения безопасности на основе агентно-ориентированного подхода и многозначных логик	Борисов, Алексей Вадимович	2006
Модели и реализация транслирующих компонентов системы функционального программирования	Стасенко, Александр Павлович	2006
Разработка математических и имитационных моделей надежности программного обеспечения систем реального времени	Лисс, Владимир Александрович	2006
Анализ использования ресурсов встроенных систем реального времени на основе графических спецификаций	Леонтьев, Андрей Евгеньевич	2005
Метод построения нерегулярных тетраэдральных расчетных сеток в произвольных трехмерных областях с криволинейными границами	Боровиков, Сергей Николаевич	2005
Оптимизация потоков простых SQL-запросов	Зверев, Дмитрий Львович	2005
Разработка и исследование стохастических методов и средств защиты программных систем ответственного назначения	Иванов, Михаил Александрович	2005
Разработка моделей, методов и программного обеспечения для поддержки коммуникационно-информационной деятельности в сетях на базе многоагентного подхода	Перевезенцев, Александр Александрович	2005
Ресурсная эффективность вычислительных алгоритмов : Теория и применение	Ульянов, Михаил Васильевич	2005
Разработка быстродействующих алгоритмов компрессии видеоданных с использованием дельта-преобразований второго порядка	Погорелов, Константин Владимирович	2005
Разработка категорных средств анализа формальных языков на основе теории конических типов	Семынина, Татьяна Валерьевна	2005
Инструментальные средства интерактивного редактирования данных в сети Интернет	Долгалев, Эдуард Евгеньевич	2004
Математические модели и программные средства защиты распределенных компьютерных систем	Галатенко, Алексей Владимирович	2004
Разработка прекомпилируемой защиты программных систем с посткомпилируемой обработкой исполняемого кода на основе конечно-автоматных моделей	Зыков, Виталий Валерьевич	2004
Разработка средств математического и имитационного моделирования для исследования и построения систем управления газоизмерительными станциями	Беликов, Александр Борисович	2004
Применение формальных методов для тестирования компиляторов	Посыпкин, Михаил Анатольевич	2004
Формальная семантика C-LIGHT программ и их верификация методом Хоара	Промский, Алексей Владимирович	2004
Разработка методов представления и обработки естественного языка для проблемно-ориентированных систем автоматического понимания речи	Ли, Изольда Валерьевна	2004
Расширение возможностей компьютерно-алгебраической системы Maple для решения линейных задач метода наименьших квадратов	Матин Фар Машалла Набиолла	2004
Программное обеспечение хранилищ данных для формирования информационных ресурсов в региональном здравоохранении	Жучков, Дмитрий Викторович	2004
Модели, методы и программные средства для построения интегрированных экспертных систем	Рыбина, Галина Валентиновна	2004

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