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

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 377
Дата: 17.3.95
Время:15.00
_________________________________________________________________
Погребняк В.Ф.
О работе в телекоммуникационных сетях
_________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 375
Дата: 3.03.95
Время:15.00
_________________________________________________________________
A.В.Сабельфельд
Реферирование статьи
B. Courcelle, J. Vuillemin
Semantics and Axiomatics of a simple recursive language
_________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 374
Дата: 24.2.95
Время: 15.00
_________________________________________________________________
Н.Ю.Петрашкова
Язык Фортран-90
_________________________________________________________________

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

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 372
Дата: 23.12.94
Время: 15.00
_________________________________________________________________
Л.В.Городняя, Ю.В.Малинина
О проекте информационно инструментальной системы ТРАНСФОРМ.
_________________________________________________________________

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 371
Дата: 16.12.94
Время: 15.00
_________________________________________________________________
Евстигнеев В.А.
Система ПРОГРЕСС: подсистема промежуточных представлений.
_________________________________________________________________

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

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
__________________________________________________________________
Заседание N 368
Дата: 28.10.94
Время: 15.15
__________________________________________________________________
Телерман В.В.
О международной конференции AISMC-2 по
искусственному интеллекту и символьным вычислениям
(Кембридж, 3-5 августа 1994 г.)
__________________________________________________________________

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