Fractal Consistency: Architecting the Memory System to Facilitate Verification

Thumbnail Image
View / Download172.41 KB

Date

2010

Authors

Journal Title

Journal ISSN

Volume Title

Repository Usage Stats

279
views
222
downloads

Citation Stats

Abstract

Type

Journal article

Department

Description

Provenance

Subjects

Memory Consistency, Multicore, Verification, Validation

Citation

Permalink

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

Published Version (Please cite this version)

10.1109/L-CA.2010.18

Publication Info

Zhang, M, A Lebeck and D Sorin (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
Full item page

Scholars@Duke

Lebeck

Alvin R. Lebeck

Professor Emeritus of Computer Science

My interests span atoms to applications, with a foundation centered in computer architecture and systems. I enjoy a combination of interdisciplinary and conventional research.

Sorin

Daniel J. Sorin

Professor of Electrical and Computer Engineering

Dr. Daniel Sorin is a professor of Electrical and Computer Engineering at Duke University. His research interests are primarily in computer architecture and dependability.

Unless otherwise indicated, scholarly articles published by Duke faculty members are made available here with a CC-BY-NC (Creative Commons Attribution Non-Commercial) license, as enabled by the Duke Open Access Policy. If you wish to use the materials in ways not already permitted under CC-BY-NC, please consult the copyright owner. Other materials are made available here through the author’s grant of a non-exclusive license to make their work openly accessible.