Deriving Efficient Cache Coherence Protocols through Refinement.

Ratan Nalumasu Ganesh Gopalakrishnan

Published in: IPPS/SPDP Workshops (1998)

Keyphrases

digital libraries
artificial intelligence
decision trees
data sets
databases
neural network
clustering algorithm
image segmentation
multiscale