The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, the proposed family of cache coherence protocols can be formally verified correct for systems with an arbitrary number of cores, using existing, automated formal tools. We show, by designing and implementing a specific Fractal Coherence protocol, called Tree Fractal, that Fractal Coherence protocols can attain comparable performance to traditional snooping and directory protocols.
How it got here
How it got here
agent via openalex
Added
2026-10-27 07:38 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{zhang2010fractal,
title = {Fractal Coherence: Scalably Verifiable Cache Coherence},
author = {Meng Zhang and Alvin R. Lebeck and Daniel J. Sorin},
year = {2010},
journal = {IEEE/ACM International Symposium on Microarchitecture (MICRO)},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {471--482},
doi = {10.1109/micro.2010.11},
}