Автор: alexm

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 785
13 ноября 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
Т.В. Шманина
«Информационная система для поддержки процесса проведения
исследований на основе литературных источников»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 784
30 октября 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
Т.В. Шманина
«Информационная система для поддержки процесса проведения
исследований на основе литературных источников»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 783
16 октября 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
А.П. Стасенко
Тестирование изменений в программной системе
на основе покрытия исходного кода
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 782
9 октября 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
Р.И. Идрисов
Методы и структуры параллельного программирования
(по материалам конференции Microsoft Reseach
Summer School 2012)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 781
25 сентября 2012
268 ИСИ СО РАН
Время: 14.30
————————————————————
Е.В. Алымова
«Генерация наборов тестов для распараллеливающих и
оптимизирующих преобразований в компиляторе»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 780
15 мая 2012
268 ИСИ СО РАН
Время: 14.30
————————————————————
Зачет
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 778
24 апреля 2012
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Сперанский Данил Олегович
Исследование и разработка методов организации взаимодействия
социальных сетей и других ресурсов на примере виртуальных
серверов электронных средств обучения НГУ
Шелков Артем Алексеевич
Построение оригинал-макета по базе данных электронного
образовательного ресурса
Лозбень Михаил Евгеньевич
Повышение эффективности гибридных алгоритмов гарантированного
поиска глобального оптимума, основанных на комбинировании
интервальных и классических (точечных) подходов
Торжкова Софья Юрьевна
Повышение эффективности интервальных алгоритмов
гарантированного поиска глобального оптимума, основанных
на стратегии ветвей и границ, за счет реализации механизма
дробления области поиска, адаптирующегося к виду
целевой функции
————————————————————
Заседание N 779
5 мая 2012
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Корж Дмитрий Владимирович
Методы и технологии построения трехмерных
квазиструктурированных сеток
Кугаевский Илья Александрович
Алгоритмы обработки акустических сигналов
с подавлением эффекта Гиббса
Нестеров Сергей Николаевич
Использование физических аналогий для укладки графов:
базовые алгоритмы и их визуализация
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 777
10 апреля 2012
254 ИСИ СО РАН
Время: 14.30
————————————————————
М. Конин
«Netgen. Инструмент для работы с s-гиперсетями.»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 776
3 апреля 2012
254 ИСИ СО РАН
Время: 14.30
————————————————————
И.С. Ануреев
«Дедуктивный подход к верификации
телекоммуникационных систем, представленных на языке C»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 775
27 марта 2012
254 ИСИ СО РАН
Время: 14.30
————————————————————
Э.В. Харитонов
«Git — распределённая CVS:
обзор возможностей и примеры использования»
————————————————————