Reverse Code Generation for Parallel Discrete Event Simulation
From MaRDI portal
Publication:2822496
DOI10.1007/978-3-319-20860-2_6zbMath1464.68049MaRDI QIDQ2822496
Markus Schordan, Daniel J. Quinlan, Peter Barnes, David Jefferson, Tomas Oppelstrup
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
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N15: Theory of programming languages
68Q09: Other nonclassical models of computation
93-10: Mathematical modeling or simulation for problems pertaining to systems and control theory
Related Items
Unnamed Item, Unnamed Item, Splitting Recursion Schemes into Reversible and Classical Interacting Threads, Reversible Imperative Parallel Programs and Debugging, Acyclic and Cyclic Reversing Computations in Petri Nets, Join inverse categories and reversible recursion, Reversible computation in term rewriting, Algeo: an algebraic approach to reversibility, Reversible effects as inverse arrows, Join Inverse Categories as Models of Reversible Recursion, Unnamed Item
Uses Software