Fast complete memory consistency verification.

Yunji Chen Yi Lv Weiwu Hu Tianshi Chen Haihua Shen Pengyu Wang Hong Pan

Published in: HPCA (2009)

Keyphrases

memory usage
memory requirements
random access
social networks
cost function
model checking
computing power
memory space
computational power
verification method
path consistency
formal verification
limited memory
real time
query processing
computer vision
data sets