Publikation

A Framework for Proving Correctness of Adjoint Message Passing Programs

Naumann, Uwe; Hascoët, Laurent; Hill, Chris; Hovland, Paul D.; Riehme, Jan; Utke, Jean

Berlin [u.a.] : Springer (2008)
Buchbeitrag, Beitrag zu einem Tagungsband

In
Recent advances in parallel virtual machine and message passing interface : 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 ; proceedings / Alexey Lastovetsky; Tahar Kechadi; Jack Dongarra (eds.), Seite(n)/Artikel-Nr.: 316-321

Konferenz/Veranstaltung: 15. European PVM/MPI Users' Group Meeting Dublin 2008-09-07 - 2008-09-10

Einrichtungen

  • Fakultät für Informatik [120000]
  • Lehr- und Forschungsgebiet Software und Werkzeuge für Computational Engineering [123120]