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: “... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...”
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: “... Framework for Policy and Policy Process Evaluation -- 1.1 The Basic Setup -- 1.2 Policy Impact Evaluation...”
Click to View

Format:
Table of Contents: “... of the Subcontinent -- California Cap-and-Trade Program -- The Mexican Emissions Trading System Pilot Program -- Case...”
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

Format:
Table of Contents: “... Systems -- 4 Modelling of an Industrial Use Case -- 5 Discussion on Simulation Results -- 6 Conclusion...”
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: “...Paracosm: A Test Framework for Autonomous Driving Simulations -- 1 Introduction -- 2 Paracosm...”
Click to View

Format:
Table of Contents: “... Program Chairs -- Industrial Program Chairs -- Communication and Media Chairs -- Conference Managers...”
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.3 Encodings for AE-Simulation with Prophecies -- 5 Implementation and Experiments -- 5.1 Case...”
Click to View