An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs.

Young-Joo Kim Daeyoung Kim Yong-Kee Jun

Published in: ACIS-ICIS (2008)

Keyphrases

multi core processors
data mining
automatic detection
high performance computing
parallel programming
computer programs
programming environment
fixpoint
real time
programming language
intrusion detection
shared memory
automatic programming
provably correct
multi processor