Charles Jin, Muthu Baskaran. Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke. In Proceedings of the 4th International Workshop on Extreme Scale Programming Models and Middleware, ESPM2@SC 2018, Dallas, Texas, November 11-16, 2018. pages 62-70, IEEE, 2018. [doi]
Abstract is missing.