Compiler-assisted synthesis of algorithm-based checking in multiprocessors | IEEE Journals & Magazine | IEEE Xplore