| Тема диссертации |
Автор |
Год |
|
|
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках C и C++, для построения многоцелевого контекстно-чувствительного анализатора
|
Сидорин, Алексей Васильевич |
2017 |
|
|
Метод совместного использования эволюционных алгоритмов и обучения с подкреплением для оценки эффективности программ решения задач дискретной математики
|
Буздалова Арина Сергеевна |
2017 |
|
|
Методы, алгоритмы и программные инструменты достижения интероперабельности прикладного программного обеспечения на основе частотного анализа данных
|
Мальшаков, Григорий Викторович |
2017 |
|
|
Методы верификации программ на основе композиции задач достижимости
|
Мордань, Виталий Олегович |
2017 |
|
|
Методы декомпиляции объектного кода Delphi
|
Михайлов, Андрей Анатольевич |
2017 |
|
|
Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений
|
Мосин, Сергей Владимирович |
2017 |
|
|
Методы и инструменты декларативного программирования динамических Web-узлов и приложений
|
Кейно, Павел Петрович |
2017 |
|
|
Методы и программные средства анализа поведения пользователей при работе с текстовыми данными для решения задач информационной безопасности
|
Царёв, Дмитрий Владимирович |
2017 |
|
|
Методы и средства верификации протоколов когерентности памяти
|
Буренков, Владимир Сергеевич |
2017 |
|
|
Методы и средства углубленного анализа сетевого трафика
|
Маркин, Юрий Витальевич |
2017 |
|
|
Методы мониторинга объектов операционной системы, выполняющейся в виртуальной машине
|
Фурсова Наталья Игоревна |
2017 |
|
|
Модели проектирования программной инфраструктуры интеллектуального пространства для ресурсно-ограниченных вычислительных сред
|
Галов Иван Викторович |
2017 |
|
|
Преобразование видеопоследовательностей, содержащих объекты с полупрозрачными границами, в стереоскопический формат
|
Ерофеев, Михаил Викторович |
2017 |
|
|
Разработка архитектурных решений, алгоритмов и программных инструментов организации взаимодействия компонентов распределенных компьютерных тренажеров, реализующих виртуальную среду профессиональной деятельности диспетчеров систем газонефтепроводов
|
Халиуллин, Айрат Радикович |
2017 |
|
|
Разработка метода оценки эксплуатируемости программных дефектов
|
Федотов Андрей Николаевич |
2017 |
|
|
Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода
|
Уральский, Николай Борисович |
2017 |
|
|
Семантические технологии больших данных для многомасштабного моделирования в распределенных вычислительных средах
|
Вишератин Александр Александрович |
2017 |
|
|
Сеточно-операторный подход к программированию задач математической физики
|
Михаил Михайлович |
2017 |
|
|
Сеточно-операторный подход к программированию задач математической физики
|
Краснов Михаил Михайлович |
2017 |
|
|
Технология интеграции данных в гетерогенных корпоративных программных комплексах
|
Зыков, Сергей Викторович |
2017 |
|
