Effectiveness of machine checks for error diagnostics. - Nikhil Pandit; Zbigniew Kalbarczyk; Ravishankar K. Iyer (DSN, 2009)