Evaluating the Impact of Hardware Faults on Program Execution in a Microkernel Environment | IEEE Conference Publication | IEEE Xplore