« Назад

КриКТехС 2005-6

Очередное заседание семинара состоится 28 октября 2005 г. в 15.00 в ауд. 123 радиокорпуса ХАИ.

Тема заседания:

Современные методы и технологии  проектирования и верификации параллельных программ и систем с программируемой логикой.

Доклады:

  • Автоматическое проектирование и верификация параллельных программ (Поляков Г.А., Толстолужская Е.Г., Толстолужский Д.А.);
  • Применение генетических алгоритмов при проектировании многоверсионных систем на ПЛИС (Якимец Н.А.).

 


Навигация по категориям

Докладчики