Symbolic Analysis of Concurrency Errors in OpenMP Programs [electronic resource].
Published
Washington, D.C. : United States. Dept. of Energy, 2012. Oak Ridge, Tenn. : Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy.
Published through SciTech Connect. 11/07/2012. "llnl-conf-599993" Presented at: Symbolic Analysis of Concurrency Errors in OpenMP Programs, Boston, MA, United States, May 20 - May 24, 2013. Yang, Z; Quinlan, D; Wang, L; Liao, C; Ma, H.