EMSOFT
2006
Springer
13 years 8 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
13 years 8 months ago
2006
Springer
EMSOFT
2006
Springer
13 years 8 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...
EMSOFT
2006
Springer
13 years 8 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...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
EMSOFT
2006
Springer
13 years 8 months ago
2006
Springer
In NAND flash-based storage systems, an intermediate software layer called a flash translation layer (FTL) is usually employed to hide the erase-before-write characteristics of NA...