Fractal Consistency: Architecting the Memory System to Facilitate Verification

Loading...

Date

2010

Journal Title

Journal ISSN

Volume Title

Repository Usage Stats

293
views
269
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

Alvin R. Lebeck is Professor Emeritus of Computer Science at Duke University. His work included research in computer systems and architecture, interdisciplinary collaboration including nanotechnology, teaching and mentoring students, and entrepreneurial activity. He retired from Duke in Fall 2024 and is no longer advising students. For a personal overview, visit www.cs.duke.edu/~alvy and senanis.com.

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.