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: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View

Format:
Table of Contents: “... Computation Using Small Data Types -- Optimizing Math Functions -- Specialized Functions and Extensions...”
Click to View

Format:
Table of Contents: “... Infotainment -- Other Application Platforms and Fields -- Cloud Computing -- Robotics -- Wireless Sensor...”
Click to View

Format:
Table of Contents: “... Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3...”
Click to View

Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “....0 for Verifying Multiplier Circuits -- 1 Introduction -- 2 Circuit Verification using Computer Algebra -- 3 Usage...”
Click to View

Format:
Table of Contents: “... -- Computing and Networking Clouds -- Contrail: Distributed Application Deployment under SLA in Federated...”
Click to View

Format:
Table of Contents: “... to Extreme Fairness -- 5 Extremely Fair Adversarial Rabin Games -- 5.1 Preliminaries on Symbolic Computations...”
Click to View

Format:
Table of Contents: “... Architecture and Design -- Security Support in Programming Environments -- Secure Service Composition -- Secure...”
Click to View

Format:
Table of Contents: “... -- Application Debugging Using the Android Debug Bridge -- Setting Up ADB -- ADB on Windows -- ADB Host-Client...”
Click to View

Format:
Table of Contents: “...7 Dynamic Application Autotuning for Self-aware Approximate Computing -- 7.1 Introduction -- 7...”
Click to View

Format:
Table of Contents: “... for Deviceless Edge Computing -- 4.1 Programming Support for Deviceless Edge Functions -- 4.2 Intents and Intent...”
Click to View

Format:
Table of Contents: “... Pattern Catalogue -- 6.3.2 Decision-Making Process Using a Pattern Catalogue -- 6.3.3 Application...”
Click to View

Format:
Table of Contents: “....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...”
Click to View

Format:
Table of Contents: “... -- Stuxnet -- Designing Safe and Secure Cyber-Physical Systems -- Constrained Computing and Moore's Law...”
Click to View