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

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
Публикации

Публикации

20 Май 2008
32 подводных камня OpenMP при программировании на Си++
Алексей Колосов, Андрей Карпов, Евгений Рыжков
С распространением многоядерных систем задача параллельного программирования становится все более и более актуальной. Данная область, однако, является новой даже для большинства...
...
15 Май 2008
В ВЦ РАН прошел семинар с участием наших специалистов
Андрей Карпов
В вычислительном центре имени А.А.Дородницына Российской академии наук (ВЦ РАН), расположенном по адресу Москва, ул. Вавилова, 40, прошел семинар, посвященный вопросам статического анализа...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности
13 Май 2008
Построение систем автоматического протоколирования Си/Си++ кода
Андрей Карпов
Иногда единственным методом отладки является использование протоколирования событий приложения. К недостаткам протоколирования (логирования) можно отнести большой объем кода, который...
...
20 Апр 2008
VivaCore - быстрый старт
Андрей Карпов, Евгений Рыжков
Документ знакомит разработчиков с библиотекой VivaCore. Дается общая информация о библиотеке VivaCore, области применения, лицензионных соглашениях. Описывается процесс развертывания библиотеки...
...
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-х годах как дополнение к...
...
10 Фев 2008
Разработка ресурсоемких приложений в среде Visual C++
Андрей Карпов, Евгений Рыжков
Статья познакомит разработчиков прикладного программного обеспечения с задачами, которые ставит перед ними массовое внедрение многоядерных 64-битных вычислительных систем, знаменующих...
...
Показать еще Pagination arrow previous
Показано: - из 1508