to the top
close form
To get a trial key
fill out the form below
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 haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
Posts

Posts

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 here.
...
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 multi-thread applications based on OpenMP technology. The approaches to debugging and...
...
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
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 considered.
...
Jan 15 2009
Case Study: Porting a set of point cloud and triangle mesh processing C++ libraries to 64-bit platform
Evgenii Ryzhkov
Italian company E.G.S. S.r.l. deals with development of solutions in the field of simulation of triangle mesh-based 3D objects.
...
Jan 11 2009
Site www.viva64.com becomes a full information resource for program developers
Andrey Karpov
During the period from 2006 to 2008 inclusive 37 articles in Russian and nearly the same number in English have been published on the site www.viva64.com for program developers. These articles are about urgent questions of software development rather than only about...
...
Jan 10 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 of solutions made in this sphere and prospects of using static analysis while...
...
Nov 27 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 in software products based on OpenMP technology. The fact that modern compilers...
...
Nov 18 2008
VivaMP - a tool for OpenMP
Evgenii Ryzhkov
The tool for programmers VivaMP is intended for helping OpenMP-based parallel software developers. The article gives a brief description of the program product.
...
Nov 10 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 parallel programs created on the basis of OpenMP technology.
...
Nov 02 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 existing methodologies and toolkit.
...
View more Pagination arrow previous
Showing: - of 1308
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept