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

Название работы	Автор	Дата защиты
Разработка инструментальных средств создания визуальных предметно-ориентированных языков	Сухов, Александр Олегович	2013
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX	Новиков, Евгений Михайлович	2013
Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа	Якушев, Андрей Владимирович	2013
Автоматизированное формирование базы знаний для задачи анализа мнений	Четвёркин, Илья Игоревич	2013
Аудиовизуальные речевые интерфейсы в ассистивных информационных технологиях	Карпов, Алексей Анатольевич	2013
Восстановление форматов сетевых сообщений и файлов по бинарным трассам программ	Гетьман, Александр Игоревич	2013
Восстановление алгоритма по набору бинарных трасс	Соловьев, Михаил Александрович	2013
Исследование и разработка методов и программных средств классификации текстовых документов	Гулин, Владимир Владимирович	2013
Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств	Хатько, Евгений Евгеньевич	2013
Исследование и реализация систем дискретно-событийного имитационного моделирования на основе графовых моделей	Карпухин, Илья Николаевич	2013
Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем	Старичкова, Юлия Викторовна	2013
Исследование и разработка методов автоматизации процессов практической транскрипции имен собственных	Логачева, Варвара Константиновна	2013
Исследование и разработка алгоритмов матирования видеопоследовательности	Синдеев, Михаил Сергеевич	2013
Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования	Нураев, Имангазали Юнусович	2013
Метод и средства верификации баз данных на основе нейросетевых технологий	Галушка, Василий Викторович	2013
Методы и алгоритмы гибридного синтеза естественной русской речи на основе скрытых марковских моделей и метода Unit Selection	Чистиков, Павел Геннадьевич	2013
Методы и программные средства аудиовизуальной обработки сигналов при сопровождении распределенных совещаний	Будков, Виктор Юрьевич	2013
Методы и программные средства извлечения терминологической информации из научно-технических текстов	Ефремова, Наталья Эрнестовна	2013
Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем	Мешков, Алексей Николаевич	2013
Методы и средства децентрализованного диспетчирования ресурсов GRID для решения связных задач	Каляев, Анатолий Игоревич	2013
Планирование обменов в сетях с топологией кольца с арбитражем для систем реального времени	Бычков, Иван Алексеевич	2013
Построение системы поддержки регламентов на базе языка запросов GSQL	Потапов, Кирилл Борисович	2013
Препроцессор языка программирования высокого уровня для реконфигурируемых вычислительных систем	Коваленко, Алексей Геннадьевич	2013
Программное и алгоритмическое обеспечение систем компьютерного видения с несколькими полями зрения	Васильев, Антон Игоревич	2013
Разработка и исследование алгоритмов и программных средств визуализации объемов	Мельман, Сергей Владимирович	2013
Разработка и исследование методов достижения высокой степени масштабируемости суперкомпьютерных приложений	Корж, Антон Александрович	2013
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики	Павлов, Евгений Геннадьевич	2013
Разработка и исследование методов и алгоритмов устранения избыточности видеопоследовательностей на основе сегментации видеоданных	Рубина, Ирина Семеновна	2013
Разработка методов моделирования для оценки производительности суперкомпьютерных систем для параллельных приложений с однородным характером поведения	Речистов, Григорий Сергеевич	2013
Разработка методов и программных средств реализации компонентной вычислительной среды для параллельного и распределённого моделирования режимов систем газоснабжения	Васильев, Алексей Владимирович	2013

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