Publication: A Framework for Proving Correctness of Adjoint Message-Passing Programs
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About

A Framework for Proving Correctness of Adjoint Message-Passing Programs

- Part of a collection -
 

Author(s)
Uwe Naumann , Laurent HascoŽt , Chris Hill , Paul Hovland , Jan Riehme , Jean Utke

Published in
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface

Year
2008

Publisher
Springer-Verlag

AD Tools
NAGWare Fortran 95, OpenAD

AD Theory and Techniques
Adjoint, Parallelism

BibTeX
@INPROCEEDINGS{
         Naumann2008AFf,
       author = "Uwe Naumann and Laurent Hasco{\"e}t and Chris Hill and Paul Hovland and Jan
         Riehme and Jean Utke",
       title = "A Framework for Proving Correctness of Adjoint Message-Passing Programs",
       booktitle = "Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent
         Advances in Parallel Virtual Machine and Message Passing Interface",
       year = "2008",
       isbn = "978-3-540-87474-4",
       pages = "316--321",
       location = "Dublin, Ireland",
       doi = "http://dx.doi.org/10.1007/978-3-540-87475-1_44",
       publisher = "Springer-Verlag",
       address = "Berlin, Heidelberg",
       ad_theotech = "Adjoint, Parallelism",
       ad_tools = "NAGWare Fortran 95, OpenAD"
}


back
  

Contact:
Username:
Password:
(lost password)