Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
From MaRDI portal
Publication:3206283
DOI10.1109/TSE.1979.230182zbMATH Open0416.68014MaRDI QIDQ3206283FDOQ3206283
Authors: K. Mani Chandy, Jayadev Misra 
Publication date: 1979
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
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
- Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions
- How to emulate shared memory
- 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)
