1
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ... Fairness -- 1 Introduction -- 2 Modelling Concurrent Programs -- 2.1 Labelled Transition Systems -- 2...
Click to View
2
by Fisman, Dana.
Published 2022
Format:
Table of Contents: ... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...
Click to View
3
by Fisman, Dana.
Published 2022
Format:
Table of Contents: ... -- References -- Alpinist: an Annotation-Aware GPU Program Optimizer -- 1 Introduction -- 2 Annotation-Aware...
Click to View
4
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ... -- 4.3 Snowballing -- 4.4 Threats to validity in the selection process -- 5 A feature model...
Click to View
5
by Marwedel, Peter.
Published 2021
Format:
Table of Contents: ... Scheduling -- 6.4.4 Optimal Scheduling with Integer Linear Programming -- 6.5 Dependent Jobs on Heterogeneous...
Click to View