No. Title Author Year
1 Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352) Darulova, Eva et al. 2018
2 Forward Progress on GPU Concurrency (Invited Talk) Donaldson, Alastair F. et al. 2017
3 Automatic Verification of Data Race Freedom in Device Drivers Deligiannis, Pantazis et al. 2014
4 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Cohen, Albert et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI