7 search results - page 2 / 2 » Run-time detection of potential deadlocks for programs with ... |
SPIN
2000
Springer
13 years 9 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
PPOPP
2006
ACM
14 years 6 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...