Format:
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
Click to View

Format:
Table of Contents: “... Theoretical Background -- 2.1 Solving Rabin Games Symbolically -- 2.2 Computing Symbolic Controllers...”
Click to View

Format:
Table of Contents: “... of Probabilistic Programs -- 3 Training Neural Ranking Supermartingales -- 4 Verifying Ranking Supermartingales...”
Click to View

Format:
Table of Contents: “... Introduction -- 2 Motivating Example -- 3 Models -- 4 Solving Equational and Regular Constraints -- 5 Algorithm...”
Click to View

Format:
Table of Contents: “...Intro -- Preface -- Contents -- Part I Introduction -- 1 What Is the Sublinear Computation Paradigm...”
Click to View

Format:
Table of Contents: “... the Optimization Objective -- Detecting Load Imbalance -- Example 2 (cont.): MiniFE Performance Investigation...”
Click to View

Format:
Table of Contents: “... Work -- 11 Conclusion and Future Work -- References -- Adversarial Reachability for Program-level...”
Click to View

Format:
Table of Contents: “...-Coded MPI Program -- 2.2.2 Optimization for SIMD -- 2.2.3 Optimization for Allocatable Arrays -- 3 Local...”
Click to View

Format:
Table of Contents: “... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...”
Click to View

Format:
Table of Contents: “..., Evaluation, and Optimization -- 4.1 Methodology and Toolset -- 4.2 Scenario and Example -- 5 Discussion...”
Click to View

Format:
Table of Contents: “... Computation Using Small Data Types -- Optimizing Math Functions -- Specialized Functions and Extensions...”
Click to View

Format:
Table of Contents: “... -- 5 Data Availability Statement -- References -- WASIM: A Word-level Abstract Symbolic Simulation...”
Click to View

Format:
Table of Contents: “... Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3...”
Click to View

Format:
Table of Contents: “... Minimal Trusted Computing Base for the Cloud -- 3 Examples of Addressed Use-Cases -- 3.1 High Performance...”
Click to View

Format:
Table of Contents: “... -- References -- Program Synthesis in Saturation -- 1 Introduction -- 2 Preliminaries -- 2.1 Computable Symbols...”
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: “... -- 5 Conclusion -- References -- Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes...”
Click to View

Format:
Table of Contents: “... Perturbations -- 2.17 EXplainable Neural-Symbolic Learning (X-NeSyL) -- 3 Conclusion and Future Outlook...”
Click to View