Formalizing openMP performance properties with ASL

Thomas Fahringer, Michael Gerndt, Graham Riley, Jesper Larsson Träff

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'Formalizing openMP performance properties with ASL'. Together they form a unique fingerprint.

Keyphrases

Computer Science