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

Публикации

Все Статьи Видео Книги Развлечения
Ошибки
15 Янв 2009
Изучение проблемы: перенос Си++ библиотек для работы с облаками точек итриангулированными сетками на 64-битную платформу
Евгений Рыжков
Итальянская компания E.G.S. S.r.l. занимается разработкой решений в области моделирования трехмерных объектов на базе триангулированных сеток.
...
11 Янв 2009
Сайт www.viva64.com становится полноценным информационным ресурсом для разработчиков программ
Андрей Карпов
За период с 2006 по 2008 годы включительно на сайте www.viva64.com опубликовано 37 статей на русском и почти столько же статей на английском языках для разработчиков программ. Это статьи не только и...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
#StaticAnalysis
10 Янв 2009
Константин Книжник: статический анализ, взгляд со стороны
Андрей Карпов
Статья представляет интервью, взятое у Константина Книжника, сотрудником компании "Системы программной верификации" Андреем Карповым. Затронуты вопросы статического анализа кода, актуальность решений...
...
27 Ноя 2008
Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах
Андрей Карпов
Компания "СиПроВер" сообщает о выпуске первой бета-версии статического анализатора Си/Си++ кода VivaMP. Анализатор VivaMP предназначен для диагностики параллельных ошибок в программных продуктах...
...
18 Ноя 2008
VivaMP - инструмент для OpenMP
Евгений Рыжков
Инструмент для программистов VivaMP предназначен для помощи разработчикам параллельных программ на базе OpenMP. В статье приведен краткий обзор программного продукта.
...
10 Ноя 2008
OpenMP и статический анализ кода
Андрей Карпов, Евгений Рыжков
В статье рассмотрены принципы, положенные в основу реализации статического анализатора кода VivaMP. Приведенный в статье набор логических условий проверки позволяет диагностировать ряд ошибок в...
...
02 Ноя 2008
Тестирование параллельных программ
Андрей Карпов
Тестирование параллельного программного обеспечения представляет собой более сложную задачу по сравнению с тестированием последовательной программы. Программист должен знать о подводных камнях при...
...
31 Окт 2008
Сразу две наших статьи опубликованы в журнале "Известия ТулГУ. Технические науки", выпуск N3 – 2008
Андрей Карпов
Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере журнала...
...
#Release
15 Окт 2008
Вышла новая версия Viva64 2.20
Андрей Карпов
ООО "СиПровер" сообщает о выходе новой версии анализатора кода Viva64 2.20.
...
#Cpp #64bit
12 Окт 2008
Оптимизация 64-битных программ
Андрей Карпов
В статье рассмотрен ряд способов повышения производительности 64-битных Windows приложений.
...
Показать еще Pagination arrow previous
1
...
189 190 191 192 193
...
196
Показано: - из 1954