Efficient Verification of Parameterized Cache Coherence Protocols.

WanXia Qu Yang Guo Zhengbin Pang Xiaodong Yang

Published in: ICYCS (2008)

Keyphrases

real time
neural network
computer vision
e learning
image processing
multiscale
data structure
evolutionary algorithm
cost effective
computationally expensive