Algorithm-based fault tolerance for many-core architectures | IEEE Conference Publication | IEEE Xplore