EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
121
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
103
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
While hard disk drives are the most common secondary storage devices, their high power consumption and low shockresistance limit them as an ideal mobile storage solution. On the o...
112
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...