257 search results - page 5 / 52 » The Generalized Deadlock Resolution Problem |
RTDB
1996
13 years 9 months ago
1996
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency fo...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard ta...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
The concept of Statistical Resolution Limit (SRL), which is defined as the minimal separation to resolve two closely spaced signals, is an important tool to quantify performance ...