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