TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 3.

Hück, Alexander ; Kreutzer, Sebastian ; Protze, Joachim ; Lehr, Jan-Patrick ; Bischof, Christian ; Terboven, Christian ; Müller, Matthias S. (2022):
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications.
In: IT Professional, 24 (2), pp. 45-51. IEEE, ISSN 1520-9202, e-ISSN 1941-045X,
DOI: 10.1109/MITP.2021.3093949,
[Article]

Hück, Alexander ; Lehr, Jan-Patrick ; Kreutzer, Sebastian ; Protze, Joachim ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2018):
Compiler-aided type tracking for correctness checking of MPI applications.
pp. 51-58, 2nd International Workshop on Software Correctness for HPC Applications (Correctness), Dallas, TX, USA, 11.-16. Nov. 2018, DOI: 10.1109/Correctness.2018.00011,
[Conference or Workshop Item]

Hück, Alexander ; Kreutzer, Sebastian ; Messig, Danny ; Scholtissek, Arne ; Bischof, Christian ; Hasse, Christian
Shi, Y. ; Fu, H. ; Tian, Y. ; Krzhizhanovskaya, V. V. ; Lees, M. H. ; Sloot, P. M. A. (eds.) (2018):
Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver.
In: Lecture Notes in Computer Science, 10862, In: Computational Science – ICCS 2018, pp. 480-486, Springer International Publishing, ISBN 978-3-319-93713-7,
DOI: 10.1007/978-3-319-93713-7_43,
[Book Section]

This list was generated on Tue May 17 03:04:04 2022 CEST.