Fractal Consistency: Architecting the Memory System to Facilitate Verification

Zhang, M ; Lebeck, AR ; Sorin, DJ
2010
Download Full Text
 

Citation:

IEEE COMPUTER ARCHITECTURE LETTERS, 2010, 9 (2), pp. 61 - 64
Citable Link to This Page: http://hdl.handle.net/10161/3764

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)