Fractal Consistency: Architecting the Memory System to Facilitate Verification

dc.contributor.author	Zhang, M
dc.contributor.author	Lebeck, A
dc.contributor.author	Sorin, D
dc.date.accessioned	2011-05-18T01:53:50Z
dc.date.issued	2010
dc.identifier	http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000288082400006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=47d3190e77e5a3a53558812f597b0b92
dc.identifier.issn	1556-6056
dc.identifier.uri	https://hdl.handle.net/10161/3764
dc.language.iso	en_US
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.relation.ispartof	IEEE COMPUTER ARCHITECTURE LETTERS
dc.relation.isversionof	10.1109/L-CA.2010.18
dc.subject	Memory Consistency
dc.subject	Multicore
dc.subject	Verification
dc.subject	Validation
dc.title	Fractal Consistency: Architecting the Memory System to Facilitate Verification
dc.type	Journal article
duke.contributor.orcid	Lebeck, A\|0000-0003-1893-5464
pubs.author-url	http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000288082400006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=47d3190e77e5a3a53558812f597b0b92
pubs.begin-page	61
pubs.end-page	64
pubs.issue	2
pubs.organisational-group	Computer Science
pubs.organisational-group	Duke
pubs.organisational-group	Electrical and Computer Engineering
pubs.organisational-group	Pratt School of Engineering
pubs.organisational-group	Trinity College of Arts & Sciences
pubs.publication-status	Published
pubs.volume	9

Files

Now showing 1 - 1 of 1