Fractal Consistency: Architecting the Memory System to Facilitate Verification

Date
2010
Authors
Zhang, M
Lebeck, AR
Sorin, DJ
Repository Usage Stats
278
views
120
downloads
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
More Info
Show full item record

Scholars@Duke

Lebeck

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.
Open Access

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