C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Fractal Consistency: Architecting the Memory System to Facilitate Verification.
Meng Zhang
Alvin R. Lebeck
Daniel J. Sorin
Published in:
IEEE Comput. Archit. Lett. (2010)
Keyphrases
</>
model checking
knowledge retrieval
computing power
memory usage
iterated function systems
fractal analysis
low memory
fractal dimension
image compression
asynchronous circuits
verification method
image processing
memory requirements
global consistency
database systems
case study
maintaining consistency