Analysis of Explicit vs. Implicit Tasking in OpenMP Using Kripke.

Charles Jin, Muthu Manikandan Baskaran

Browse the full SC paper archive.