Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke | IEEE Conference Publication | IEEE Xplore