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: “... Application Development -- Development Environment of Android Applications -- Cross-Development -- Programming...”
Click to View

Format:
Table of Contents: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View

Format:
Table of Contents: “... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...”
Click to View

Format:
Table of Contents: “...4.6.1 Definition of Terms -- 4.6.2 Application-Specific CoSa Example -- 4.6.3 The CoSa API -- 4...”
Click to View

Format:
Table of Contents: “... Considerations -- 3.1 Introduction -- 3.2 The PCC Intervention -- 3.3 COSTCares PCC Implementation Framework -- 3...”
Click to View

Format:
Table of Contents: “... Authentication -- Weather2 -- Application Design -- Creating the UI -- Adding the C++ Implementation -- Weather...”
Click to View

Format:
Table of Contents: “... -- Examples of applications -- Conclusion -- Notes -- References -- Part IV Data Collection and Project...”
Click to View

Format:
Table of Contents: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View

Format:
Table of Contents: “... and Programs -- 2.2 Saturation and Superposition -- 2.3 Answer Literals -- 3 Illustrative Example -- 4 Program...”
Click to View

Format:
Table of Contents: “... in Transitive (Co)closure Logic -- 4.2 Applications in Automated Proof Search -- 4.2.1 Program Equivalence...”
Click to View