87 search results - page 3 / 18 » On Optimal Deadlock Detection Scheduling |
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
ASPLOS
2010
ACM
14 years 15 days ago
2010
ACM
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
IPSN
2005
Springer
13 years 11 months ago
2005
Springer
— Lifetime maximization is one key element in the design of sensor-network-based surveillance applications. We propose a protocol for node sleep scheduling that guarantees a boun...
INFOCOM
2008
IEEE
14 years 1 days ago
2008
IEEE
ECOOP
2004
Springer
13 years 11 months ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...