Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
From MaRDI portal
Publication:3206283
DOI10.1109/TSE.1979.230182zbMath0416.68014MaRDI QIDQ3206283
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)
Related Items
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, Parallel simulation on the hypercube multiprocessor, A class of systems with nearly zero distributed simulation overhead, Efficient distributed simulation of acyclic systems, Distributed simulation: state-of-the-art and potential for operational research, Synchronization Mechanisms for Integration of Distributed Manufacturing Simulation Systems, Analyzing the Effect of Distribution to the Simulation on a Network of Workstations, Reducing Rollbacks Through Partitioning in PCS Parallel Simulation, Simulation of Large Spiking Neural Networks on Distributed Architectures, The “DAMNED” Simulator, Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation, Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation, How to emulate shared memory, Adaptive Resource Provisioning Mechanism in VEEs for Improving Performance of HLA-Based Simulations, Parallel Expanded Event Simulation of Tightly Coupled Systems