Formal Design of Cache Memory Protocols in IBM.

Steven M. German

Published in: Formal Methods Syst. Des. (2003)

Keyphrases

design process
main memory
memory management
case study
memory hierarchy
response time
memory requirements
formal methods
secondary storage