Программа
Программирование

15-00 (1) Пленарное заседание

Малый зал Дома ученых

Ведущий: Подловченко Р.И.

1. Ковач Г. M-3, первый венгерский компъютер

2. Поттосин И.В., Уваров Д.Л. Обоснование оптимизирующих преобразований: Модели и результаты

3. Непомнящий В.А., Ануреев И.С., Михайлов И.Н., Промский А.В. На пути к верификации С-программ. Язык C-light.

4. Берс А.А. К анализу семантики базисных понятий информатики

5. Бандман О.Л. Клеточно-нейронный автомат. Дискретная модель динамики активных сред

6. Васильев С.Н., Черкашин Е.А., Бычков И.В., Черкашин А.К.* Автоматическое построение математических моделей: новое приложение систем автоматического доказательства теорем

9-00 -- 19-00 (4) Стендовые доклады

Фойе Малого зала Дома ученых

1. Костюк Ю.Л., Новиков Ю.Л. Графовые модели на основе триангуляции в задаче векторизации цветных растровых изображений

2. Нартов Б.К. Метод упругих функций

3. Ожигов Ю.И. Предсказание поведения систем с редким спектром на квантовом компьютере

4. Чернов А.В. Интегрированная среда для исследования "обфускации" программ

11-00 -- 14-00 (2) Секционное заседание

Конференц-зал ИВТ СО РАН

Ведущий: Поттосин И.В.

1. Ануреев И.С. Язык спецификаций SIMPLE

2. Глушкова В.Н. Вычислимые СИГМА-спецификации для проектирования сложных систем

3. Загорулько Ю.А., Гадицкий Р.В. Реактивный подход к анализу информации

4. Ильичева О.А. Логические средства поддержки информационных технологий

5. Корлякова М.О. Интеллектуальная обработка данных в процессе формирования баз знаний

6. Бутаков С.В, Рубцов Д.В Разработка оболочки гибридной интеллектуальной системы

7. Немытых А.П. Суперкомпилятор Scp4: общая структура.

8. Ефимов Г. Б., Зуева Е.Ю., Щенков И. Б. Компьютерная алгебра в ИПМ им.М.В.Келдыша

9. Дебелов В.А., Севастьянов И.М Распараллеливание метода Монте-Карло для построения фотореалистического изображения 3D сцены на основе фиктивной разделяющей плоскости

10. Городняя Л.В., Калинина Н.А. Информационные системы как инструмент повышения эффективности научных исследований в области информатики и программирования

15-00 -- 19-00 (3) Секционное заседание

Конференц-зал ИВТ СО РАН

Ведущий: Берс А.А.

1. Кучеров М.М. Квантовые вычисления в квантовой сети

2. Нестерук Г.Ф., Нестерук Ф.Г. Об одном способе реализации нейронных сетей

3. Шибзухов З.М. Рекуррентные алгоритмы конструктивного обучения алгебраических сигма-пи-нейронов

4. Голубятников В.П., Смирнов Г.И. О первичных логических элементах квантового компьютера

5. Сущенко С.П., Сущенко М.С. Анализ эффективности ассоциативного кэша неблокирующего типа

6. Бычков И.В., Кухаренко Е.Л., Черкашин Е. А., Федоров Р.К. DDL как средство стандартизации доступа к данным корпоративной сети

7. Разумов В.И., Сизиков В.П. Универсализация языка управления и моделирования на базе ТДИС

8. Прокопчук Ю.А., Костра В.В. Проблема выбора в открытых информационных системах

9. Зыкин С.В. Соответствие состояний реализации исходной и целевой моделей данных

Ваши комментарии

[Головная страница] [Конференции] [СО РАН]

© 2001, Сибирское отделение Российской академии наук, Новосибирск
© 2001, Объединенный институт информатики СО РАН, Новосибирск
© 2001, Институт вычислительных технологий СО РАН, Новосибирск
© 2001, Институт систем информатики СО РАН, Новосибирск
© 2001, Институт математики СО РАН, Новосибирск
© 2001, Институт цитологии и генетики СО РАН, Новосибирск
© 2001, Институт вычислительной математики и математической геофизики СО РАН, Новосибирск
© 2001, Новосибирский государственный университет
Дата последней модификации 06-Jul-2012 (11:45:21)