————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 757
3 мая 2011
254 ИСИ СО РАН
Время: 14.30
————————————————————
Ильин Дмитрий Матвеевич
«Система для минимизации компиляторных тестов Reduсe»
Надеин Павел Васильевич
«Редуцирующие преобразования и набор тестов системы
минимизации компиляторных тестов Reduсe»
Жейц Георгий Александрович
«Алгоритмы укладки планарных графов и их визуализация»
————————————————————