Format:
Table of Contents: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
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: “...PDR"3223379 : Positive Chain in L, Negative Sequence in L"3223379 -- 4.2 AdjointPDR"3223379 Simulates LT-PDR...”
Click to View

Format:
Table of Contents: “... Structure -- 2 Parallel Programming -- Introduction -- Programmability -- Automatic Parallelization...”
Click to View

Format:
Table of Contents: “... and Electrical Engineering I -- The design and simulation of the new Space Release Device -- The Adjusting Method...”
Click to View

Format:
Table of Contents: “... -- 2.1 Domain Decomposition Methods -- 2.2 Performance on the K Computer -- 2.2.1 Comparison with Hand...”
Click to View

Format:
Table of Contents: “... -- 2 Research Method -- 2.1 Shape Generation -- 2.2 Performance Simulation -- 2.3 Data Analysis...”
Click to View

Format:
Table of Contents: “... Optimization Method -- 3.1 Combined with Parametric Design -- 4 Form Optimization Simulation Process...”
Click to View

Format:
Table of Contents: “....1 Logic Programming Framework -- 2.2 Related Work -- 3 Future -- 3.1 Computational Tool Integration -- 3...”
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: “... -- Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- 1 Introduction -- 2 HOLL Overview...”
Click to View

Format:
Table of Contents: “... of the Method -- 5 Modified Parameter Abstraction -- 5.1 Abstraction Computation -- 5.2 Stuttering Simulation...”
Click to View

Format:
Table of Contents: “... -- Service level constraints in inventory systems -- Simulating stochastic inventory systems -- The multi...”
Click to View