Автор: alexm

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

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

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

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

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание 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-систем.
__________________________________________________________________