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

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 346
__________________________________________________________________
Дата: 5.11.93
Время: 15.00
__________________________________________________________________
Шкляев Д.А.
Тема: Реферирование работы В.И.Борисенко «Алгоритм опре-
деления эквивалентности п-ленточных автоматов»
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 345
__________________________________________________________________
Дата: 29.10.93
Время: 15.00
__________________________________________________________________
Евстигнеев В.А.
Тема: Обзор языка SISAL и методов его реализации
(пpодолжение)
__________________________________________________________________

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 343
__________________________________________________________________
Дата: 15.10.93
Время: 15.00
__________________________________________________________________
Алексеев Г.И.
Тема: Итоги летней школы по информатике и программированию
(ЛШИП-93)
__________________________________________________________________

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

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