87 search results - page 18 / 18 » On Optimal Deadlock Detection Scheduling |
ASPLOS
2010
ACM
14 years 5 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
PLDI
2005
ACM
14 years 4 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...