Главная

Публикации

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

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

27 Ноя 2008

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

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

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

...

10 Ноя 2008

OpenMP и статический анализ кода

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

В статье рассмотрены принципы, положенные в основу реализации статического анализатора кода VivaMP. Приведенный в статье набор логических условий проверки позволяет диагностировать ряд ошибок...

...

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

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

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

02 Ноя 2008

Тестирование параллельных программ

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

Тестирование параллельного программного обеспечения представляет собой более сложную задачу по сравнению с тестированием последовательной программы. Программист должен знать о подводных камнях...

...

31 Окт 2008

Сразу две наших статьи опубликованы в журнале "Известия ТулГУ. Технические науки", выпуск N3 – 2008

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

Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере...

...

#Release

15 Окт 2008

Вышла новая версия Viva64 2.20

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

ООО "СиПровер" сообщает о выходе новой версии анализатора кода Viva64...

...

#Cpp #64bit

12 Окт 2008

Оптимизация 64-битных программ

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

В статье рассмотрен ряд способов повышения производительности 64-битных Windows...

...

#64bit

02 Окт 2008

Архитектура AMD64 (EM64T)

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

В статье кратко рассматривается архитектура AMD64 компании AMD и ее реализация EM64T компании Intel. Описаны особенности архитектуры, ее возможности, достоинства и...

...

08 Сен 2008

Наш новый реселлер - Avangate

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

ООО "СиПроВер" заключило партнерское соглашение с компанией Avangate (www.avangate.com), предоставляющей сервис для продажи программ в Интернете. Головной офис компании Avangate находится...

...

#Release

05 Сен 2008

Вышла новая версия Viva64 2.10

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

ООО "СиПровер" сообщает о выходе новой версии анализатора кода Viva64 2.10. Основным нововведением данной версии является поддержка Visual Studio 2008 Service Pack...

...

01 Сен 2008

ООО "СиПроВер" и E.G.S. s.r.l. заявили о завершении работ по подготовке 64-битной версии решений LEIOS

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

ООО "СиПроВер" закончило проверку кода программных продуктов семейства LEIOS итальянской компании E.G.S. s.r.l.. Целью работ была проверка кода на предмет его совместимости с 64-битными...

...