Runtime validation of memory ordering using constraint graph checking.

Kaiyu Chen Sharad Malik Priyadarsan Patra

Published in: HPCA (2008)

Keyphrases

constraint graph
constraint propagation
constraint satisfaction problems
constraint networks
graph model
graph theory
computational complexity
np complete
social networks
clustering algorithm
graphical models
level set
constraint satisfaction