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

Format:
Table of Contents: “...3.1 Overview -- 3.2 YML -- 3.3 OmniRPC-MPI -- 4 Application Development in the mSPMD Programming...”
Click to View

Format:
Table of Contents: “... sources for cost modeling -- Appendix B. Simulation software used to illustrate chapter 8 -- Notes...”
Click to View

Format:
Table of Contents: “...Direct Programming -- Map -- Stencil -- Reduction -- Scan -- Pack and Unpack -- Pack -- Unpack...”
Click to View

Format:
Table of Contents: “... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...”
Click to View

Format:
Table of Contents: “... into reworking -- 4.1 Scope of functions within the Virtual Environment -- 4.2 Development and setup of a...”
Click to View

Format:
Table of Contents: “...) Survey and the SEEP/W Program -- 1 Introduction -- 2 Methodology -- 3 Results and Discussion -- 3...”
Click to View

Format:
Table of Contents: “... Services -- Introduction -- Future Internet Services -- The Need for Engineering Secure Software Services...”
Click to View