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

Тема диссертации Автор Год
Методика анализа защищенных систем IP-телефонии

Родионов, Дмитрий Евгеньевич 1999
Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени

Погребной, Дмитрий Владимирович 1999
Методы и инструменты создания интегрированных цифровых библиотек

Бездушный, Анатолий Николаевич 1999
Методы интеграции логического программирования и программирования в ограничениях

Петров, Евгений Сергеевич 1999
Методы организации систем управления данными на основе нумерационных методов и интервальных вычислений

Белоусов, Алексей Леонидович 1999
Методы построения автоматизированных информационных систем для финансового менеджмента

Тарасенко, Владимир Феликсович 1999
Методы построения экономически эффективных региональных компьютерных сетей

Шевчук, Юрий Владимирович 1999
Методы проектирования операционных систем реального времени и их применение

Егоров, Геннадий Алексеевич 1999
Методы реализации графориентированных инструментальных сред и их применение для создания приложений

Фролова, Наталья Владимировна 1999
Методы спецификации и верификации параллельных моделей с непрерывным временем

Покозий, Екатерина Александровна 1999
Модели распознаваемых объектов в системе компьютерного стереозрения реального времени

Матвеев, Иван Алексеевич 1999
Новый подход к межпроцедурному анализу программ

Антонов, Александр Сергеевич 1999
Применение метода недоопределенных вычислений в математическом моделировании

Кашеварова, Тамара Петровна 1999
Принципы и методы создания компилятора переднего плана Стандарта Cu ++

Зуев, Евгений Александрович 1999
Программная система КВАНТ/1 для автоматического доказательства теорем

Черкашин, Евгений Александрович 1999
Программно-методические средства экспресс-диагностики и контроля функционального состояния человека

Корниенко, Алексей Викторович 1999
Разработка и исследование методов, моделей и программных систем управления реорганизацией предприятий

Калянов, Георгий Николаевич 1999
Разработка интеллектуальной информационно-управляющей системы оценки ядерной деятельности стран

Беленький, Александр Григорьевич 1999
Разработка математического и программного обеспечения генерации тестовых последовательностей и верификации сложных цифровых схем

Зизин, Георгий Валентинович 1999
Разработка математического и программного обеспечения процедур непараметрической идентификации текущего состояния дискретных каналов информационно-вычислительных сетей

Новиков, Геннадий Александрович 1999