Format:
Table of Contents: “... -- 3.4 Object Model Template Specification -- 3.5 HLA RTI Implementations -- 4 Distributed Simulation...”
Click to View

Format:
Table of Contents: “... deductive rules. -- 7 Implementation -- 8 Case studies and experimental evaluation -- 8.1 Examples of formal...”
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: “... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...”
Click to View

Format:
Table of Contents: “... Agency Definition -- Extending the C-A Net model -- Example Model Implementations -- Usecase1: Conceptual...”
Click to View

Format:
Table of Contents: “... Families with Numerical Features -- 1 Introduction -- 2 Motivating Example -- 3 A Language for Program...”
Click to View

Format:
Table of Contents: “... Numerical Example -- 5.2 Approximations Based on Linear Programming -- 5.2.1 Deterministic Linear...”
Click to View

Format:
Table of Contents: “... Framework for Policy and Policy Process Evaluation -- 1.1 The Basic Setup -- 1.2 Policy Impact Evaluation...”
Click to View

Format:
Table of Contents: “...-Assisted Robot Programming -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Concept -- 4 Implementation...”
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: “... Btor2 to C -- 4.1 Simulating Sequential Circuits with C Programs -- 4.2 Variable Naming -- 4...”
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: “... Simulation -- 3 Quasimodo's Programming and Analysis Interface -- 3.1 Extending Quasimodo -- 4 The Internals...”
Click to View

Format:
Table of Contents: “....4 Clock Simulation -- 3.5 MQTT Output -- 4 Implementation -- 5 Evaluation -- 5.1 Configuration -- 5...”
Click to View