Asserting and Checking Determinism for Multithreaded Programs.

Saved in:
Bibliographic Details
Title: Asserting and Checking Determinism for Multithreaded Programs.
Authors: Burnim, Jacob, Sen, Koushik
Source: Communications of the ACM; June 2010, Vol. 53 Issue 6, p97-105, 9p
Database: Applied Science & Technology Source
Description
ISSN:00010782
DOI:10.1145/1743546.1743572