Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
From MaRDI portal
Publication:3206283
Cited in
(19)- Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation
- Analyzing the Effect of Distribution to the Simulation on a Network of Workstations
- Reducing Rollbacks Through Partitioning in PCS Parallel Simulation
- Distributed simulation: state-of-the-art and potential for operational research
- Parallel simulation on the hypercube multiprocessor
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
- Synchronization Mechanisms for Integration of Distributed Manufacturing Simulation Systems
- How to emulate shared memory
- Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions
- Deadlock absence proofs for networks of communicating processes
- Toward unified hybrid simulation techniques for spiking neural networks
- Simulation of large spiking neural networks on distributed architectures, the ``DAMNED simulator
- Virtual time III. I: Unified virtual time synchronization for parallel discrete event simulation
- Virtual time III. II: Combining conservative and optimistic synchronization
- Virtual time III. III: Throttling and message cancellation
- Adaptive resource provisioning mechanism in VEEs for improving performance of HLA-based simulations
- Parallel expanded event simulation of tightly coupled systems
- A class of systems with nearly zero distributed simulation overhead
- Efficient distributed simulation of acyclic systems
This page was built for publication: Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206283)
