Efficient Race Verification for Debugging Programs with OpenMP Directives.

Young-Joo Kim Mun-Hye Kang Ok-Kyoon Ha Yong-Kee Jun

Published in: PaCT (2007)

Keyphrases

hardware designs
computationally efficient
data structure
database
real time
lightweight
low overhead
java programs
novice programmers