- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Towards compiler-aided correctness checking of adjoint MPI applications, 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness), IEEE,
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2021
- Contributor
- DOI
-
10.26083/tuprints-00018889
- URN
-
urn:nbn:de:tuda-tuprints-188898
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hück, Alexander
- Protze, Joachim
- Terboven, Christian
- Bischof, Christian
- Müller, Matthias S.
- Lehr, Jan-Patrick
- Universitäts- und Landesbibliothek
Time of origin
- 2021
Other Objects (12)
MUST: Compiler-aided MPI correctness checking with TypeART
Compositional compiler correctness via parametric simulations
Trace-Relating Compiler Correctness and Secure Compilation
CASC : compiler assisted self-checking of structural integrity
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Runtime MPI correctness checking with a scalable tools infrastructure
Contributions to mechanical proofs of correctness for compiler front ends
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Political Correctness
Fachgespräch Compiler-Compiler : Berlin 1978
Self-adjoint operators
Compiler
MUST: Compiler-aided MPI correctness checking with TypeART
Compositional compiler correctness via parametric simulations
Trace-Relating Compiler Correctness and Secure Compilation
CASC : compiler assisted self-checking of structural integrity
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Runtime MPI correctness checking with a scalable tools infrastructure
Contributions to mechanical proofs of correctness for compiler front ends
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Political Correctness
Fachgespräch Compiler-Compiler : Berlin 1978
Self-adjoint operators
Compiler
MUST: Compiler-aided MPI correctness checking with TypeART
Compositional compiler correctness via parametric simulations
Trace-Relating Compiler Correctness and Secure Compilation
CASC : compiler assisted self-checking of structural integrity
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Runtime MPI correctness checking with a scalable tools infrastructure
Contributions to mechanical proofs of correctness for compiler front ends
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Political Correctness
Fachgespräch Compiler-Compiler : Berlin 1978
Self-adjoint operators