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

Вебинар: Стратегия без иллюзий: как превращать цели в результаты - 19.08

>
Публикации

Публикации

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-битных вычислительных систем, знаменующих...
...
31 Янв 2008
Применение статического анализа при разработке программ
Алексей Колосов
Статический анализ - это способ проверки исходного кода программы на корректность. Процесс статического анализа состоит из трех этапов. Сначала анализируемый код разбивается на лексемы ...
...
21 Янв 2008
Введение в проблематику разработки параллельных программ
Андрей Карпов
В связи с тем, что разработка параллельного программного обеспечения на сегодняшний день представляется достаточно сложной задачей, крайнюю актуальность приобретают вопросы теоретической...
...
12 Янв 2008
Использование библиотеки анализа кода OpenC++: модификация, улучшение, исправление ошибок
Андрей Карпов
Данная статья представляет интерес для разработчиков, использующих или планирующих использовать библиотеку OpenC++ (OpenCxx). Автор рассказывает о своем опыте улучшения библиотеки OpenC++...
...
Показать еще Pagination arrow previous
Показано: - из 1915

Ты поймал бага за сек!
А мы в коде ловим их за доли секунды. Хочешь проверить?

Попробовать бесплатно