DukeSpace
Fractal consistency: Architecting the memory system to facilitate verification
DukeSpace
Login
DukeSpace Home
→
Duke Faculty Scholarship
→
Duke Faculty Articles
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fractal consistency: Architecting the memory system to facilitate verification
Lebeck, Alvin
;
Meng Zhang
;
Sorin, D.J
URI:
http://hdl.handle.net/10161/3764
Published Version:
doi:10.1109/L-CA.2010.18
Date:
2010
Show full item record
Files in this item
Name:
Lebeck1.pdf
Size:
172.4Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
Duke Faculty Articles
Articles
Search DukeSpace
Search DukeSpace
This Collection
Advanced Search
Browse
All of DukeSpace
Communities & Collections
Authors
Titles
Subjects
Duke-affiliated Authors
Duke Departments
Issue Date
Submit Date
This Collection
Authors
Titles
Subjects
Duke-affiliated Authors
Duke Departments
Issue Date
Submit Date
My Account
Login
Register
Statistics
View Statistics