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

Публикации: статьи

23 Мар 2009
Семинар в НИВЦ МГУ
Андрей Карпов
23 марта в Научно-исследовательском вычислительном центре МГУ состоялся семинар с участием генерального директора ООО "СиПроВер" Евгения Рыжкова на тему "Статический анализ кода для автоматического...
...
16 Мар 2009
OpenMP и исключения (exceptions)
Андрей Карпов
Мы продолжаем развивать наш статический анализатор VivaMP, и на этот раз хочется рассказать о диагностике ошибок, связанных с использованием исключений (exception) языка Си++ в параллельных регионах...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
10 Мар 2009
Вышла финальная версия анализатора кода VivaMP 1.00, предназначенного для разработчиков OpenMP программ
Андрей Карпов
Компания ООО "СиПроВер" сообщает о выпуске финальной версии статического анализатора Си/Си++ кода VivaMP 1.00. Анализатор VivaMP предназначен для диагностики параллельных ошибок в программных...
...
09 Мар 2009
Поиск ошибок явного приведения типа в 64-битных программах
Андрей Карпов
Я неоднократно сталкиваюсь с вопросами в форумах, касающихся поиска некорректного приведения типа при переносе кода на 64-битную платформу. Я решил написать эту небольшую заметку, чтобы потом иметь...
...
02 Мар 2009
Online диагностика ошибок связанных с использованием технологии OpenMP и архитектуры x64
Андрей Карпов
Мне очень нравятся различные анализаторы кода, которые можно попробовать в online варианте, чтобы понять, стоил ли изучать их более подробно. Хорошим примером может служить online вариант анализатора...
...
27 Фев 2009
Компания ООО "СиПроВер" приглашает авторов статей
Андрей Карпов
Компания ООО "СиПроВер" приглашает авторов на сайт www.viva64.com, где они могут разместить свои статьи по тематике тестирования, параллельного программирования, разработке 64-битных приложений и...
...
23 Фев 2009
Мирное сосуществование PC-Lint и VivaMP
Андрей Карпов
Нам задают различные вопросы, связанные с использованием PC-Lint, VivaMP и других статических анализаторов для проверки параллельных программ, спрашивают, являются ли они конкурентами и задают другие...
...
16 Фев 2009
Viva64 для оптимизации структур данных
Андрей Карпов
Наконец добрался до реализации диагностики в анализаторе Viva64, выявляющей структуры с неоптимальным расположением полей. До этого сдерживало отсутствие в библиотеке VivaCore поддержки вычисления...
...
09 Фев 2009
Неэффективность last() в реальном мире
Андрей Карпов
Еще учась в институте и изучая различные алгоритмы обработки данных, я узнал, что необходимость использования такой функции как last() для односвязного списка может говорить о неудачном выборе...
...
04 Фев 2009
Многопроцессорным компьютерам - параллельные программы!
Игорь Орещенков
Статья представляет собой введение в параллельные программы для начинающих.
...
Показать еще Pagination arrow previous
Показано: - из 1649