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 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.

>
>
OOO "Program Verification Systems&…

OOO "Program Verification Systems" at "Parallel Computing technologies 2009" Conference

Apr 06 2009
Author:

On April, 1, in Nizhegorodsky State University in the context of the conference "Parallel Computing technologies '2009" a Program verification Systems employee Alexey Kolosov spoke out with a report on the following topic: "VivaMP, a system of errors diagnostics in C/C++ parallel programs which use OpenMP".

n0024_news/image1.png

The problems of parallel programming in C/C++ language with the usage of OpenMP2.0 standard were denoted; in particular, examples of incorrect code which lead to a state of race were considered. The existing diagnostic tools of similar errors were touched upon in the report (with the description of all the qualities and shortages), as well as the developed by "Program Verification Systems" VivaMP code analyzer. The report provoked a vivid reaction of the audience who asked many questions, even after the end of the section work.

In the speaker's opinion, his speech was accepted with great scientific interest.

The subject matter of the conference covers the following areas:

  • Models, methods and technologies of applying high performance and distributed calculations for scientific and technical problems solving.
  • Theory and practice of computational hydro- and gas dynamics problems solving on super computers and in distributed computing environment.
  • Super computers technologies application for highly non linear and swift-flowing processes analysis in problems on solid and fluid bodies mechanics.
  • Super computer modeling of complex building structures and constructions conduct.
  • High performance calculations in bioengineering and bioinformatics.
  • High performance calculations and nanotechnologies, new materials and medicines designing.
  • Construction technologies and experience of using GRID-systems and services for scientific and technical problems solving.
Popular related articles


Comments (0)

Next comments next comments
close comment form