| Тема диссертации |
Автор |
Год |
|
|
Восстановление форматов сетевых сообщений и файлов по бинарным трассам программ
|
Гетьман, Александр Игоревич |
2013 |
|
|
Встречное тестирование высокопроизводительных микропроцессоров
|
Чибисов, Петр Александрович |
2013 |
|
|
Динамическое обнаружение состояний гонки в многопоточных JAVA-программах
|
Трифанов, Виталий Юрьевич |
2013 |
|
|
Исследование и разработка алгоритмов матирования видеопоследовательности
|
Синдеев, Михаил Сергеевич |
2013 |
|
|
Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств
|
Хатько, Евгений Евгеньевич |
2013 |
|
|
Исследование и разработка методов автоматизации процессов практической транскрипции имен собственных
|
Логачева, Варвара Константиновна |
2013 |
|
|
Исследование и разработка методов и программных средств классификации текстовых документов
|
Гулин, Владимир Владимирович |
2013 |
|
|
Исследование и разработка моделей, методов и программных средств темпорального вывода в динамических интегрированных экспертных системах
|
Мозгачев, Алексей Васильевич |
2013 |
|
|
Исследование и разработка электронных библиотек на основе явного описания семантики ресурсов с использованием технологий Semantic Web
|
Ле Хоай |
2013 |
|
|
Исследование и реализация систем дискретно-событийного имитационного моделирования на основе графовых моделей
|
Карпухин, Илья Николаевич |
2013 |
|
|
Исследование методов и программных средств построения распределенных информационных систем
|
Лвин Маунг Со |
2013 |
|
|
Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем
|
Старичкова, Юлия Викторовна |
2013 |
|
|
Компьютерные модели и алгоритмы управления безопасностью информационных систем
|
Лукинова, Ольга Васильевна |
2013 |
|
|
Математическое и программное обеспечение интеллектуальных поисковых систем на основе использования мультиагентной архитектуры
|
Минашкин, Сергей Александрович |
2013 |
|
|
Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа
|
Якушев, Андрей Владимирович |
2013 |
|
|
Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования
|
Нураев, Имангазали Юнусович |
2013 |
|
|
Метод и алгоритмы мониторинга вычислительных сетей на основе совместного анализа временных и функциональных характеристик стека протоколов TCP/IP
|
Лавров, Андрей Александрович |
2013 |
|
|
Метод и средства верификации баз данных на основе нейросетевых технологий
|
Галушка, Василий Викторович |
2013 |
|
|
Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения
|
Тетерев, Михаил Александрович |
2013 |
|
|
Метод тестирования производительности и корректности микропроцессоров при помощи нацеленных тестовых программ
|
Зубковская, Наталья Владимировна |
2013 |
|
