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

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

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

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

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

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

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