16702 search results - page 213 / 3341 » Server operating systems |
142
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
141
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...
155
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
166
click to vote
ISSRE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
150
click to vote
MOMPES
2009
IEEE
15 years 11 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...