Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism.

Mun-Hye Kang Yong-Kee Jun

Published in: FGIT-ASEA/DRBC/EL (2011)

Keyphrases

parallel execution
real time
parallel processing
parallel architectures
data sets
real world
lightweight
data flow
programming environment