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) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Other nonclassical models of computation (68Q09) 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)

• Join inverse categories as models of reversible recursion
• Reversible effects as inverse arrows
• Reversing imperative parallel programs
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• Acyclic and cyclic reversing computations in Petri nets
• Splitting Recursion Schemes into Reversible and Classical Interacting Threads
• Jeopardy: an invertible functional programming language
• Virtual time III. I: Unified virtual time synchronization for parallel discrete event simulation
• Reversible computation in term rewriting
• scientific article; zbMATH DE number 7447775 (Why is no real title available?)
• Reversible Imperative Parallel Programs and Debugging
• Join inverse categories and reversible recursion
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Algeo: an algebraic approach to reversibility

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)