DukeSpace

Fractal consistency: Architecting the memory system to facilitate verification

DukeSpace

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

Icon
Name: Lebeck1.pdf
Size: 172.4Kb
Format: PDF
View/Open

This item appears in the following Collection(s)