Главная

Публикации

Андрей Карпов

Публикации: Андрей Карпов

19 Апр 2009

VivaMP, система выявления ошибок в коде параллельных программ на языке С++, использующих OpenMP

Алексей Колосов, Андрей Карпов, Евгений Рыжков

В статье приводятся результаты исследований ошибок, которые допускают программисты, использующие С++ и OpenMP. Для автоматического обнаружения этих ошибок предлагается использование...

...

13 Апр 2009

Softkey.ru – наш реселлер для продаж Viva64 и VivaMP в России, на Украине, в Белоруссии и Казахстане

Андрей Карпов

Заключен лицензионный договор с компанией "Софткей" ("Softkey") для продаж наших программных продуктов через этого известного...

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности

#Cpp

06 Апр 2009

Интервью с Дмитрием Вьюковым – автором верификатора Relacy Race Detector (RRD)

Андрей Карпов

Интервью с Дмитрием Вьюковым - автором инструмента Relacy Race Detector (RRD) для верификации параллельных приложений. В статье вы узнаете об истории создания RRD, его основных возможностях, а...

...

06 Апр 2009

ООО "СиПроВер" на конференции "Параллельные вычислительные технологии 2009"

Андрей Карпов

1 апреля в Нижегородском государственном университете в рамках конференции ПаВТ'2009 сотрудник ООО "СиПроВер" Алексей Колосов выступил с докладом на тему "VivaMP, система выявления ошибок в...

...

26 Мар 2009

Allsoft.ru, наш новый реселлер для продаж Viva64 и VivaMP в России и странах СНГ

Андрей Карпов

Компания ООО "СиПроВер" заключила лицензионный договор с реселлером allsoft.ru, проектом компании Softline, для более простого и быстрого способа продаж своих программных продуктов в России и...

...

23 Мар 2009

Семинар в НИВЦ МГУ

Андрей Карпов

23 марта в Научно-исследовательском вычислительном центре МГУ состоялся семинар с участием генерального директора ООО "СиПроВер" Евгения Рыжкова на тему "Статический анализ кода для...

...

16 Мар 2009

OpenMP и исключения (exceptions)

Андрей Карпов

Мы продолжаем развивать наш статический анализатор VivaMP, и на этот раз хочется рассказать о диагностике ошибок, связанных с использованием исключений (exception) языка Си++ в параллельных...

...

10 Мар 2009

Вышла финальная версия анализатора кода VivaMP 1.00, предназначенного для разработчиков OpenMP программ

Андрей Карпов

Компания ООО "СиПроВер" сообщает о выпуске финальной версии статического анализатора Си/Си++ кода VivaMP 1.00. Анализатор VivaMP предназначен для диагностики параллельных ошибок в...

...

#Cpp #64bit

09 Мар 2009

Поиск ошибок явного приведения типа в 64-битных программах

Андрей Карпов

Я неоднократно сталкиваюсь с вопросами в форумах, касающихся поиска некорректного приведения типа при переносе кода на 64-битную платформу. Я решил написать эту небольшую заметку, чтобы потом...

...

02 Мар 2009

Online диагностика ошибок связанных с использованием технологии OpenMP и архитектуры x64

Андрей Карпов

Мне очень нравятся различные анализаторы кода, которые можно попробовать в online варианте, чтобы понять, стоил ли изучать их более подробно. Хорошим примером может служить online вариант...

...