Format:
Table of Contents: “...Three-Dimensional Fluid Code with XcalableMP -- 1 Introduction -- 2 Global-View Programming Model...”
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: “... this thesis -- Structure -- Background and related work -- Motivation -- High-level parallel programming...”
Click to View

Format:
Table of Contents: “....4.1 Implications of Schelling's Model -- 1.5 Social Simulation in Application: The Case of Demography -- 1...”
Click to View

Format:
Table of Contents: “... and Covering Semidefinite Programs -- 4.2 Applications -- 4.2.1 SDP relaxation for Robust MaxCut -- 4...”
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: “... Precedence Languages -- 2.1 Operator Precedence Omega-Languages -- 2.2 Modeling Programs with OPA -- 3 POTL...”
Click to View

Format:
Table of Contents: “....3 Model Checking for First-Order Quantification -- 5.4 Bidirectional Model Checking -- 5.5 Computing Under...”
Click to View

Format:
Table of Contents: “... of Sensors -- Drivers for Sensor Applications -- Health and Fitness -- Aging Demographics -- Personalized...”
Click to View

Format:
Table of Contents: “... for the setoid model -- 1 Introduction -- 1.1 Related work -- 2 MLTT^Prop -- 2.1 Formalization -- 3 Setoid model...”
Click to View

Format:
Table of Contents: “....5.1 The Computer Program -- 4.5.2 Running a Model -- 4.6 Summary -- Part II Model Mechanics -- 5 Simulating...”
Click to View