Formalizing OpenMP Performance Properties with ASL
- Träff, Jesper Larsson
Shortfacts
Category |
Technical Report (Technical Report) |
Divisions |
Scientific Computing |
Publisher |
Institute for Software Science, University of Vienna |
Date |
October 2000 |
Official URL |
http://www.par.univie.ac.at/publications/download/... |
Export |