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

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

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