Format:
Table of Contents: “...Paracosm: A Test Framework for Autonomous Driving Simulations -- 1 Introduction -- 2 Paracosm...”
Click to View

Format:
Table of Contents: “... Experimental Evaluation -- 8 Related Work -- References -- Verified Software Units -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... Summary -- References -- Hybrid-View Programming of Nuclear Fusion Simulation Code in XcalableMP -- 1...”
Click to View

Format:
Table of Contents: “... -- Software framework for one-factor option models -- Extending the software framework -- A PDE software...”
Click to View

Format:
Table of Contents: “... Btor2 to C -- 4.1 Simulating Sequential Circuits with C Programs -- 4.2 Variable Naming -- 4...”
Click to View

Format:
Table of Contents: “... -- Invited Talk -- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic...”
Click to View

Format:
Table of Contents: “... Programming -- 5.2.2 Randomized Linear Programming -- 6 Simulation Environment -- 6.1 Technical Settings...”
Click to View

Format:
Table of Contents: “... -- Abbreviations -- Tools, Software, and Programming Languages -- Contents -- Introduction -- Dissertation Outline...”
Click to View

Format:
Table of Contents: “... -- 2 Literature Review -- 2.1 Conceptual Framework -- 2.2 Theoretical Framework -- 2.3 Review...”
Click to View

Format:
Table of Contents: “... and Outlook -- References -- Resource Allocation -- Simulation-Based Potential Analysis of Line-Less Assembly...”
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: “....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...”
Click to View

Format:
Table of Contents: “....1 Logic Programming Framework -- 2.2 Related Work -- 3 Future -- 3.1 Computational Tool Integration -- 3...”
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: “... Simulation -- 3 Quasimodo's Programming and Analysis Interface -- 3.1 Extending Quasimodo -- 4 The Internals...”
Click to View

Format:
Table of Contents: “... Internet Architecture -- Introduction -- Architecture Concept -- Cognitive Future Internet Framework...”
Click to View

Format:
Table of Contents: “... Method of Parametric Semiology -- 2.1 Background -- 2.2 TO Software and Its Potential to Achieve Tower...”
Click to View

Format:
Table of Contents: “... Design -- 5.2 Coordinator Summary Node Software Design -- 5.3 Upper Computer Software Development Program...”
Click to View