Format:
Table of Contents: “... Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3...”
Click to View

Format:
Table of Contents: “... is (like?) software development: -- 2.2.1 Measurement of Laws -- 2.3 Recipes are software -- 2...”
Click to View

Format:
Table of Contents: “...Intro -- Contents -- Ernst Denert Software Engineering Award 2020 -- 1 Introduction -- 2 Overview...”
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: “... Hardware and Software -- Power Constraints -- Difficult Development and Debugging -- Typical Architecture...”
Click to View

Format:
Table of Contents: “... Conclusion -- Acknowledgment -- References -- 19 Circular Path Generation for Toroidal Cavity Inspection -- 1...”
Click to View

Format:
Table of Contents: “... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...”
Click to View

Format:
Table of Contents: “... Safety Components -- 3.2 Development of the Planning, Communication and Verification Software -- 3...”
Click to View

Format:
Table of Contents: “... by Assassination -- 5 Discussion -- 5.1 Further Development of Simulation Software for Social Nanorobots -- 5...”
Click to View