1
2
3
4
by Sato, Mitsuhisa.
Published 2020
Format:
Table of Contents: ....2 Specification -- 7.2.1 Initialization -- 7.2.2 Events -- References -- Implementation and Performance Evaluation...
Click to View
5
6
by Ernstsson, August.
Published 2021
Format:
Table of Contents: ... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...
Click to View
7
8
9
10
11
12
13
14
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Suite Diversity -- 4.3 Emotion Patterns' Requirements and Heat-maps -- 4.4 PX Framework Implementation...
Click to View
15
by Fleischmann, Albert.
Published 2015
Format:
Table of Contents: ... -- Abstract -- 3.1 Introduction -- 3.2 Initial Situation -- 3.3 Project Implementation -- 3.3.1 Documentation...
Click to View
16
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
17
by Bisello, Adriano.
Published 2021
Format:
Table of Contents: ... -- References -- City Engagement in the Joint Programming Initiative Urban Europe and the Role of Intermediary...
Click to View
18
by Galis, Alex.
Published 2013
Format:
Table of Contents: ....2 Composite Virtual Objects Level -- 3.3 User/Stakeholder and Service Level -- 4 Framework Implementation -- 4...
Click to View
19
by Shoham, Sharon.
Published 2022
Format:
Table of Contents: ....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...
Click to View
20
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Automata Complementation -- 5 Optimizations of the Modular Construction -- 5.1 Complementation of Initial...
Click to View