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

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

Все Статьи Видео Книги Развлечения
Ошибки
C++
C#
Java
Go
JS

Все теги:

#Cpp #64bit
30 Май 2008
Сравнение диагностических возможностей анализаторов при проверке 64-битного кода
Андрей Карпов
В статье производится сравнение специализированного статического анализатора Viva64 со статическими анализаторами общего назначения Parasoft C++test и Gimpel Software PC-Lint. Сравнение производится...
...
#Cpp
20 Май 2008
32 подводных камня OpenMP при программировании на Си++
Алексей Колосов, Андрей Карпов, Евгений Рыжков
С распространением многоядерных систем задача параллельного программирования становится все более и более актуальной. Данная область, однако, является новой даже для большинства опытных...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
15 Май 2008
В ВЦ РАН прошел семинар с участием наших специалистов
Андрей Карпов
В вычислительном центре имени А.А.Дородницына Российской академии наук (ВЦ РАН), расположенном по адресу Москва, ул. Вавилова, 40, прошел семинар, посвященный вопросам статического анализа кода.
...
13 Май 2008
Построение систем автоматического протоколирования Си/Си++ кода
Андрей Карпов
Иногда единственным методом отладки является использование протоколирования событий приложения. К недостаткам протоколирования (логирования) можно отнести большой объем кода, который приходится...
...
20 Апр 2008
VivaCore - быстрый старт
Андрей Карпов, Евгений Рыжков
Документ знакомит разработчиков с библиотекой VivaCore. Дается общая информация о библиотеке VivaCore, области применения, лицензионных соглашениях. Описывается процесс развертывания библиотеки и...
...
#Cpp #64bit
15 Апр 2008
64 бита, /Wp64, Visual Studio 2008, Viva64 и все, все, все...
Андрей Карпов
Данная статья ставит своей задачей ответить на ряд вопросов, касающихся безопасного переноса Си/Си++ кода на 64-битные системы. Статья написана как ответ на часто обсуждаемую в форумах тематику...
...
04 Апр 2008
Преимущества использования Viva64
Андрей Карпов, Евгений Рыжков
Цель данной рекламной статьи - показать преимущества от использования инструмента Viva64 в жизненном цикле разработки программного обеспечения.
...
01 Апр 2008
Выпущена библиотека анализа кода VivaCore 1.0
Андрей Карпов
ООО "СиПроВер" занимаясь исследованиями в области статического анализа и работая над созданием инструмента Viva64, пришла к выводу, что большая часть разработанных структур и алгоритмов может быть...
...
21 Мар 2008
Команда Viva64.com преобразована в компанию "Системы программной верификации"
Андрей Карпов
Сообщаем о том, что команда Viva64.com - создатель анализатора кода Viva64 и библиотеки разбора кода VivaCore - преобразована в Общество с ограниченной ответственностью "Системы программной...
...
16 Фев 2008
Применение технологии статического анализа кода при разработке параллельных программ
Андрей Карпов, Евгений Рыжков
В статье рассматривается вопрос применения статических анализаторов кода в современных процессах разработки параллельных программ. Появившись в 70-80-х годах как дополнение к компиляторам...
...
Показать еще Pagination arrow previous
1
...
161 162 163 164 165
Показано: - из 1649