Заседание №334

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