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

Format:
Table of Contents: “... Simulation -- 3 Quasimodo's Programming and Analysis Interface -- 3.1 Extending Quasimodo -- 4 The Internals...”
Click to View

Format:
Table of Contents: “... Analysis with Rigidity Theory -- 14.4.4 Using Rigidity Theory to Simulate Protein Dynamics -- 14.5 Protein...”
Click to View

Format:
Table of Contents: “....2 Property Generation as Generalization of Testing -- 3.3 Computing Properties Efficiently -- 3.4 Using...”
Click to View

Format:
Table of Contents: “... computer use -- Aspect 1.1 Foundations of computer use -- Aspect 1.2 Computer use conventions -- 2...”
Click to View

Format:
Table of Contents: “... Program verification using VST -- 3 VSU calculus -- 3.1 Components and soundness -- 3.2 Derived rules -- 4...”
Click to View

Format:
Table of Contents: “....1 Introduction -- 2.2 Levels of Interoperability -- 2.3 Approach for Coupling Simulation Models -- 3 Overview...”
Click to View

Format:
Table of Contents: “...-View Programming Model -- 3.1 Communications Using Coarray -- 3.2 Performance on the K Computer -- 4...”
Click to View

Format:
Table of Contents: “... -- Scientific Committees -- Contents -- Computation and Formation -- Serlio and Artificial Intelligence...”
Click to View

Format:
Table of Contents: “... Design Using Deep Reinforcement Learning and Computer Vision -- 1 Introduction -- 2 Methodology -- 2...”
Click to View