Лаборатория Конструирования и Оптимизации Программ

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ИСИ СО РАН
Время: 15.00
Заседаниe N 394
19 февраля 1996
___________________________________________________________________
Лисицын И.А.
О некоторых топологических мерах сложности программ
и алгоритмах их вычисления
___________________________________________________________________

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

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседаниe N 390
1 декабря 1995
___________________________________________________________________
Д.В.Кочетов
«Особенности специализации Modula-2 программ
методом генерирующего расширения».
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседаниe N 388
10 ноября 1995
___________________________________________________________________
Мурзин Ф. А.
Конечные спектры и NP-полнота
___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседания N 385
9 июня 1995
___________________________________________________________________
Мурзин Федор Александрович
О некоторых тенденциях развития параллельных ЭВМ:
— концепция языкового обеспечения спецпроцессора
информационного поиска,
— алгоритм WZ-разложения и архитектура ЭВМ.
(В докладах сообщается о некоторых исследованиях автора, его
взглядах относительно тенденций развития параллельных ЭВМ
и планов проведения исследований.)

___________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседания NN 380 — 383
___________________________________________________________________
Рассмотрение дипломных работ
28 апреля
Густокашина Юлия Владимировна. Трансляция SISAL- программ в
IF1 форму.
Тарников Игорь Александрович. Разработка и реализация транс-
лятора с языка Фортран-77 в системе ПРОГРЕСС.
Рихтер Юлия Васильевна. Проект символьного анализатора зави-
симости по данным.
Маркин Владимир Анатольевич. Идеограф — промежуточное предс-
тавление программы, ориентированное на мелкозернистый паралле-
лизм.

——————————————————————
5 мая
Карепин Дмитрий Александрович. Построение входных и выходных
форм для системы управления преобразованиями программ.
Армякова Ольга Равиловна. Разработка программных средств
языковой адаптации систем управления преобразованиями программ
Долгова Светлана Геннадьевна. Разработка макетного образца
системы управления преобразованиями программ.
Сарайкин Александр Витальевич. Макетирование программ гото-
выми программными средствами.

——————————————————————
12 мая
Сабельфельд Андрей Викторович. Эквивалентные преобразования
для схем с вырожденной рекурсией.
Кладов Владимир Леонидович. Альтернативная расширенная биб-
лиотека инструментальных пакетов функций для программирования на
языке Си.
Шин Владимир Сонирович. Декомпозиция больших систем с по-
мощью графа Коатса.
Посуконько Андрей Геннадьевич. Макроредактор для системы уп-
равления преобразованиями программ программ.

——————————————————————

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
14 апреля 1995, Время: 15.00
Заседание N 379
___________________________________________________________________
Налимов Евгений Викторович
Оптимизирующий генератор кода после проекта СОКРАТ.
——————————————————————-

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

_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание 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
_________________________________________________________________