Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

SAS
2010
Springer

favoriteEmaildiscussreport

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

13 years 2 months ago

Automatic Verification of Determinism for Structured Parallel Programs

Download www.cs.rice.edu

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive

Real-time Traffic

Formal Methods | SAS 2010 |

claim paper

Related Content

» DETERMIN inferring likely deterministic specifications of multithreaded programs

» SPCXML A Structured Representation for NestedParallel Programming Languages

» Asserting and checking determinism for multithreaded programs

» Commutativity Analysis A Technique for Automatically Parallelizing PointerBased Computatio...

» Global optimization techniques for automatic parallelization of hybrid applications

» Molecular structure determination on a computational and data Grid

» Game Quantification on Automatic Structures and Hierarchical Model Checking Games

» On the Automatic Validation of Parameterized Unity Programs

» Toward Automatic Data Distribution for Migrating Computations

Post Info
More Details (n/a)

Added	30 Jan 2011
Updated	30 Jan 2011
Type	Journal
Year	2010
Where	SAS
Authors	Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar

Comments (0)