1
2
3
4
by Ernstsson, August.
Published 2021
Format:
Table of Contents: ... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...
Click to View
5
6
7
8
9
10
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: ... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...
Click to View
11
by Shoham, Sharon.
Published 2022
Format:
Table of Contents: ... Sample Separators -- 4.2 Computing a Join-Maximal Abstract Separator -- 4.3 Integrating Separator...
Click to View
12
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ....2 Computing Affine Constants -- 6.3 Verification Algorithm -- 6.4 Implementation Remarks -- 7 Evaluation -- 7...
Click to View
13
14
15
16
17
18
19
20