Новости
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
17 Февраля, 2025
Конкурс на замещение должности
Темы выпускных работ за 2003 год
Магистерские диссертации
Группа 775
1. Бажан А.А. «Разработка инфраструктуры совместного доступа к данным для системы STEP-ориентированных программных средств». Руководитель: д.ф.-м.н. Семенов В.А.
2. Минервин К.В. «Исследование применимости платформы Microsoft.NET для параллельных вычислений». Руководитель: к.ф.-м.н. Калинов А.Я.
3. Кучин И. «Исследование процесса диспетчеризации задач на фрагменте российского сегмента распределенной вычислительной среды GRID на примере алгоритма сравнительного анализа нуклеидных последовательностей (BLAST)». Руководитель: д.т.н. Кузнецов С.Д.
4. Ратчин Ю.Е. «Применение генетических алгоритмов для синтеза элементов системы автономного адаптивного управления». Руководитель: д.ф.-м.н. Жданов А.А.
5. Толстов Е.В. «Исследование роли протокола LDAP в современном мире и его использование для построения информационных систем». Руководитель: д.т.н. Шнитман В.З.
Выпускные квалификационные работы на степень бакалавра
Группа 975
1. Власов К.А. «Разработка расширений языка описания системы команд ISE». Руководитель: к.ф.-м.н. Гайсарян С.С.
2. Зевако Ф.А. «Тестирование на основе формальных спецификаций в технологии UniTesK на примере системы управления библиотекой». Руководитель: д.ф.-м.н. Петренко А.К.
3. Леонтьев Г.А. «Расчет производительности параллельной программы на различных вычислительных системах». Руководитель: к.ф.-м.н. Гайсарян С.С.
4. Михеев А.С. «Разработка программы визуального описания системы команд». Руководитель: к.ф.-м.н. Гайсарян С.С.
5. Монахов А.А. «Технология создания инструментов обработки формальных тестов». Руководитель: д.ф.-м.н. Петренко А.К.
6. Новиков А.С. «Тестирование на основе формальных спецификаций в технологии UniTesK на примере системы учета в бакалейной лавке». Руководитель: д.ф.-м.н. Петренко А.К.
7. Павлюкова А.В. «Тестирование на основе формальных спецификаций в технологии UniTesK на примере информационного табло по состоянию авиарейсов». Руководитель: д.ф.-м.н. Петренко А.К.
8. Турчанин П.И. «Разработка симулятора системы команд на основе интерпретируемого описания». Руководитель: к.ф.-м.н. Гайсарян С.С.
[2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006] [2006-2007]
[2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013] [2013-2014]