• Привет, Гость!
  • Войти
  • Регистрация
  • Записи
  • Форумы
  • Люди
  • Файлы
  • Работа
  • Технологии
  • Все
  • Новости
  • События
  • Статьи
  • Блоги

ООО "Системы программной верификации"

Привлечение внимания потенциальных клиентов с помощью статей

viva64
21.05.2010 16:36

Многие, кто читал мой предыдущий пост "Получение отклика от потенциальных пользователей" пришли к мнению, что чтобы мы не делали, для привлечения внимания потенциальных клиентов, результат равен нулю. Это не так, внимание есть. Один хороший источник привлечения внимания мы уже нашли. Это статьи и блоги. Но этот источник, остается практически единственным, и именно это нас беспокоит, и мы ищем новые варианты.

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

Подробнее...
viva64
21.05.2010 16:36
Комментариев:2 Просмотров:609
Теги: PVS-Studio

Получение отклика от потенциальных пользователей

viva64
20.05.2010 11:26

Не так просто получить отклик и мнение от потенциального клиента, если ты являешься небольшим стартапом. В случае большой компании, как мне кажется, дело обстоит проще. Можно потратить деньги на маркетинговые исследования. Можно пообщаться с уже имеющими клиентами, которые приобретают хотя и другие, но схожие объекты или услуги. В случае нового стартапа, клиентской базы нет, денег тоже нет. И встает задача с максимальной эффективностью, попытаться пообщаться с теми, кто потенциально может стать клиентом и скорректировать свое развитие, если спрос в чем-то расходится с предложением. Другими словами выявить, что следует поправить и предложить, для привлечения большего интереса.

Расскажу на собственном примере о наших экспериментах.
viva64
20.05.2010 11:26
Комментариев:5 Просмотров:690
Теги: PVS-Studio

Лучшие заметки из нашего блога

viva64
04.05.2010 14:03

В тексте собраны ссылки на лучшие заметки в блоге, который ведут сотрудники компании ООО "Системы программной верификации". Заметки посвящены тематике разработки 64-битных и параллельных OpenMP приложений.

Подробнее...
viva64
04.05.2010 14:03
Комментариев:0 Просмотров:484
Теги: 64 бита; openmp;

Статический анализ Си++ кода и новый стандарт языка C++0x

viva64
01.04.2010 14:59
Андрей Карпов
ООО "Системы программной верификации"
Апрель 2010

Аннотация
Введение
1. auto
2. decltype
3. Ссылка на временный объект (R-value reference)
4. Правые угловые скобки
5. Лямбда-функции (Lambdas)
6. Suffix return type syntax
7. static_assert
8. nullptr
9. Новые стандартные классы
10. Новые направления в развитии статических анализаторов кода
Заключение
Библиографический список

Аннотация

В статье рассмотрены новые возможности языка Си++, описанные в стандарте C++0x и поддержанные в Visual Studio 2010. На примере PVS-Studio рассмотрено, как изменения языка отразятся на инструментах статического анализа кода.

Подробнее...
viva64
01.04.2010 14:59
Комментариев:0 Просмотров:1774
Теги: c++; c++0x; PVS-Studio

Как стандарт C++0x поможет в борьбе с 64-битными ошибками

viva64
02.03.2010 16:16

Программисты видят в стандарте C++0x возможность использовать лямбда-функции и прочие мало понятные для меня сущности :). Я увидел в нем удобные средства, позволяющие исключить многие 64-битные ошибки.

Подробнее...
viva64
02.03.2010 16:16
Комментариев:0 Просмотров:589
Теги: 64 бита

Intel(R) C++ Compiler и сборка Boost

viva64
15.02.2010 15:47

На днях мы захотели протестировать работу Intel(R) C++ Compiler для сборки нашего анализатора кода PVS-Studio. Наш анализатор активно использует Boost, поэтому, прежде всего, необходимо было пересобрать его с помощью Intel(R) C++ Compiler. У нас это не получилось, зато получился этот пост. Может быть, кто-то подскажет, как же все-таки собрать Boost с помощью Intel(R) C++ Compiler?

Подробнее...
viva64
15.02.2010 15:47
Комментариев:1 Просмотров:831
Теги: PVS-Studio, Boost, Intel Parallel Studio

Ключ /Wp64 и ошибка с обработкой шаблонов

viva64
05.02.2010 16:53

Занимаясь продвижением анализатора Viva64 (из состава PVS-Studio) мы часто комментируем ключ /Wp64 из Microsoft Visual C++. Кто не в курсе, напомню, что этот ключ появился в Visual Studio 2003 и предназначался для подготовки миграции приложений на 64-битные системы. В Visual Studio 2008 ключ /Wp64 считается устаревшим, поскольку надо уже давно компилировать 64-битные приложения, а не готовиться к этому. То есть компиляция в 64-битном режиме выявляет все те же самые ошибки и недостатки кода, что выявлял ключ /Wp64 при сборке 32-битного приложения. Причем при компиляции 64-битного кода это делается гораздо более полно и точно.

Но помимо сказанного, у ключа /Wp64 есть еще один недостаток, который путает программистов, которые не знакомы с ним. Это касается проблемы разбора кода, содержащего некоторые шаблоны. Рассмотрим пример.

Подробнее...

