Format:
Table of Contents: “... -- A Type System for Effect Handlersand Dynamic Labels -- Interpreting Knowledge-based Programs...”
Click to View

Format:
Table of Contents: “... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...”
Click to View

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

Format:
Table of Contents: “... -- Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... Quality-Based Machine Learning Development through Extended Feature Models -- 1 Introduction -- 2 Related...”
Click to View

Format:
Table of Contents: “... -- 4 HOLL: Implementation and Optimization -- 5 SynthAttack: Attacking HOLL with Program Synthesis -- 5...”
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: “... Transforming Sketches to Program Families -- 4 Decision Tree-based Lifted Analyses -- 4.1 Abstract domain...”
Click to View

Format:
Table of Contents: “... for Programs -- 6 Evaluation -- 7 Related Work -- References -- Decision Tree Learning in CEGIS-Based...”
Click to View

Format:
Table of Contents: “... Architecture -- Experimental Results -- Conclusions -- References -- Title Model Ontology for Future Internet...”
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