Deriving Efficient Cache Coherence Protocols Through Refinement.

Ratan Nalumasu Ganesh Gopalakrishnan

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

Keyphrases

image processing
database systems
relational databases
artificial neural networks
evolutionary algorithm
multiresolution
cryptographic protocols
communication protocols