__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 334
__________________________________________________________________
Дата: 9.04.93
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Кузьминов Т.В.
Тема: Рабочая станция IBM RS-6000: особенности архитектуры с
точки зрения оптимизирующей компиляции
__________________________________________________________________
Заседание №333
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 333
__________________________________________________________________
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Сабельфельд В.К.
Тема: Работы Института информатики Мюнхенского технического уни-
верситета в области теоpетической инфоpматики
(продолжение)
__________________________________________________________________
Заседание №332
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 332
__________________________________________________________________
Дата: 7.04.93
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Сабельфельд В.К.
Тема: Работы Института информатики Мюнхенского технического уни-
верситета в области теоpетической инфоpматики
__________________________________________________________________
Заседание №331
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 331
__________________________________________________________________
Дата: 2.04.93
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Сабельфельд В.К.
Тема: Работы Института информатики Мюнхенского технического уни-
верситета в области построения корректного софтвера:
проект SPECTRUM (пpодолжение)
__________________________________________________________________
Заседание №330
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 330
__________________________________________________________________
Дата: 19.03.93
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Сабельфельд В.К.
Тема: Работы Института информатики Мюнхенского технического уни-
верситета в области построения корректного софтвера:
проект SPECTRUM
__________________________________________________________________
Заседание №329
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 329
__________________________________________________________________
Дата: 12.03.93
Время: 15.00
конф.-зал ВЦ СО РАН
__________________________________________________________________
Докладчик : Вирбицкайте И.Б.
Тема: Структура событий как семантическая модель программирования
__________________________________________________________________
Заседание №328
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 328
_________________________________________________________________
Дата: 26.02.93
Время: 15.00
конф.-зал ВЦ СО РАН
_________________________________________________________________
Докладчик : Ковтушенко А.П.
Тема: Средства выявления мелкозернистого параллелизма
на этапе выполнения программ
(исседовательский проект СONDEL-1,2
Калифорнийского университета, Сан-Диего)
(продолжение)
__________________________________________________________________
Заседание №327
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 327
_________________________________________________________________
Дата: 19.02.93
Время: 15.00
конф.-зал ВЦ СО РАН
_________________________________________________________________
Докладчик : Ковтушенко А.П.
Тема: Средства выявления мелкозернистого параллелизма
на этапе выполнения программ
(исседовательский проект СONDEL-1,2
Калифорнийского университета, Сан-Диего)
__________________________________________________________________
Заседание №326
__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 326
_________________________________________________________________
Дата: 12.01.93
Время: 15.00
к. 308
_________________________________________________________________
Докладчик : Берс А.А.
Тема: Архитектура рабочей станции МРАМОР и ее программное
обеспечение (кандидатская диссертация)
__________________________________________________________________
Заседание №325
__________________________________________________________________
Объединенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 325
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Дата: 25.12.92
Время: 15.00
_________________________________________________________________
Докладчик : Вартазарян А.Э.
Тема: Параллельная реализация математических функций для ар-
хитектур с динамически изменяемой длиной операндов
__________________________________________________________________