Научная деятельность

Конференции, в которых принимали участие сотрудники ООО «СиПроВер»

  1. Application Developer Days 2011 (ADD 2011), 29-30 апреля 2011 г., Санкт-Петербург.
  2. Application Developer Days 2010 (ADD 2010), 23-24 сентября 2010 г., Ярославль.
  3. Разработка ПО 2009 (CEE-SECR 2009), 28-29 октября 2009 г., Москва.
  4. Параллельные Вычислительные Технологии - ПаВТ 2009, 30 марта - 3 апреля 2009 г., Нижний Новгород.
  5. Математические методы в технике и технологиях – ММТТ-21, 27-31 мая 2008 г., Саратов.
  6. Всероссийская студенческая олимпиада «Конкурс компьютерных программ», 22-23 мая 2008 г., Вологда.
  7. Ломоносов – 2008: Международная конференция студентов, аспирантов и молодых ученых, 7-11 апреля 2008 г., Москва.
  8. Международная молодежная научная конференция «XXXIV Гагаринские чтения», 1-5 апреля 2008 г, Москва.
  9. Технологии Microsoft в теории и практике программирования, 1-2 апреля 2008 г., Москва.
  10. SOFTWARE ENGINEERING CONFERENCE (RUSSIA), 1-2 ноября 2007 г., Москва.

Семинары, в которых принимали участие сотрудники ООО «СиПроВер»

  1. Семинар в Научно-исследовательском вычислительном центре МГУ, Москва, 23 марта 2009 г.
  2. Семинар в Институте системного программирования российской академии наук, Москва, 7 июня 2008 г.
  3. Семинар в Вычислительном центре российской академии наук, Москва, 15 мая 2008 г.
  4. Семинар в Тульском государственном университете, Тула, 29 марта 2007 г.

Публикации сотрудников ООО «СиПроВер»

  1. Карпов А.Н., Колосов А.П., Рыжков Е.А. VivaMP, система выявления ошибок в коде параллельных программ на языке С++, использующих OpenMP. Параллельные вычислительные технологии (ПаВТ'2009): Труды международной научной конференции (Нижний Новгород, 30 марта - 3 апреля 2009 г.). - Челябинск: Изд. ЮУрГУ, 2009. - 839 с.
  2. Андрей Карпов, Евгений Романовский. Отладка и оптимизация OpenMP-программ. RSDN Magazine #4-2008, стр. 32 - 40.
  3. А.П. Колосов, Е.А. Рыжков. Применение статического анализа при разработке программ. Известия ТулГУ. Технические науки. Вып.3. – Тула: Изд-во ТулГУ, 2008. – 267 с. Стр 185 – 190.
  4. Е.А. Рыжков, О.С. Середин. Применение технологии статического анализа кода при разработке параллельных программ. Известия ТулГУ. Технические науки. Вып.3. – Тула: Изд-во ТулГУ, 2008. – 267 с. Стр. 191 – 196.
  5. E. А. Рыжков, А.Н. Карпов. Подходы к верификации и тестированию 64-битных приложений. "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" N7, 2008, Стр. 41 – 45.
  6. Андрей Карпов, Евгений Рыжков. 20 ловушек переноса C++-кода на 64-битную платформу. RSDN Magazine #1-2007. стр. 65 – 75.
  7. Евгений Рыжков, Андрей Карпов. Сущность библиотеки анализа кода VivaCore. RSDN Magazine #1-2008. стр. 56 – 63.
  8. Алексей Колосов, Евгений Рыжков, Андрей Карпов. 32 подводных камня OpenMP при программировании на C++. RSDN Magazine #2-2008. стр. 3 – 17.
  9. Рыжков Е.А., Колосов А.П. Система автоматического обнаружения ошибок в исходном коде программ при создании 64-битного ПО (Viva64). Технологии Microsoft в теории и практике программирования. Труды V Всероссийской конференции студентов, аспирантов и молодых ученых. Центральный регион. Москва, 2008. М.: Вузовская книга, 2008. - 272 с. ISBN 978-5-9502-0354-1. Стр. 57-58.
  10. Колосов А.П., Рыжков Е.А.. VIVA64, система выявления ошибок в исходном коде программ при переносе ПО на 64-битные платформы. Ломоносов - 2008: Материалы XV Международной конференции студентов, аспирантов и молодых ученых: секция "Вычислительная математика и кибернетика"; 7-11 апреля; Москва, МГУ имени М.В. Ломоносова, факультет ВМиК: Сборник тезисов - М.: Издательский отдел факультета ВМиК МГУ, 2008. - 96 с. Стр. 43 – 44.
  11. Колосов А.П., Рыжков Е.А. Viva64, система выявления ошибок в исходном коде программ при переносе ПО на 64-битные платформы. XXXIV Гагаринские чтения. Научные труды Международной молодежной научной конференции в 8 томах. Москва, 1-5 апреля 2008 г. / отв. редактор Н.И. Сердюк. - М: МАТИ, 2008. - Т.4. - 184 стр, стр 37-38.
  12. Колосов А.П., Рыжков Е.А. Система автоматического обнаружения ошибок в исходном коде программ при создании 64-битного ПО (Viva64). Сборник тезисов X Всероссийской студенческой олимпиады «Конкурс компьютерных программ». (в печати).
  13. Рыжков Е.А., Карпов А.Н. Применение технологии статического анализа кода в современном процессе разработки программ. // Сборник трудов конференции "Software Engineering Conference (Russia) 2007 - SEC(R)-2007", 2007, Москва, с. 240-245.
  14. Карпов А. Н. Визуализация данных на параллельных вычислительных комплексах // 15-я Международная конференция ГРАФИКОН, 20–24 июня 2005 г., Новосибирск, Россия.