1
by Reinders, James.
Published 2020
Format:
Table of Contents: ... Systems -- Data-Parallel Programming -- Key Attributes of DPC++ and SYCL -- Single-Source -- Host...
Click to View
2
by Gruhn, Volker.
Published 2018
Format:
Table of Contents: ... -- Contracts in Architectures -- References -- Formal Methods and Agile Development: Towards a Happy Marriage...
Click to View
3
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...
Click to View