В статье рассмотрены принципы, положенные в основу реализации статического анализатора кода VivaMP. Приведенный в статье набор логических условий проверки позволяет диагностировать ряд ошибок...
Тестирование параллельного программного обеспечения представляет собой более сложную задачу по сравнению с тестированием последовательной программы. Программист должен знать о подводных камнях...
Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере...
В статье кратко рассматривается архитектура AMD64 компании AMD и ее реализация EM64T компании Intel. Описаны особенности архитектуры, ее возможности, достоинства и...
ООО "СиПроВер" заключило партнерское соглашение с компанией Avangate (www.avangate.com), предоставляющей сервис для продажи программ в Интернете. Головной офис компании Avangate находится...
ООО "СиПровер" сообщает о выходе новой версии анализатора кода Viva64 2.10. Основным нововведением данной версии является поддержка Visual Studio 2008 Service Pack...
ООО "СиПроВер" закончило проверку кода программных продуктов семейства LEIOS итальянской компании E.G.S. s.r.l.. Целью работ была проверка кода на предмет его совместимости с 64-битными...
Статья сотрудников ООО "СиПроВер", посвященная особенностям разработки параллельных приложений с применением технологии OpenMP, опубликована в журнале RSDN Magazine #2...