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

6 ноября, 199212 сентября, 2018

Заседание №319

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

30 октября, 199212 сентября, 2018

Заседание №318

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

16 октября, 199212 сентября, 2018

Заседание №317

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

9 октября, 199212 сентября, 2018

Заседание №316

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

2 октября, 199212 сентября, 2018

Заседание №315

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

18 мая, 199212 сентября, 2018

Заседание №314

13 апреля, 199212 сентября, 2018

Заседания №309-313

__________________________________________________________________
Об’единенный семинар ИСИ СО РАН, ВКИ и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Руководитель проф. Касьянов В.Н.
Заседание N 309-313
_________________________________________________________________
Конференц-зал ВЦ СО РАН
Время: 14.15
_________________________________________________________________
Рассмотрение дипломных работ
13 апреля
Мантуров В.А. Разработка и реализация транслятора в системе
анализа Фортран-программ
Кочубей Е.А. Разработка и реализация диалогового метапреобразо-
вателя системы анализа Фоpтpан-программ
Емельянов П.Г. Сравнительный анализ алгоритмов абстрактной ин-
терпретации МОДУЛА-программ
Грабарь А.В. Программные средства декомпозиции кода программ

20 апреля
Черевко А.А. Реализация алгоритма поиска гамаков в графах
Доледонок В.Г.Реализация параметризованных (родовых) компонен-
тов языка программирования баз данных АТЛАНТ
Курикалов Б.В. Разработка структуры и программного интерфейса
словаря справочника данных на базе файловой системы AFS
Ольков В.Г. Разработка программно-методического обеспечения для
исследования с помощью ЭВМ математических функций на экстремумы

27 апреля
Герега А.А. Расчет характеристик реакций с линейным механизмом
на основе САВ
Гринь Ю.И. Расчет линейных систем на основе САВ
Диденко В.А. Верификация программ обработки текстовых файлов
Ануреев И.С. Разрешающие процедуры для автоматических систем
верификации программ

4 мая
Ращенко Т.Г.Генерация заданий и сбор статистики в настраиваемой
среде активного обучения программированию
Иванова А.В. Организация диалога в настраиваемой среде активно-
го обучения программированию
Малинина Ю.В. Средства работы со словарями для обучающих систем.
Сорокина Ю.А. Музыкальные обучающие программы. Музыкальный ре-
дактор.

11 мая
Погосян О.А. Реализация системы исполнителей языка РОБИК
Барская С.Е. Базовый интерпретатор для разработки учебно-игро-
вых программ
Оберемок О. Обучающая экспертная система по русскому языку для
информатиков.
Кузнецов В.В. Разработка компонент РАПИРА компилятора для IBM PC
Ляпин А. Программные средства представления семантики языков
программирования на базе языка Лисп

6 апреля, 199212 сентября, 2018

Автор: alexm