Главная

Публикации

Статьи: Андрей Карпов

Публикации: Андрей Карпов

Все Статьи Видео Книги Об авторе

Все теги:

#Cpp

#CSharp

#Knowledge

#64bit

#GameDev

#StaticAnalysis

#Release

#Security

#DevOps

#Marketing

#Java

#Compiler

#OS

#GuestArticle

#Embedded

#Broadcasting

09 Фев 2009

Неэффективность last() в реальном мире

Андрей Карпов

Еще учась в институте и изучая различные алгоритмы обработки данных, я узнал, что необходимость использования такой функции как last() для односвязного списка может говорить о неудачном...

...

30 Янв 2009

Терминология – новый раздел на сайте www.viva64.com

Андрей Карпов

На сайте www.viva64.com появился новый раздел "Терминология", в котором представлены значения основных терминов из областей 64-битной разработки, параллельного программирования и анализа...

...

Подписаться на рассылку

Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!

* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности

24 Янв 2009

Отладка и оптимизация многопоточных OpenMP-программ

Андрей Карпов, Евгений Романовский

Задача знакомства программистов с областью разработки параллельных приложений становится все актуальней. Данная статья является кратким введением в создание многопоточных приложений, основанных...

...

11 Янв 2009

Сайт www.viva64.com становится полноценным информационным ресурсом для разработчиков программ

Андрей Карпов

За период с 2006 по 2008 годы включительно на сайте www.viva64.com опубликовано 37 статей на русском и почти столько же статей на английском языках для разработчиков программ. Это статьи не только...

...

#StaticAnalysis

10 Янв 2009

Константин Книжник: статический анализ, взгляд со стороны

Андрей Карпов

Статья представляет интервью, взятое у Константина Книжника, сотрудником компании "Системы программной верификации" Андреем Карповым. Затронуты вопросы статического анализа кода, актуальность...

...

27 Ноя 2008

Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах

Андрей Карпов

Компания "СиПроВер" сообщает о выпуске первой бета-версии статического анализатора Си/Си++ кода VivaMP. Анализатор VivaMP предназначен для диагностики параллельных ошибок в программных...

...

10 Ноя 2008

OpenMP и статический анализ кода

Андрей Карпов, Евгений Рыжков

В статье рассмотрены принципы, положенные в основу реализации статического анализатора кода VivaMP. Приведенный в статье набор логических условий проверки позволяет диагностировать ряд ошибок...

...

02 Ноя 2008

Тестирование параллельных программ

Андрей Карпов

Тестирование параллельного программного обеспечения представляет собой более сложную задачу по сравнению с тестированием последовательной программы. Программист должен знать о подводных камнях...

...

31 Окт 2008

Сразу две наших статьи опубликованы в журнале "Известия ТулГУ. Технические науки", выпуск N3 – 2008

Андрей Карпов

Статья "Применение статического анализа при разработке программ" и статья "Применение технологии статического анализа кода при разработке параллельных программ" вышли в третьем номере...

...

#Release

15 Окт 2008

Вышла новая версия Viva64 2.20

Андрей Карпов

ООО "СиПровер" сообщает о выходе новой версии анализатора кода Viva64...

...