Symbolic Analysis of Concurrency Errors in OpenMP Programs
Hongyi Ma, Diersen, Steve R., Liqiang Wang, Chunhua Liao, Quinlan, Daniel, Zijiang Yang
Published in 2013 42nd International Conference on Parallel Processing (01.10.2013)
Published in 2013 42nd International Conference on Parallel Processing (01.10.2013)
Get full text
Conference Proceeding