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

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

___________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
___________________________________________________________________
Кабинет директора ИСИ СО РАН (к.308)
Время: 14.30
Заседания NN 358 — 361
___________________________________________________________________
Рассмотрение дипломных работ
21 апреля
Емельянов Павел Геннадьевич. Анализатор семантических свойств
МОДУЛА программ
Грабарь Анатолий Витальевич. Программные средства анализа де-
композиции программ
——————————————————————
28 апреля

Климов Владислав Анатольевич. Архитектура и алгоритмы системы
для манипулирования функциями булевой алгебры.
Боровой Сергей Владимирович. Обучающая программа по методам
вычислительной математики.
Бусыгин Владислав Владимирович. Автоматизированная система
обучения вопрос-ответного типа.
Гладких Игорь Евгеньевич. Средства поддержки разработки графи-
ческого интерфейса прикладных программ.

——————————————————————
5 мая

Брыксин Алексей Александрович. Разработка инструментальных
средств для описания учебных сценариев в многотерминальной обучаю-
щей системе на базе локальной сети УК-НЦ.
Ростовский Владислав Валентинович. Программные средства визуа-
лизации и проверки учебного материала.
Ивания Антон Викторович. Реализация языка начального обучения
программированию на базе системы ГРИН.
Кожевников. Реализация учебного интерпретатора, настраиваемого
на методику применения.

——————————————————————
12 мая

Матюков Петр Юрьевич. Система управления и контроля локальных
вычислительных сетей АСУ ТП Энергоблока Уренгойской ГРЭС.
Пешкичев Юрий Юрьевич. Монитор портов для операционной системы
реального времени АСУ ТП Энергоблока Уренгойской ГРЭС.
Рыжков Виктор Леонидович. Программная модель протокола ТСР/IP.

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 355
__________________________________________________________________
Дата: 1.04.94
Время: 15.00
__________________________________________________________________
Калинина Н.А.
Тема: О работе международной конференции Interval-94
(Санкт Петербург, март 1994)
__________________________________________________________________

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

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

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 351
__________________________________________________________________
Дата: 24.12.93
Время: 15.00
__________________________________________________________________
Цикоза В.А.
Тема: Уточненные модели анализа множеств значений пере-
менных (по работам Granger, Cousot, Halbwachs)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 350
__________________________________________________________________
Дата: 17.12.93
Время: 15.00
__________________________________________________________________
Мавлютов И.Б.
Тема: Методы покадровой (peep-hole) оптимизации
__________________________________________________________________

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

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

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