Fractal Consistency: Architecting the Memory System to Facilitate Verification

Loading...

Date

2010

Journal Title

Journal ISSN

Volume Title

Repository Usage Stats

286
views
255
downloads

Citation Stats

Attention Stats

Abstract

Department

Description

Provenance

Subjects

Memory Consistency, Multicore, Verification, Validation

Citation

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.

Scholars@Duke

Lebeck

Alvin R. Lebeck

Professor Emeritus of Computer Science

My research interests span atoms to applications, with a foundation centered in computer architecture and systems. I retired from Duke in the fall of 2024 and am enjoying time as a Visiting Researcher at Microsoft 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.