Темы диссертаций и авторефератов по специальности ВАК РФ 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Тема диссертации Автор Год
Модели, методы и программные средства для построения интегрированных экспертных систем

Рыбина, Галина Валентиновна 2004
Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри

Окунишникова, Елена Валерьевна 2004
Нейросетевая система обнаружения атак на WWW-сервер

Хафизов, Артем Фоелевич 2004
Обоснование и разработка специализированной защищенной операционной системы класса UNIX

Ефанов, Дмитрий Валерьевич 2004
Объектно-ориентированный подход при создании программного обеспечения тренажеров для ядерной и тепловой энергетики

Масанов, Алексей Олегович 2004
Организация эффективного размещения данных в ЭВМ на основе модифицированного метода В-деревьев

Левков, Александр Александрович 2004
Повышение эффективности применения методов сжатия цифровых изображений

Коршунова, Наталья Петровна 2004
Применение генетических алгоритмов в системах Автономного Адаптивного Управления

Земских, Леонид Вячеславович 2004
Применение формальных методов для тестирования компиляторов

Посыпкин, Михаил Анатольевич 2004
Принципы нейроноподобной реализации систем Автономного Адаптивного Управления

Крыжановский, Михаил Владимирович 2004
Программное обеспечение хранилищ данных для формирования информационных ресурсов в региональном здравоохранении

Жучков, Дмитрий Викторович 2004
Программно-информационное обеспечение многоязыковой генерации текстов

Болдасов, Михаил Викторович 2004
Программные системы для идентификации и локализации объектов в изображениях

Лобив, Игорь Васильевич 2004
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем

Козюра, В.Е. 2004
Развитие методов статического анализа программ, используемых в оптимизирующих компиляторах для архитектур с явно выраженной параллельностью

Дроздов, Александр Юльевич 2004
Разработка алгоритмического и программного обеспечения системы сопровождения подвижных объектов

Диденко, Сергей Владимирович 2004
Разработка архитектуры программной системы автоматизированного сбора тематической информации в сети Интернет

Арутюнян, Роман Эрнстович 2004
Разработка архитектуры системы контроля доступа к распределенным корпоративным базам данных

Булаев, Владислав Викторович 2004
Разработка и исследование интеллектуальных контролирующих систем с настраиваемой нечеткой экспертной подсистемой выставления оценок

Ивлева, Елена Владимировна 2004
Разработка и исследование методов создания компьютерной системы интеллектуальной поддержки решения задач физической химии в объеме университетского курса

Цветников, Вадим Александрович 2004