Unicorn with delicious cookie
Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter
to the top
Accueil
>
Posts
>
Andrey Karpov

Posts: Andrey Karpov

All Articles Books About the author
#StaticAnalysis
10 Jan 2009
Konstantin Knizhnik: static analysis, a view from aside
Andrey Karpov
The article is an interview with Konstantin Knizhnik taken by Andrey Karpov, "Program Verification Systems" company's worker. In this interview the issues of static code analysis, relevance...
...
27 Nov 2008
Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released
Andrey Karpov
OOO "Program Verification Systems" Company informs you that the first beta-version of static C/C++ code analyzer VivaMP has been released. VivaMP is meant for diagnostics of parallel errors...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité
10 Nov 2008
OpenMP and static code analysis
Andrey Karpov, Evgenii Ryzhkov
The article describes principles on which implementation of the static code analyzer VivaMP is based. The described set of testing logical conditions allows you to diagnose some errors in...
...
02 Nov 2008
Testing parallel programs
Andrey Karpov
Testing parallel software is a more complicated task in comparison to testing a standard program. The programmer should be aware both of the traps he can face while testing parallel code and...
...
31 Oct 2008
Our two articles are published in the magazine "Izvestiya TulGU. Tehnicheskie Nauki", issue N3 - 2008
Andrey Karpov
The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of...
...
#Release
15 Oct 2008
Viva64 2.20 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64...
...
#Cpp #64bit
12 Oct 2008
Optimization of 64-bit programs
Andrey Karpov
Some means of 64-bit Windows applications performance increase are considered in the...
...
#64bit
02 Oct 2008
AMD64 (EM64T) architecture
Andrey Karpov, Evgenii Ryzhkov
The article briefly describes AMD64 architecture by AMD Company and its implementation EM64T by Intel Company. The architecture's peculiarities, advantages and disadvantages are...
...
08 Sep 2008
Our new reseller is Avangate
Andrey Karpov
OOO "Program Verification Systems" has concluded a partner agreement with Avangate company (www.avangate.com) which provides services for Internet sales of programs. The headquarters of...
...
#Release
05 Sep 2008
Viva64 2.10 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64 2.10. Main feature of this version it's a support of Visual Studio 2008 Service Pack...
...
View more Pagination arrow previous
1
...
59 60 61 62 63
...
65
Showing: 601-610 of 643
close form

Remplissez le formulaire ci‑dessous en 2 étapes simples :

Vos coordonnées :

Étape 1
Félicitations ! Voici votre code promo !

Type de licence souhaité :

Étape 2
Team license
Enterprise licence
* Différence entre Team et Entreprise
Vous n'avez pas reçu d'email ?
** En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité
close form
Demandez des tarifs
Pourquoi demandons-nous l'email d'entreprise ?
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
La licence PVS‑Studio gratuit pour les spécialistes Microsoft MVP
Pourquoi nous demandons un email d'entreprise ?
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
Pour obtenir la licence de votre projet open source, s’il vous plait rempliez ce formulaire
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
I want to join the test
Pourquoi nous demandons un email d'entreprise ?
Vous n'avez pas reçu d'email ?
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
check circle
Votre message a été envoyé.

Nous vous répondrons à


Si l'e-mail n'apparaît pas dans votre boîte de réception, recherchez-le dans l'un des dossiers suivants:

  • Promotion
  • Notifications
  • Spam