Login / Signup
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms.
Michel Banâtre
Gilles Muller
Pack Heng
Bruno Rochat
Published in:
USENIX MACH Symposium (1991)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
load balancing
knowledge based systems
high availability
high assurance
support vector
kernel methods
safety critical
digital libraries
design process
kernel function
model checking
fault isolation