An algorithm for parallel discrete event simulation using common memory
ACM SIGSIM Simulation Digest
Time management in the DoD high level architecture
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Conservative simulation of load-balanced routing in a large ATM network model
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
A Study of Achievable Speedup in Distributed Simulation via NULL Messages
IEEE Transactions on Parallel and Distributed Systems
Conservative Circuit Simulation on Multiprocessor Machines
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
An Adaptive Partitioning Algorithm for Conservative Parallel Simulation
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Faster Simulation of Timed Petri Nets Via Distributed Simulation
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Timed Petri Net Interpreter: An Alternative Method for Simulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Performance Comparable Design of Efficient Synchronization Protocols for Distributed Simulation
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Analysis of the Performance of a Distributed Simulator
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
High-Speed LANs: New Environments for Parallel and Distributed Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Distributed Simulation with Cellular Automata: Architecture and Applications
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Length-based Blocking Strategy and Local Estimations in Distributed Simulation: A Case Study
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Distributed simulation of parallel computers
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Exploiting symmetry for partitioning models in parallel discrete event simulation
Proceedings of the eighteenth workshop on Parallel and distributed simulation
An overhead reducing technique for Time Warp
Journal of Parallel and Distributed Computing
Improving the Lookahead Computation in G-DEVS/HLA Environment
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Enhancing Performance of HW/SW Cosimulation and Coemulation by Reducing Communication Overhead
IEEE Transactions on Computers
Resource control for large-scale distributed simulation system over loosely coupled domains
Journal of Parallel and Distributed Computing - Special issue: Design and performance of networks for super-, cluster-, and grid-computing: Part I
The Monte Carlo Method in Science and Engineering
Computing in Science and Engineering
The Performance of Multimicrocomputer Networks Supporting Dynamic Workloads
IEEE Transactions on Computers
Migrating to a real-time distributed parallel simulator architecture
Proceedings of the 2007 Summer Computer Simulation Conference
Mapping PIOVRA in GDEVS/HLA environment
Proceedings of the 2007 Summer Computer Simulation Conference
Fully dynamic epoch time synchronisation method for distributed supply chain simulation
International Journal of Computer Applications in Technology
A Hybrid HLA Time Management Algorithm Based on Both Conditional and Unconditional Information
Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 2008 Spring simulation multiconference
On Parallel Stochastic Simulation of Diffusive Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Evaluating Large Scale Distributed Simulation of P2P Networks
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Parallel discrete-event simulation of population dynamics
Proceedings of the 40th Conference on Winter Simulation
Improving performance by replicating simulations with alternative synchronization approaches
Proceedings of the 40th Conference on Winter Simulation
An experimental analysis environment for logical process simulation algorithms
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
SlackSim: a platform for parallel simulations of CMPs on CMPs
ACM SIGARCH Computer Architecture News
Hardware Supported Time Synchronization in Multi-core Architectures
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Consistency management for interactive peer-to-peer-based systems
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Design and performance evaluation of a conservative parallel discrete event core for GES
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Performance evaluation of concurrently executing parallel applications on multi-processor systems
SAMOS'09 Proceedings of the 9th international conference on Systems, architectures, modeling and simulation
Networked Graphics: Building Networked Games and Virtual Environments
Networked Graphics: Building Networked Games and Virtual Environments
Distributed time, conservative parallel logic simulation on GPUs
Proceedings of the 47th Design Automation Conference
Parallel simulation of SystemC TLM 2.0 compliant MPSoC on SMP workstations
Proceedings of the Conference on Design, Automation and Test in Europe
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
A replication structure for efficient and fault-tolerant parallel and distributed simulations
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
parSC: synchronous parallel systemc simulation on multi-core host architectures
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Behavioral simulations in MapReduce
Proceedings of the VLDB Endowment
An analysis of queuing network simulation using GPU-based hardware acceleration
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Adaptive and Speculative Slack Simulations of CMPs on CMPs
MICRO '43 Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture
Ordered vs. unordered: a comparison of parallelism and work-efficiency in irregular algorithms
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Time management for virtual worlds based on constrained communication model
Proceedings of the 9th Annual Workshop on Network and Systems Support for Games
Multi-core parallel simulation of system-level description languages
Proceedings of the 16th Asia and South Pacific Design Automation Conference
AGV scheduling for automated material distribution: a case study
Journal of Intelligent Manufacturing
A New Algorithm for VHDL Parallel Simulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Massively Parallel Logic Simulation with GPUs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SliceTime: a platform for scalable and accurate network emulation
Proceedings of the 8th USENIX conference on Networked systems design and implementation
Experimental analysis of logical process simulation algorithms in JAMES II
Winter Simulation Conference
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
Proceedings of the 2010 Summer Computer Simulation Conference
Federate Fault Tolerance in HLA-Based Simulation
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Flow: A Stream Processing System Simulator
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Computational Biology and Chemistry
Flexible and efficient co-simulation of networked embedded devices
Proceedings of the 24th symposium on Integrated circuits and systems design
New synchronization method for the parallel simulations of wireless networks
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A web services-based distributed simulation architecture for hierarchical DEVS models
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Analysis of the abortion rate on lazy replication protocols
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
Parallel discrete event simulations of grid-based models: asynchronous electromagnetic hybrid code
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
HLA-based simulation environment for distributed SystemC simulation
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Runtime efficient event scheduling in multi-threaded network simulation
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Scalable simulation of electromagnetic hybrid codes
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
A Framework for exploration of parallel SystemC simulation on the single-chip cloud computer
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Towards massively parallel simulations of massively parallel high-performance computing systems
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Towards scalable network emulation
Computer Communications
Conservative Distributed Discrete Event Simulation on Amazon EC2
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
A simulation environment for vehicle-to-grid integration studies
Proceedings of the 2011 Summer Computer Simulation Conference
Conservative synchronization methods for parallel DEVS and Cell-DEVS
Proceedings of the 2011 Summer Computer Simulation Conference
Hierarchical Composite Synchronization
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Bridging the gap: A standards-based approach to OR/MS distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
CRAW/P: a workload partition method for the efficient parallel simulation of manycores
Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing
Methodology for synchronizing discrete event simulation and system dynamics models
Proceedings of the Winter Simulation Conference
On innovation, and building and sustaining a successful career in research
Proceedings of the Winter Simulation Conference
A general-purpose graph dynamical system modeling framework
Proceedings of the Winter Simulation Conference
On deciding between conservative and optimistic approaches on massively parallel platforms
Proceedings of the Winter Simulation Conference
Model-driven network emulation with virtual time machine
Proceedings of the Winter Simulation Conference
Efficient execution of networked MPSoC models by exploiting multiple platform levels
International Journal of Reconfigurable Computing - Special issue on Selected Papers from the Symposium on Integrated Circuits and Systems Design (SBCCI 2011)
Optimized out-of-order parallel discrete event simulation using predictions
Proceedings of the Conference on Design, Automation and Test in Europe
Parallel simulation of software defined networks
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Optimizing parallel simulation of multicore systems using domain-specific knowledge
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
On the parallel simulation of scale-free networks
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
A time management optimization framework for large-scale distributed hardware-in-the-loop simulation
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Dynamic resolution in distributed cyber-physical system simulation
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Out-of-order parallel simulation for ESL design
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Distributed ONE: scalable parallel network simulation
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques
Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems
Hi-index | 0.01 |
The problem of system simulation is typically solved in a sequential manner due to the wide and intensive sharing of variables by all parts of the system. We propose a distributed solution where processes communicate only through messages with their neighbors; there are no shared variables and there is no central process for message routing or process scheduling. Deadlock is avoided in this system despite the absence of global control. Each process in the solution requires only a limited amount of memory. The correctness of a distributed system is proven by proving the correctness of each of its component processes and then using inductive arguments. The proposed solution has been empirically found to be efficient in preliminary studies. The paper presents formal, detailed proofs of correctness.