Effectiveness of machine checks for error diagnostics | IEEE Conference Publication | IEEE Xplore