87 search results - page 2 / 18 » On Optimal Deadlock Detection Scheduling |
ICDCS
1996
IEEE
13 years 9 months ago
1996
IEEE
MEMOCODE
2008
IEEE
13 years 11 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
CORR
2011
Springer
13 years 6 days ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
ICFP
2004
ACM
14 years 5 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
DAC
2008
ACM
14 years 6 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...