Search
Now showing items 1-4 of 4
On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions
(University of Wisconsin-Madison Department of Computer Sciences, 1990)
Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1992)
Improving the Accuracy of Data Race Detection
(University of Wisconsin-Madison Department of Computer Sciences, 1991)
What are Race Conditions? Some Issues and Formalizations
(University of Wisconsin-Madison Department of Computer Sciences, 1991)