Pages that link to "Item:Q3206283"
From MaRDI portal
The following pages link to Distributed Simulation: A Case Study in Design and Verification of Distributed Programs (Q3206283):
Displaying 19 items.
- How to emulate shared memory (Q808683) (← links)
- Deadlock absence proofs for networks of communicating processes (Q1151025) (← links)
- A class of systems with nearly zero distributed simulation overhead (Q1194808) (← links)
- Efficient distributed simulation of acyclic systems (Q1194817) (← links)
- Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation (Q1854984) (← links)
- Distributed simulation: state-of-the-art and potential for operational research (Q1991248) (← links)
- Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions (Q2362464) (← links)
- Simulation of Large Spiking Neural Networks on Distributed Architectures, The “DAMNED” Simulator (Q3405773) (← links)
- Synchronization Mechanisms for Integration of Distributed Manufacturing Simulation Systems (Q4420070) (← links)
- Analyzing the Effect of Distribution to the Simulation on a Network of Workstations (Q4420080) (← links)
- Reducing Rollbacks Through Partitioning in PCS Parallel Simulation (Q4420156) (← links)
- Parallel simulation on the hypercube multiprocessor (Q5136993) (← links)
- Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation (Q5248063) (← links)
- Adaptive Resource Provisioning Mechanism in VEEs for Improving Performance of HLA-Based Simulations (Q5270656) (← links)
- Parallel Expanded Event Simulation of Tightly Coupled Systems (Q5270665) (← links)
- Toward Unified Hybrid Simulation Techniques for Spiking Neural Networks (Q5383769) (← links)
- Virtual time III. I: Unified virtual time synchronization for parallel discrete event simulation (Q6638926) (← links)
- Virtual time III. II: Combining conservative and optimistic synchronization (Q6638928) (← links)
- Virtual time III. III: Throttling and message cancellation (Q6639412) (← links)
