A fault-tolerant directory-based cache coherence protocol for CMP architectures | IEEE Conference Publication | IEEE Xplore