Format:
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
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: “... Theoretical Background -- 2.1 Solving Rabin Games Symbolically -- 2.2 Computing Symbolic Controllers...”
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: “... -- Automatically Checking MPI Program Correctness -- Comparing Application Traces -- Instrumenting Application Code...”
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: “... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...”
Click to View

Format:
Table of Contents: “....3 Runtime Features -- 5 Program Generation for Training Set Augmentation -- 5.1 Code Mutations -- 5.2 Data...”
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: “... Architecture and Design -- Security Support in Programming Environments -- Secure Service Composition -- Secure...”
Click to View

Format:
Table of Contents: “...Intro -- CONTENTS -- PREFACE -- COMPUTATIONAL CHALLENGES IN COMPARATIVE GENOMICS -- SESSION...”
Click to View

Format:
Table of Contents: “...: (Automated) -- Level 4: (Continuous) -- Level 5: (Optimized) -- Accelerating Maturity: Three Ways...”
Click to View

Format:
Table of Contents: “... -- 4.4 Social behavior -- 4.5 Cheater -- 4.6 Shorter program -- 4.7 Loop unrolling -- 4.8 Parallel code...”
Click to View

Format:
Table of Contents: “... -- Automatic Java Code Generation System from Flowchart for Basic Programming Learning -- Effect of Intake...”
Click to View

Format:
Table of Contents: “....8.4 Additional Languages -- 2.9 Levels of Hardware Modeling -- 2.10 Comparison of Models of Computation -- 2...”
Click to View

Format:
Table of Contents: “... and the Department of Computer Science of the TU Dortmund University -- 1.1 Introduction -- 1.2 Teaching -- 1...”
Click to View

Format:
Table of Contents: “..., Enables, and Directs -- 2.2.1 International Policy Calling for Inclusivity at the Local Level -- 2.2.2 A...”
Click to View

Format:
Table of Contents: “...6.1 BACKGROUND -- 6.2 METHOD -- 6.3 CODE -- REFERENCES -- CHAPTER 7 TEXTURE COORDINATE GRADIENTS...”
Click to View