A Low-Cost Cache Coherence Verification Method for Snooping Systems.

Demid Borodin Ben H. H. Juurlink

Published in: DSD (2008)

Keyphrases

low cost
verification method
complex systems
model checking
databases
management system
learning systems
neural network
artificial intelligence
information systems
decision making
information technology
distributed systems