648 search results - page 68 / 130 » Hardware support for real-time operating systems |
135
click to vote
SIGMETRICS
1994
ACM
15 years 10 months ago
1994
ACM
In this paper we present results from a six-month empirical study of the high availability aspectsof the CodaFile System. We reporton the servicefailures experienced by Coda clien...
195
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
152
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
VMware ESX Server is a thin software layer designed to multiplex hardware resources efficiently among virtual machines running unmodified commodity operating systems. This paper i...
191
Voted
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
165
Voted
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
MMLite is a modular system architecture that is suitable for a wide variety of hardware and applications. The system provides a selection of object-based components that are dynam...