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

Публикации

Все Статьи Видео Книги Развлечения
Ошибки
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
Разработка статического анализатора кода для обнаружения ошибок переноса программ на 64-битные системы
Евгений Рыжков
В статье рассмотрена задача разработки программного инструмента под названием статический анализатор. Разрабатываемый инструмент используется для диагностики потенциально опасных синтаксических...
...
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 вариант анализатора...
...
Показать еще Pagination arrow previous
1
...
187 188 189 190 191
...
196
Показано: - из 1954