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

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]

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 Tue Jan 18 01:38:57 2022 CET.