Improving the accuracy of data race detection
- 1 April 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 26 (7) , 133-144
- https://doi.org/10.1145/109625.109640
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Race FrontierPublished by Association for Computing Machinery (ACM) ,1991
- A formal model of program dependences and its implications for software testing, debugging, and maintenanceIEEE Transactions on Software Engineering, 1990
- An empirical comparison of monitoring algorithms for access anomaly detectionPublished by Association for Computing Machinery (ACM) ,1990
- A mechanism for efficient debugging of parallel programsPublished by Association for Computing Machinery (ACM) ,1988
- The mutual exclusion problemJournal of the ACM, 1986