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

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

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

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

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

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

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

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

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьяновhttps://pco.iis.nsk.su/info/index.php/2018/09/11/29_april__2014/
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 822
29 апреля 2014
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Стафеев Евгений Сергеевич
Разработка системы автоматизированного контроля знаний
(на базе Электронной образовательной среды НГУ)
Попенов Александр Юрьевич
Разработка и реализация программных компонентов
сетевого хранилища данных
Бунькова Анна Олеговна
Алгоритм шифрования, сохраняющий порядок. Реализация
построения разбиений (bucketing) с помощью матриц
————————————————————
Заседание N 823
6 мая 2014
Комната 254 ИСИ СО РАН
Время: 14.30
————————————————————
Жумадилов Каир Бекбатырович
Разработка персональной страницы с расширенными
возможностями деловых коммуникаций на основе
мультиагентных систем
Матюхин Анатолий Вадимович
Построение расширяемого ядра персонального агента,
обеспечивающего представительство в веб-среде и
межагентное взаимодействие
Машковский Сергей Васильевич
Интеграция ИС «Электронная структура атомов» в
европейский виртуальный центр атомных и
молекулярных данных VAMDC
Егоренков Артём Михайлович
————————————————————

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

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