Our website uses cookies to enhance your browsing experience.
Accept
to the top
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

close form
To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam

>
Posts

Posts: articles

Feb 27 2009
OOO "Program Verification Systems" company invites the article writers
Andrey Karpov
OOO "Program Verification Systems" company invites the article writers to visit www.viva64.com site, where they can place their articles related to testing, parallel programming, 64-bit...
...
Feb 23 2009
Peaceful coexistence of PC-Lint and VivaMP
Andrey Karpov
We are asked different questions relating to using PC-Lint, VivaMP and other static analyzers for testing parallel programs, we are asked if these tools are competitors, and there are many...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* By clicking this button you agree to our Privacy Policy statement
Feb 16 2009
Viva64 for optimizing data structures
Andrey Karpov
Finally I've come to implementation of diagnosis in Viva64 analyzer detecting structures with non-optimal arrangement of fields. Absence in VivaCore of support of type calculations for small...
...
Feb 09 2009
Ineffectiveness of last() in the real world
Andrey Karpov
While studying at the institute and learning different data processing algorithms, I already knew that the necessity of using such a function as last() for one-way list can indicate an...
...
Feb 04 2009
Parallel programs to multi-processor computers!
Igor Oreschenkov
The article is an introduction into parallel programs for...
...
Feb 02 2009
Problems of 64-bit code in real programs: FreeBSD
Evgenii Ryzhkov
While telling people about problems and difficulties of developing 64-bit applications I often hear in response: "You just should write programs well and there will be no problems". What only have...
...
Feb 01 2009
OOO "Program Verification Systems" Blog Launch
Evgenii Ryzhkov
We pay much attention to writing and publishing articles here in OOO "Program Verification Systems". On the "Articles" page of out site more than 40 various articles concerning static code...
...
Jan 30 2009
Terminology - a new section at www.viva64.com
Andrey Karpov
A new section "Terminology" has appeared at www.viva64.com. Meanings of basic terms related to the fields of 64-bit development, parallel programming and code analysis are represented...
...
Jan 24 2009
Debugging and optimization of multi-thread OpenMP-programs
Andrey Karpov, Evgeniy Romanovsky
The task of familiarizing programmers with the sphere of developing parallel applications is getting more and more urgent. This article is a brief introduction into creation of...
...
Jan 15 2009
Introduction into 64 bits for the beginners or where's again the 64-bit world?
Evgenii Ryzhkov
There were 64-bit processors, the operational systems, some programs. However completely all users have passed to 64 bits still far not. In article the reasons of it are...
...
View more Pagination arrow previous
Showing: - of 1414