Автор: alexm

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 340
__________________________________________________________________
Дата: 25.06.93
Время: 15.00
__________________________________________________________________
Гpинбеpг C.Я.
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 339
__________________________________________________________________
Дата: 25.05.93
Время: 15.00
к.260
__________________________________________________________________
Зачет
__________________________________________________________________

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 15.00
Заседания NN 335 — 338
___________________________________________________________________
Рассмотрение дипломных работ
23 апреля
Ращенко Т. Г. Автоматизация тестирования учебных программ.
Иванова А. В. Средства отладки учебных программ.
Лещенко А. С. «Разработка средств символьных преобразований в
решателе UNICALC»
Малышкин Д.В. Язык описания параллельных алгоритмов и его реа-
лизация.
Косых А. С. Автоматизированная система статического анализа
семейно-генетических данных.

——————————————————————
30 апреля
Гриншкун В.В.Инструментальные средства разработки программ пе-
дагогического назначения, основанные на древовидном представлении
данных.
Бусыгин В.В. Автоматизированная обучающая система опросного
типа.
Гладких И.Е. Тренажер для обучения химии с использованием мо-
дели атома Бора и таблицы элементов Менделеева.
Чернигова Л.А. Библиотека для графического оконного интерфейса
прикладных программ.
Бодин Е.В. Встраиваемая система индикации отклонений текстовых
данных от пополняемого набора данных.

——————————————————————
7 мая
Артамонов П.Н. Настраиваемый текстовый оконный интерфейс для
учебных систем программирования.
Посуконько А.Г. Встраиваемый текстовый редактор для учебных
систем программирования.
Тельтаев Р.З. Генератор процедур синтаксического разбора и вы-
вода текстов программ.
Жданов А.В. Система управления памятью для учебных систем
программирования.
Пестрожуков В.Г. Программные средства машинно-зависимого пере-
носа программ в классе микроЭВМ.

——————————————————————
14 мая
Бондарев И.В. Разработка преобразующего ядра для системы
компьютерной алгебры.
Дудышева Е.В. Создание программных средств для автоматизации
работ в булевых алгебрах.
Фоменко Л.А. Создание программных средств для автоматизации
решения булевских уравнений
Бородко А.В. Реализация типового модуля для выполнения вы-
числений в учебно-игровых программах.

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

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

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