3 курс

 

1.      Модели вычислительных систем общего назначения с управляемой архитектурой.  (Кравченко Н.)

2.      Организация вычислений в распределенных системах. (Григорьева Д.)

3.      Верификация систем реального времени с помощью N-схем.  (Каменский C.)

 

4 курс

1.      N-схемы систем с множественным доступом в задачах синтеза и верификации. (Елизаров Ю.)

2.      Модели систем цифровой обработки сигналов с управляемой архитектурой. (Востриков Ю.)

3.      Wavelet – анализ в системах с “Mesh”-архитектурой. (Прилепский А.)

 

5 курс

 

1.      Измерение характеристик физических сред для канала Е1. (Гришаев С.)