Loop-Carried Dependence Verification in OpenMP.

Juan Salamanca Luis Mattos Guido Araujo

Published in: IWOMP (2014)

Keyphrases

model checking
high performance computing
shared memory
verification method
face verification
high security
asynchronous circuits
formal methods
person identification
multi processor
machine learning
parallel execution
formal analysis
computing systems
feature space
case study
clustering algorithm