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: 7.

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 ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2021):
Towards compiler-aided correctness checking of adjoint MPI applications. (Preprint)
In: Proceedings of Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, pp. 40-48,
Darmstadt, IEEE, 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness), 11.11.2020, ISBN 978-0-7381-1044-8,
DOI: 10.26083/tuprints-00018889,
[Conference or Workshop Item]

Grönewald, Matthias ; Fuhrmans, Marc ; Müller, Matthias S. ; Pelz, Peter F. ; Schmitt, Robert H. ; Stäcker, Thomas (2020):
Applying Interoperable Metadata Standards (AIMS).
Zenodo, HeFDI Plenary 2020, 17.12.2020, DOI: 10.5281/zenodo.5004606,
[Conference or Workshop Item]

Anthofer, Verena ; Auer, Sören ; Başkaya, Sait ; Bischof, Christian ; Bronger, Torsten ; Claus, Florian ; Cordes, Florian ; Demandt, Évariste ; Eifert, Thomas ; Flemisch, Bernd ; Fuchs, Matthias ; Fuhrmans, Marc ; Gerike, Regine ; Gerstner, Eva-Maria ; Hanke, Vanessa ; Heine, Ina ; Huebser, Louis ; Iglezakis, Dorothea ; Jagusch, Gerald ; Klinger, Axel ; Krafczyk, Manfred ; Kraft, Angelina ; Kuckertz, Patrick ; Küsters, Ulrike ; Lachmayer, Roland ; Langenbach, Christian ; Mozgova, Iryna ; Müller, Matthias S. ; Nestler, Britta ; Pelz, Peter F. ; Politze, Marius ; Preuß, Nils ; Przybylski-Freund, Marie-Dominique ; Rißler-Pipka, Nanette ; Robinius, Martin ; Schachtner, Joachim ; Schlenz, Hartmut ; Schmitt, Robert H. ; Schwarz, Annett ; Schwibs, Jürgen ; Selzer, Michael ; Sens, Irina ; Stäcker, Thomas ; Stemmer, Christian ; Stille, Wolfgang ; Stolten, Detlef ; Stotzka, Rainer ; Streit, Achim ; Strötgen, Robert ; Wang, Wei Min (2020):
NFDI4Ing - the National Research Data Infrastructure for Engineering Sciences (Excerpt from the Funding Proposal submitted in October, 2019, to the German Research Foundation (DFG)).
Version 1, Zenodo,
DOI: 10.5281/zenodo.4015201,
[Other]

Hück, Alexander ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2020):
Towards compiler-aided correctness checking of adjoint MPI applications.
In: Software Correctness for HPC Applications, In: Proceedings of Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, pp. 40-48,
IEEE, 4th International Workshop on Software Correctness for HPC Applications (Correctness), Virtual Conference, 09.-19.11.2020, ISBN 978-0-7381-1045-5,
DOI: 10.1109/Correctness51934.2020.00010,
[Conference or Workshop Item]

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]

Schmidl, Dirk ; Iwainsky, Christian ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2013):
Towards a Performance Engineering Workflow for OpenMP 4.0.
pp. 823-832, PARCO, [Conference or Workshop Item]

This list was generated on Sat Feb 4 01:19:54 2023 CET.