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

Format:
Table of Contents: “....1 Fundamental Performance -- 4.2 Non-blocking Communication -- 4.3 Application Program -- 4.3.1 Coarray Version...”
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: “... by SMT Solving -- 4.1 From Programs to Symbolic Store Trees -- 4.2 Marginalisation -- 5 Case Studies -- 5...”
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: “... Definitions -- 3 Property Generation by PQE -- 3.1 High-Level View of Property Generation by PQE -- 3...”
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: “... algorithm for the general case -- 5.1 Characterizing systems with cut-offs -- 5.2 Polynomial time algorithm...”
Click to View

Format:
Table of Contents: “.... Search and web -- 4. Mobile applications (apps) -- 5. Social media networks -- 6. Mobile advertising -- 7...”
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: “....1 Pair Programming -- 2.2 Remote Pair Programming -- 3 Empirical Cases and Research Method -- 3...”
Click to View