3 курс
1. Модели вычислительных систем общего назначения с управляемой архитектурой. (Кравченко Н.)
2. Организация вычислений в распределенных системах. (Григорьева Д.)
3. Верификация систем реального времени с помощью N-схем. (Каменский C.)
4 курс
1. N-схемы систем с множественным доступом в задачах синтеза и верификации. (Елизаров Ю.)
2. Модели систем цифровой обработки сигналов с управляемой архитектурой. (Востриков Ю.)
3. Wavelet – анализ в системах с “Mesh”-архитектурой. (Прилепский А.)
5 курс
1. Измерение характеристик физических сред для канала Е1. (Гришаев С.)