Евгений Рыжков

viva64
05.02.2010 16:53
Комментариев:0 Просмотров:627
Теги: 64 бита, PVS-Studio

Курс "Уроки разработки 64-битных приложений на языке Си/Си++"

viva64
02.02.2010 12:12
На сайте www.viva64.com выложен курс "Уроки разработки 64-битных приложений на языке Си/Си++" на русском языке. Авторами курса являются: к.ф.-м.н. Карпов Андрей Николаевич и к.т.н. Рыжков Евгений Александрович. Авторы занимаются вопросами обеспечения качества 64-битных приложений и участвуют в разработке статического анализатора кода PVS-Studio для верификации кода ресурсоемких приложений. Под катом - полное описание курса и ссылка на уроки. А поскольку я являюсь одним из авторов, в комментариях к посту можно пообщаться :-).
Подробнее...
viva64
02.02.2010 12:12
Комментариев:8 Просмотров:1409
Теги: 64 бита

Visual Studio Team System, /analyze и D9040

viva64
20.01.2010 12:07

В версиях Visual Studio Team System (в отличие от "обычных" редакций Visual Studio) в компиляторе C++ есть ключ командной строки /analyze. Этот ключ позволяет запустить модуль статического анализа, встроенный в Team System для поиска в коде некоторых ошибок.

Подробнее...
viva64
20.01.2010 12:07
Комментариев:0 Просмотров:569
Теги: 64 бита

Проблемы 64-битного кода в реальных программах: qsort

viva64
13.01.2010 10:23

Продолжаем цикл рассказов о 64-битных ошибках, обнаруживаемых в реальных приложениях. Время идет, потребности в потребляемой памяти растут и пришел момент, когда кто-то решил отсортировать массив, состоящий более чем из 2^31 элементов. Для этого он решил воспользоваться функцией qsort, реализованной OpenBSD 4.5. Результатом стало обнаружение новой 64-битной ошибки.

Подробнее...
viva64
13.01.2010 10:23
Комментариев:0 Просмотров:658
Теги: 64 бита
Страницы: ← предыдущая следующая → 
1 2 3 4

ООО "Системы программной верификации"

viva64 Создание и продажа инструментов для анализа кода C/C++ приложений
блог про статический анализ кода, разработку 64-битных и параллельных программ
  • Блог

Облако тегов

64 бита 64 бита; openmp; boost c++; c++0x; pvs-studio intel parallel studio linux malloc microsoft openmp other programming pvs-studio статический анализ

Записи

Популярные
  • sashaeve > Интересные возможности C# и ASP.NET
  • trukhinyuri > О чтении технической литературы в pdf на английском
  • snoralip > Обработка структурированн­ого текста с помощью регулярных выражений
  • Dmitryk > Парадигма генерации и обработки исключений
  • snoralip > Применение хеш-функций, SHA1, GetHashCode, HashSet и Dictionary
  • mvcdev > Говорящий PowerShell скрипт
  • SergeyT. > [Перевод] Джозеф Албахари. Работа с потоками в C#. Часть 3
  • mbakirov > I am back.
  • sergun > Что вы думаете о качестве кода в Visual Studio или летний розыгрыш Visual Studio 2010 с подпиской MSDN
  • GotDotNet.Ru > Visual C#. NET. Полное руководство
Все популярные записи
Обсуждаемые
  • mbakirov > I am back.
  • trukhinyuri > О чтении технической литературы в pdf на английском
  • NetGuru > Определение имени текущего пользователя SharePoint
  • snoralip > Применение хеш-функций, SHA1, GetHashCode, HashSet и Dictionary
  • NetGuru > Строка подключения к БД.
  • Dmitryk > Парадигма генерации и обработки исключений
  • Soldata > Преобразование даты в строку типа "вчера; сегодня; завтра" с помощью метода расширения
  • NetGuru > Extension methods – «методы-расшири­тели»:
  • trukhinyuri > Группы в Windows Live Messenger
  • NetGuru > Блок RunWithElevated­Privileges
Все обсуждаемые записи

Блоги

Новые
  • Regfor> Роман Калита – Блог
  • NetGuru> Kurakin Vit's Blog
  • Andrey> Андрей Веселов
  • danverPD> podzyubanBlogs
  • Stanislav Gornakov> Stanislav Gornakov
  • k0stya> k0stya
  • ][tiger> Just do IT - просто дует
  • Oxozle> KLUBS
  • mvcdev> WebDev
  • VitaliyP> PanarinV
Обсуждаемые
  • mihailik> Олег Михайлик
  • ceo> Нотатник Вiктора Шатохiна [MSFT]
  • gaidar> Gaidar Magdanurov
  • MikhailChernomo­rdikov> Mikhail Chernomordikov [MSFT]
  • Alexander Lozhechkin [MSFT]> Alexander Lozhechkin
  • agladkik> Andrey Gladkikh: Microsoft Dynamics
  • sergun> Sergey Zwezdin
  • beerbong> Bong Blog
  • sos> Dmitry Soshnikov [MSFT]
  • not-a-kernel-gu­y> Зеркало: Not a kernel guy
О сайте   Свяжитесь с нами   Версия для печати
Работает на 1С-Битрикс: Управление сайтом ASP.NET  |  Хостинг на Parking.Ru