Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
>
>
Андрей Карпов

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

09 Июн 2009
Первые наши практические исследования в области расчета метрик
Андрей Карпов
Не так давно мы начали задумываться над вопросом анализа программного кода не только с точки зрения наличия в нем 64-битных или OpenMP ошибок, но и с точки сложности его адаптации для 64-битных...
...
08 Июн 2009
Что такое "Parallel Lint"?
Андрей Карпов
Статья рассказывает о новом направлении в развитии статических анализаторов кода - верификации параллельных программ. В статье рассказывается о нескольких статических анализаторах, которые...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
27 Май 2009
Использование rand() в параллельных секциях OpenMP
Андрей Карпов
На форуме RSDN я встретил интересную ветку, где описывается специфическая ошибка использования функции rand() в параллельных секциях OpenMP (http://rsdn.org/forum/cpp.applied/3400925.flat). Я...
...
18 Май 2009
Первое впечатление от использования Intel Parallel Inspector
Андрей Карпов
Экспериментировал с Intel Parallel Inspector в режиме диагностики ошибок работы с памятью. Могу сказать, что продукт и то, что он делает, мне крайне понравилось. Особенно понравилась...
...
18 Май 2009
VivaCore, вопросы по документации
Андрей Карпов
К нам уже несколько раз обращались с вопросом, где можно ознакомиться с документацией на библиотеку VivaCore. К сожалению должен сообщить, что на данный момент документация по библиотеке VivaCore...
...
11 Май 2009
64-битный конь, который умеет считать
Андрей Карпов
Статья посвящена особенностям поведения компилятора Visual C++ при генерации 64-битного кода и связанными с этим потенциальными...
...
05 Май 2009
Обзор наших продуктов на сайте известного реселлера "SoftKey"
Андрей Карпов
На сайте одного из крупнейших реселлеров России и СНГ SoftKey вышла статья о наших статических анализаторах Viva64 и...
...
30 Апр 2009
Наша статья в RSDN Magazine
Андрей Карпов
В журнале RSDN Magazine N4 - 2008 вышла статья разработчиков ООО "СиПроВер" "Отладка и оптимизация многопоточных...
...
29 Апр 2009
Изменения выравнивания типов и последствия
Андрей Карпов
При переносе программного обеспечения одной из забот, которая ложится на плечи разработчика является изменение размерности типов и правил их выравнивания. Не так давно мы поддержали в...
...
20 Апр 2009
ООО "СиПроВер" объявляет о выходе новой версии статического анализатора VivaMP 1.10
Андрей Карпов
ООО "СиПроВер" объявляет о выходе новой версии статического анализатора VivaMP 1.10. Инструмент VivaMP предназначен для поиска параллельных ошибок в коде приложений, разработанных на языке Си++...
...
Показать еще Pagination arrow previous
Показано: - из 672
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте, отфильтровано ли письмо в одну из следующих стандартных папок:

  • Промоакции
  • Оповещения
  • Спам