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

http://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 http://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

Computer Systems Engineering with a focus on computer architecture, nano-scale systems, memory system, energy efficient computing, and multiprocessors.

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