Рубрика: Семинары

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 323
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 4 .12.92
Время: 15.00
_________________________________________________________________
Докладчик : Н.А.Калинина
Тема: Системы компьютерной алгебры: текущее состояние и
тенденции развития
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 322
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 27.11.92
Время: 15.00
_________________________________________________________________
Докладчик : С.Г.Седухин
Тема: Проектирование высокопараллельных алгоритмов и структур в
задачах теории графов
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 321
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 20.11.92
Время: 15.00
_________________________________________________________________
Докладчик : Н.В.Шилов
Тема: Алгоритмы проверки истинности формул программных логик
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 320
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 13.11.92
Время: 15.00
_________________________________________________________________
Докладчики: А.В.Грабарь, П.А.Земцов, Е.В.Налимов
Тема: Алгоритмы анализа и оптимизации в кодогенераторе
системы СОКРАТ
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 319
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 6.11.92
Время: 15.00
_________________________________________________________________
Докладчик: В.П.Котляров (Санкт-Петербург)
Тема: Сравнительный анализ основных направлений в
развитии CASE-технологий и CASE-систем.
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 318
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 30.10.92
Время: 15.00
_________________________________________________________________
Докладчики: А.В.Грабарь, П.А.Земцов, Е.В.Налимов
Тема: Оптимизирующая кодогенерация
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 317
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 16.10.92
Время: 15.00
_________________________________________________________________
Докладчик: Евстигнеев В.А.
Тема: Особенности программного обеспечения для VLIW-архитектур
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 316
______________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 9.10.92
Время: 15.00
_________________________________________________________________
Докладчики: Евстигнеев В.А.
Тема: О некоторых формах промежуточного представления прог-
рамм, ориентированных на параллельную обработку ( по материалам
зарубежных работ).
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 315
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 2.10.92
Время: 15.00
_________________________________________________________________
Докладчики: Гутман А.А.
Тема: Объектно-ориентированное программирование на языке С++
__________________________________________________________________

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 314
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 18.05.92
Время: 14.15
_________________________________________________________________
Докладчики: Смердина Г.В., Генералов В.В.
Тема: Язык Сетл и система программирования на его основе
__________________________________________________________________