Our website uses cookies to enhance your browsing experience.
Accept
to the top
Home
>
Posts

Posts: articles

All Articles Video Books Entertainment
Errors
C++ C# Java

All tags:

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...
...
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...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
#StaticAnalysis
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...
...
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...
...
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...
...
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...
...
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...
...
Oct 31 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
Oct 15 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
Oct 12 2008
Optimization of 64-bit programs
Andrey Karpov
Some means of 64-bit Windows applications performance increase are considered in the...
...
View more Pagination arrow previous
1
...
145 146 147 148 149
...
152
Showing: - of 1514