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

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

16 Июл 2008
Статья "Подходы к верификации и тестированию 64-битных приложений" напечатана в "Информационные технологии" #7' 2008
Андрей Карпов
Статья сотрудников ООО "СиПроВер", посвященная особенностям разработки 64-битных приложений, опубликована в журнале "Информационные технологии" #7...
...
10 Июл 2008
Выпущена новая версия анализатора кода Viva64 2.0
Андрей Карпов
ООО "СиПроВер" сообщает о выпуске новой версии анализатора кода Viva64 2.0. Программный продукт Viva64 - это статический анализатор Си и Си++ кода. Viva64 позволяет выявлять некорректные...
...
Подписаться на рассылку
Хотите раз в месяц получать от нас подборку вышедших в этот период самых интересных статей и новостей? Подписывайтесь!
05 Июл 2008
Это сложно
Андрей Карпов
В статье рассматривается проблема превышения сроков создания программ, как результат самообмана, что программирование это просто, и даже еще...
...
02 Июл 2008
Описание VivaVisualCode
Андрей Карпов, Евгений Рыжков
В данной статье рассмотрена программа VivaVisualCode, демонстрирующая использование библиотеки VivaCore. Программа VivaVisualCode графически отображает дерево разбора для вводимого исходного кода...
...
01 Июл 2008
ООО "СиПроВер" теперь находится в новом офисе!
Андрей Карпов
ООО "СиПроВер" теперь находится в новом...
...
07 Июн 2008
В ИСП РАН прошел семинар с участием наших специалистов
Андрей Карпов
В институте системного программирования Российской академии наук, расположенном по адресу г. Москва, ул. Б. Коммунистическая, 25, прошел семинар, посвященный вопросам разработки 64-битных...
...
30 Май 2008
Сравнение диагностических возможностей анализаторов при проверке 64-битного кода
Андрей Карпов
В статье производится сравнение специализированного статического анализатора Viva64 со статическими анализаторами общего назначения Parasoft C++test и Gimpel Software PC-Lint. Сравнение...
...
20 Май 2008
32 подводных камня OpenMP при программировании на Си++
Алексей Колосов, Андрей Карпов, Евгений Рыжков
С распространением многоядерных систем задача параллельного программирования становится все более и более актуальной. Данная область, однако, является новой даже для большинства...
...
15 Май 2008
В ВЦ РАН прошел семинар с участием наших специалистов
Андрей Карпов
В вычислительном центре имени А.А.Дородницына Российской академии наук (ВЦ РАН), расположенном по адресу Москва, ул. Вавилова, 40, прошел семинар, посвященный вопросам статического анализа...
...
13 Май 2008
Построение систем автоматического протоколирования Си/Си++ кода
Андрей Карпов
Иногда единственным методом отладки является использование протоколирования событий приложения. К недостаткам протоколирования (логирования) можно отнести большой объем кода, который...
...
Показать еще Pagination arrow previous
Показано: - из 1605