License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.4.17
URN: urn:nbn:de:0030-drops-40758
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4075/
Cohen, Albert ;
Donaldson, Alastair F. ;
Huisman, Marieke ;
Katoen, Joost-Pieter
Weitere Beteiligte (Hrsg. etc.): Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
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.
BibTeX - Entry
@Article{cohen_et_al:DR:2013:4075,
author = {Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen},
title = {{Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)}},
pages = {17--33},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2013/4075},
URN = {urn:nbn:de:0030-drops-40758},
doi = {10.4230/DagRep.3.4.17},
annote = {Keywords: Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models}
}
|
Keywords: |
|
Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models |
|
Collection: |
|
Dagstuhl Reports, Volume 3, Issue 4 |
|
Issue Date: |
|
2013 |
|
Date of publication: |
|
02.09.2013 |
