НОЦ СП. Темы выпускных работ за 2003 год
Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Темы выпускных работ за 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]