Fractal Coherence: Scalably Verifiable Cache Coherence.

Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin

Browse the full MICRO paper archive.