2030 search results - page 104 / 406 » The Need for Customizable Operating Systems |
333
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
233
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In peer-to-peer based live streaming systems, a great number of participants have to cooperate to efficiently and reliably distribute a continuous flow of data. Each rec...
227
click to vote
SEUS
2009
IEEE
16 years 2 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
211
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
191
click to vote
DSN
2002
IEEE
16 years 11 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...