Reverse code generation for parallel discrete event simulation

DOI10.1007/978-3-319-20860-2_6MaRDI QIDQ2822496zbMATH OpenOpenAlexFDO

Authors Markus Schordan, David Jefferson, Peter Barnes, Tomas Oppelstrup, Daniel J. Quinlan

Publication date 30 September 2016

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20860-2_6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Recommendations

• Parallel execution for serial simulators
• Parallel discrete event simulation with SIMULA
• Automatic Code Generation for Simulating Information Systems
• Survey of Languages and Runtime Libraries for Parallel Discrete-Event Simulation
• Parallel discrete-event simulation applications

Cited in

(14)

• Reversible computation in term rewriting
• Algeo: an algebraic approach to reversibility
• Reversible effects as inverse arrows
• Join inverse categories as models of reversible recursion
• Reversing parallel programs with blocks and procedures
• Reversing imperative parallel programs
• Join inverse categories and reversible recursion
• Reversing place transition nets
• Splitting Recursion Schemes into Reversible and Classical Interacting Threads
• Reversible Imperative Parallel Programs and Debugging
• Acyclic and cyclic reversing computations in Petri nets
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Jeopardy: an invertible functional programming language
• Virtual time III. I: Unified virtual time synchronization for parallel discrete event simulation

Describes a project that uses

Uses Software

• LORAIN

This page was built for publication: Reverse code generation for parallel discrete event simulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822496)