Fractal Consistency: Architecting the Memory System to Facilitate Verification

Zhang, M; Lebeck, AR; Sorin, DJ

doi:10.1109/L-CA.2010.18

Type

Journal article

Subject

Memory Consistency
Multicore
Verification
Validation

Permalink

https://hdl.handle.net/10161/3764

Published Version (Please cite this version)

10.1109/L-CA.2010.18

Publication Info

Zhang, M; Lebeck, AR; & Sorin, DJ (2010). Fractal Consistency: Architecting the Memory System to Facilitate Verification. IEEE COMPUTER ARCHITECTURE LETTERS, 9(2). pp. 61-64. 10.1109/L-CA.2010.18. Retrieved from https://hdl.handle.net/10161/3764.

This is constructed from limited available data and may be imprecise. To cite this article, please review & use the official citation provided by the journal.

Collections

Scholarly Articles

More Info

Show full item record

Scholars@Duke

Alvin R. Lebeck

Professor of Computer Science

My research is in the general area of computer architecture. However, I have interests in nearly all computer systems related topics, spanning from atoms to applications.

Articles written by Duke faculty are made available through the campus open access policy. For more information see: Duke Open Access Policy

Rights for Collection: Scholarly Articles