Fractal Consistency: Architecting the Memory System to Facilitate Verification
Repository Usage Stats
Published Version (Please cite this version)10.1109/L-CA.2010.18
Publication InfoZhang, M; Lebeck, AR; & Sorin, DJ (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.
More InfoShow full item record
Professor of Computer Science
My research is in the general area of computer architecture. However, I have interests in nearly all computer systems related topics, spanning from atoms to applications.