Symbolic Analysis of Concurrency Errors in OpenMP Programs.

Hongyi Ma Steve Diersen Liqiang Wang Chunhua Liao Daniel J. Quinlan Zijiang Yang

Published in: ICPP (2013)

Keyphrases

genetic algorithm
learning algorithm
knowledge base
quantitative analysis
real world
artificial intelligence
database systems
data flow