Exact and Efficient Verification of Parameterized Cache Coherence Protocols.

E. Allen Emerson Vineet Kahlon

Published in: CHARME (2003)

Keyphrases

lightweight
cost effective
artificial intelligence
case study
database
neural network
machine learning
social networks
information systems
computationally efficient
computationally expensive
brute force