Задача знакомства программистов с областью разработки параллельных приложений становится все актуальней. Данная статья является кратким введением в создание многопоточных приложений, основанных...
За период с 2006 по 2008 годы включительно на сайте www.viva64.com опубликовано 37 статей на русском и почти столько же статей на английском языках для разработчиков программ. Это статьи не только...
Статья представляет интервью, взятое у Константина Книжника, сотрудником компании "Системы программной верификации" Андреем Карповым. Затронуты вопросы статического анализа кода, актуальность...
Компания "СиПроВер" сообщает о выпуске первой бета-версии статического анализатора Си/Си++ кода VivaMP. Анализатор VivaMP предназначен для диагностики параллельных ошибок в программных...
В статье рассмотрены принципы, положенные в основу реализации статического анализатора кода VivaMP. Приведенный в статье набор логических условий проверки позволяет диагностировать ряд ошибок...
Тестирование параллельного программного обеспечения представляет собой более сложную задачу по сравнению с тестированием последовательной программы. Программист должен знать о подводных камнях...
Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере...
В статье кратко рассматривается архитектура AMD64 компании AMD и ее реализация EM64T компании Intel. Описаны особенности архитектуры, ее возможности, достоинства и...
