DagRep.3.4.17.pdf
- Filesize: 0.78 MB
- 17 pages
Document
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 3, Issue 4
Volume: Dagstuhl Reports, Volume 3
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-09-02
Cite AsGet BibTex
Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen. Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). In Dagstuhl Reports, Volume 3, Issue 4, pp. 17-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/DagRep.3.4.17
https://doi.org/10.4230/DagRep.3.4.17
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13142 "Correct and Efficient Accelerator Programming". The aim of this Dagstuhl seminar was to bring together researchers from various sub-disciplines of computer science to brainstorm and discuss the theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.
Keywords
- Accelerator programming
- GPUs
- Concurrency
- Formal verification
- Compilers
- Memory models
- Architecture
- Parallel programming models
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads