648 search results - page 68 / 130 » Hardware support for real-time operating systems |
SIGMETRICS
1994
ACM
15 years 4 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...
123
click to vote
ATVA
2008
Springer
15 years 1 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...
86
Voted
OSDI
2002
ACM
16 years 5 days 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...
123
click to vote
EMSOFT
2011
Springer
13 years 11 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...
105
click to vote
SIGOPSE
1998
ACM
15 years 4 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...