Format:
Table of Contents: “... Fairness -- 1 Introduction -- 2 Modelling Concurrent Programs -- 2.1 Labelled Transition Systems -- 2...”
Click to View

Format:
Table of Contents: “... -- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- 1...”
Click to View

Format:
Table of Contents: “... -- References -- Alpinist: an Annotation-Aware GPU Program Optimizer -- 1 Introduction -- 2 Annotation-Aware...”
Click to View

Format:
Table of Contents: “... -- 4.3 Snowballing -- 4.4 Threats to validity in the selection process -- 5 A feature model...”
Click to View

Format:
Table of Contents: “... Scheduling -- 6.4.4 Optimal Scheduling with Integer Linear Programming -- 6.5 Dependent Jobs on Heterogeneous...”
Click to View