ACM Transactions on Programming Languages and Systems (TOPLAS)
A Message-Based Approach to Discrete-Event Simulation
IEEE Transactions on Software Engineering
DEMOS: a system for discrete event modelling on Simula
DEMOS: a system for discrete event modelling on Simula
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
Principles of Discrete Event Simulation
Principles of Discrete Event Simulation
Performance Analysis of a Rollback Method for Distributed Simulation
Performance '83 Proceedings of the 9th International Symposium on Computer Performance Modelling, Measurement and Evaluation
A shared resource algorithm for distributed simulation
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
A distributed approach to queueing network simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
A distributed algorithm for detecting resource deadlocks in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS
SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS
Parallel algorithms for multiple processor architectures.
Parallel algorithms for multiple processor architectures.
The process view of simulation in Ada
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
Simula Begin
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
The process view of simulation (Operating and programming systems series)
The process view of simulation (Operating and programming systems series)
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Some experiments in object-oriented simulation
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Design and implementation in object-oriented simulation
ACM SIGSIM Simulation Digest
Efficient distributed event driven simulations of multiple-loop networks
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
An execution model for distributed object-oriented computation
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
The status of the time warp operating system
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Parallel execution of sequential scheme with ParaTran
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Efficient distributed event-driven simulations of multiple-loop networks
Communications of the ACM
Efficient distributed simulation
ACM SIGSIM Simulation Digest
An algorithm for parallel discrete event simulation using common memory
ACM SIGSIM Simulation Digest
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
An object-oriented modelling enviornment
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Parallel simulation of queueing networks: limitations and potentials
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Multiple crossbar network integrated supercomputing framework
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method
IEEE Transactions on Software Engineering
Steady-state simulation of queueing processes: survey of problems and solutions
ACM Computing Surveys (CSUR)
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Virtual time II: storage management in conservative and optimistic systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Unboundedly parallel simulations via recurrence relations
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Analysis of parallel replicated simulations under a completion time constraint
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A Window Protocol for Transmission of Time-Constrained Messages
IEEE Transactions on Computers
Performance analysis of Time Warp with homogeneous processors and exponential task times
SIGMETRICS '91 Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Distributed and parallel demand driven logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
MIDAS: Integrated Design and Simulation of Distributed Systems
IEEE Transactions on Software Engineering
Algorithms for unboundedly parallel simulations
ACM Transactions on Computer Systems (TOCS)
Optimal memory management for time warp parallel simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on parallel and distributed systems performance
An evaluation of the Chandy-Misra-Bryant algorithm for digital logic simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on parallel and distributed systems performance
Bounds and approximations for self-initiating distributed simulation without lookahead
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on parallel and distributed systems performance
About logical clocks for distributed systems
ACM SIGOPS Operating Systems Review
Performance interpolation for computer simulation models: a simulation-based approach
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Synchronization mechanisms for distributed event-driven computation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Asynchronous algorithms for the parallel simulation of event-driven dynamical systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Object-oriented concurrent reflective languages can be implemented efficiently
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
The cost of conservative synchronization in parallel discrete event simulations
Journal of the ACM (JACM)
High performance parallel logic simulations on a network of workstations
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
The local Time Warp approach to parallel simulation
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Parallel simulation of communicating finite state machines
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
The effect of synchronization requirements on the performance of distributed simulations
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
The Wisconsin Wind Tunnel: virtual prototyping of parallel computers
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Transparent optimizations of overheads in optimistic simulations
WSC '92 Proceedings of the 24th conference on Winter simulation
Replicated objects in time warp simulations
WSC '92 Proceedings of the 24th conference on Winter simulation
Parallel simulation using conservative time windows
WSC '92 Proceedings of the 24th conference on Winter simulation
Simulation of database transaction management protocols: hybrids and variants of time warp
WSC '92 Proceedings of the 24th conference on Winter simulation
A generalized carrier-null method for conservative parallel simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Stability of event synchronisation in distributed discrete event simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
The pessimism behind optimistic simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
A static partitioning and mapping algorithm for conservative parallel simulations
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Cost/performance of a parallel computer simulator
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Parallel logic simulation of VLSI systems
ACM Computing Surveys (CSUR)
Effects of the checkpoint interval on time and space in time warp
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Concurrent execution of timed Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
An introduction to fault tolerant parallel simulation with EcliPSe
WSC '94 Proceedings of the 26th conference on Winter simulation
Language support for parallel discrete-event simulations
WSC '94 Proceedings of the 26th conference on Winter simulation
Service oriented scheduling in Time Warp
WSC '94 Proceedings of the 26th conference on Winter simulation
Parallel logic level simulation of VLSI circuits
WSC '94 Proceedings of the 26th conference on Winter simulation
A Parallelism Analyzer for Conservative Parallel Simulation
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Parallelism in sequential multiprocessor simulation models: a case study
ACM Transactions on Modeling and Computer Simulation (TOMACS)
SGTNE: semi-global time of the next event algorithm
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
A case study in simulating PCS networks using Time Warp
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Clustered time warp and logic simulation
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Probabilistic adaptive direct optimism control in Time Warp
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Parallel gate-level circuit simulation on shared memory architectures
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Prediction of memory consumption in conservative parallel simulation
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Parallel logic simulation of VLSI systems
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Simulating population dependent PCS network models using time warp
WSC '95 Proceedings of the 27th conference on Winter simulation
Compose: an object-oriented environment for parallel discrete-event simulations
WSC '95 Proceedings of the 27th conference on Winter simulation
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
How to integrate shared variables in distributed simulation
ACM SIGSIM Simulation Digest
Conservative parallel simulation of ATM networks
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Queueing models and stability of message flows in distributed simulators of open queueing networks
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Symphony: a simulation backplane for parallel mixed-mode co-simulation of VLSI systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Prototyping a parallel discrete event simulation system in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Analysis of bounded time warp and comparison with YAWNS
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Modeling cost/performance of a parallel computer simulator
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A comparative study of parallel and sequential priority queue algorithms
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Instability and performance limits of distributed simulators of feedforward queueing networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Perils and pitfalls of parallel discrete-event simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Parallel and distributed discrete event simulation: algorithms and applications
WSC '93 Proceedings of the 25th conference on Winter simulation
Parallel simulation environment for mobile wireless networks
WSC '96 Proceedings of the 28th conference on Winter simulation
A CORBA facility for network simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Performance comparison of high-level algebraic nets distributed simulation protocols
WSC '96 Proceedings of the 28th conference on Winter simulation
Transparent implementation of conservative algorithms in parallel simulation languages
WSC '93 Proceedings of the 25th conference on Winter simulation
Exploiting lookahead in synchronous parallel simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
A framework for performance analysis of parallel discrete event simulators
Proceedings of the 29th conference on Winter simulation
Conservative synchronization in object-oriented parallel battlefield discrete event simulations
Proceedings of the eleventh workshop on Parallel and distributed simulation
Dynamic load balancing strategies for conservative parallel simulations
Proceedings of the eleventh workshop on Parallel and distributed simulation
Speculative parallel simulation with an adaptive throttle scheme
Proceedings of the eleventh workshop on Parallel and distributed simulation
Hierarchical modeling and distributed simulation with HIT
Proceedings of the eleventh workshop on Parallel and distributed simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Shared memory implementation of a parallel switch-level circuit simulator
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
GloMoSim: a library for parallel simulation of large-scale wireless networks
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
A Distributed Graph Algorithm for the Detection of Local Cycles and Knots
IEEE Transactions on Parallel and Distributed Systems
MPI-SIM: using parallel simulation to evaluate MPI programs
Proceedings of the 30th conference on Winter simulation
Unsynchronized parallel discrete event simulation
Proceedings of the 30th conference on Winter simulation
Web-based simulation experiments
Proceedings of the 30th conference on Winter simulation
Case study: parallelizing a sequential simulation model
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Iterative design of efficient simulations using Maisie
WSC '91 Proceedings of the 23rd conference on Winter simulation
MTW: an empirical performance study
WSC '91 Proceedings of the 23rd conference on Winter simulation
Parallel simulation of performance Petri nets: extending the domain of parallel simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Parallel instance discrete-event simulation using a vector uniprocessor
WSC '91 Proceedings of the 23rd conference on Winter simulation
An efficient and scalable parallel algorithm for discrete-event simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
A program-driven simulation model of an MIMD multiprocessor
ANSS '91 Proceedings of the 24th annual symposium on Simulation
A provably correct, non-deadlocking parallel event simulation algorithm
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Using time warp for computer network simulations on transputers
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Parallel discrete event simulation on shared-memory multiprocessors
ANSS '91 Proceedings of the 24th annual symposium on Simulation
ANSS '91 Proceedings of the 24th annual symposium on Simulation
En route to more efficient conservative parallel event simulation
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Knowledge-based distributed simulation generator
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Discrete-event simulation in Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Efficient distributed simulation
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
An algorithm for parallel discrete event simulation using common memory
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
Heterogenous distributed simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
The object library for parallel simulation (OLPS)
WSC '88 Proceedings of the 20th conference on Winter simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
A spectrum of options for parallel simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
Optimization of simulation responses in a multicomputing environment
WSC '87 Proceedings of the 19th conference on Winter simulation
TimeLock: a concurrent simulation technique and its description in Smalltalk-80
WSC '87 Proceedings of the 19th conference on Winter simulation
Optimal performance of distributed simulation programs
WSC '87 Proceedings of the 19th conference on Winter simulation
Retrieval performance of a distributed text database utilizing a parallel processor document server
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Parallel simulation of the Sharks World problem
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A unified distributed simulation system
WSC' 90 Proceedings of the 22nd conference on Winter simulation
An approach towards distributed simulation of timed petri nets
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Simultaneous events and distributed simulation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Unboundedly parallel simulations via recurrence relations for network and reliability problems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Automating parallel simulation using parallel time streams
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Asynchronous Parallel Simulation of Parallel Programs
IEEE Transactions on Software Engineering
Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages
IEEE Transactions on Parallel and Distributed Systems
On the parallel simulation of fixed channel allocation algorithms
Mobile Networks and Applications
Simultaneous events and lookahead in simulation protocols
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the conference on Design, automation and test in Europe
Distributed web-based simulation optimization
Proceedings of the 32nd conference on Winter simulation
Conservative simulation using distributed-shared memory
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Proceedings of the 33nd conference on Winter simulation
Parallel discrete-event simulation applications
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Analysis and simulation of mixed-technology VLSI Systems
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Information Systems Frontiers
Distributed Simulation of Petri Nets
IEEE Parallel & Distributed Technology: Systems & Technology
Parallel Languages for Discrete-Event Simulation Models
IEEE Computational Science & Engineering
Design Issues in Parallel Simulation Languages
IEEE Design & Test
Recovering from Multiple Process Failures in the Time Warp Mechanism
IEEE Transactions on Computers
Exploiting Lookahead in Parallel Simulation
IEEE Transactions on Parallel and Distributed Systems
Systems with Low Distributed Simulation Overhead
IEEE Transactions on Parallel and Distributed Systems
A Study of Achievable Speedup in Distributed Simulation via NULL Messages
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of Time Warp with Multiple Homogeneous Processors
IEEE Transactions on Software Engineering
Maisie: A Language for the Design of Efficient Discrete-Event Simulations
IEEE Transactions on Software Engineering
Conservative Circuit Simulation on Multiprocessor Machines
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
External Adjustment of Runtime Parameters in Time Warp Synchronized Parallel Simulators
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Multi Agent Based Simulation: Beyond Social Simulation
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
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
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Null Messages Cancellation Through Load Balancing in Distributed Simulations
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
Global Virtual Time Approximation for Split Queue Time Warp
ParNum '99 Proceedings of the 4th International ACPC Conference Including Special Tracks on Parallel Numerics and Parallel Computing in Image Processing, Video Processing, and Multimedia: Parallel Computation
A Dynamic Load Balancing Architecture for PDES Using PVM on Clusters
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
A hierarchical modeling framework for on-chip communication architectures
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Optimistic parallel simulation of a large-scale view storage system
Future Generation Computer Systems - Selected papers from CCGRID 2002
Exploiting temporal independence in distributed preemptive circuit simulation
EDTC '97 Proceedings of the 1997 European conference on Design and Test
MVPe: Visual Design of Parallel Simulation Models
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
A Comparative Analysis of Various Time Warp Algorithms Implemented in the WARPED Simulation Kernel
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Bipartitioning for Hybrid FPGA-Software Simulatio
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Real-Time Simulation Techniques Based on the RTO.k Object Modeling
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Optimistic Synchronization of Mixed-Mode Simulators
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
VIS '93 Proceedings of the 4th conference on Visualization '93
Parallel and distributed simulation
Applied system simulation
Journal of Parallel and Distributed Computing
Formalization and strictness of simulation event orderings
Proceedings of the eighteenth workshop on Parallel and distributed simulation
General methodology 3: a federation object coordinator for simulation based control and analysis
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 35th conference on Winter simulation: driving innovation
A Parallel Algorithm for Correlating Event Streams
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Facilitating Distributed Time-Triggered Simulation of Embedded Systems and Environments
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
JiST: an efficient approach to simulation using virtual machines: Research Articles
Software—Practice & Experience
Parallel simulation on the hypercube multiprocessor
Distributed Computing
Stochastic analysis of distributed deadlock scheduling
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Proceedings of the 5th ACM international conference on Embedded software
Distributing synchronous programs using bounded queues
Proceedings of the 5th ACM international conference on Embedded software
A visual environment for distributed simulation systems
ACM SIGSIM Simulation Digest
A distributed time-driven simulation method for enabling real-time manufacturing shop floor control
Computers and Industrial Engineering
The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Platform based design for wireless sensor networks
Mobile Networks and Applications
On Optimal Deadlock Detection Scheduling
IEEE Transactions on Computers
Bias in parallel and distributed simulation systems
WSC '05 Proceedings of the 37th conference on Winter simulation
Eliminating remote message passing in optimistic simulation
Proceedings of the 38th conference on Winter simulation
Multi-Level Distributed Real-Time Simulation Based On The Tmo Modeling
Journal of Integrated Design & Process Science
Efficient Analysis of Simultaneous Events in Distributed Simulation
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Detailed Simulation of Large-Scale Wireless Networks
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Modelling and simulation of social systems with INGENIAS
International Journal of Agent-Oriented Software Engineering
Achieving causal and total ordering in publish/subscribe middleware with DSM
Proceedings of the 3rd workshop on Middleware for service oriented computing
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
A Bounded-Optimistic, Parallel Beta-Binders Simulator
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
COTSon: infrastructure for full system simulation
ACM SIGOPS Operating Systems Review
How much parallelism is there in irregular applications?
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Snapshot Processing in Streaming Environments
GRID '06 Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
Simulation of scale-free networks
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
ICCOM'08 Proceedings of the 12th WSEAS international conference on Communications
Event-driven gate-level simulation with GP-GPUs
Proceedings of the 46th Annual Design Automation Conference
A distributed time-driven simulation method for enabling real-time manufacturing shop floor control
Computers and Industrial Engineering
DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
ISWPC'09 Proceedings of the 4th international conference on Wireless pervasive computing
A Federated Approach to Parallel and Distributed Simulation of Complex Systems
International Journal of Applied Mathematics and Computer Science
A new trace-driven shared-memory multiprocessors machine simulator
International Journal of Computers and Applications
CSA&S/PV: parallel framework for complex systems simulation
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Telecommunication network modeling and planning tool on ASP clusters
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
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
Deadlock avoidance for streaming computations with filtering
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs
Proceedings of the Conference on Design, Automation and Test in Europe
Modeling and analyzing real-time multiprocessor systems
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Gate-Level Simulation with GPU Computing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Facing the multicore-challenge
Facing the multicore-challenge
The tao of parallelism in algorithms
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Experimental analysis of logical process simulation algorithms in JAMES II
Winter Simulation Conference
Computational Biology and Chemistry
Virtual time and timeout in client-server networks
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Parallel Discrete Event N-Body Dynamics
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
A conservative approach to systemc parallelization
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Accelerating RTL simulation with GPUs
Proceedings of the International Conference on Computer-Aided Design
Investigating scaling behaviour of monte carlo codes for dense matrix inversion
Proceedings of the second workshop on Scalable algorithms for large-scale systems
Efficient deadlock avoidance for streaming computation with filtering
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Distribution of parallel discrete-event simulations in GES: core design and optimizations
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
HLA-based simulation environment for distributed SystemC simulation
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Collecting signatures to model latency tolerance in high-level simulations of microthreaded cores
Proceedings of the 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools
A software tool for federated simulation of wireless sensor networks and mobile ad hoc networks
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
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)
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Parallel discrete event simulation with Erlang
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Performance Analysis of a Multithreaded PDES Simulator on Multicore Clusters
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Artificial Intelligence in Medicine
Optimizing parallel simulation of multicore systems using domain-specific knowledge
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
| Hi-index | 0.03 |
Traditional discrete-event simulations employ an inherently sequential algorithm. In practice, simulations of large systems are limited by this sequentiality, because only a modest number of events can be simulated. Distributed discrete-event simulation (carried out on a network of processors with asynchronous message-communicating capabilities) is proposed as an alternative; it may provide better performance by partitioning the simulation among the component processors. The basic distributed simulation scheme, which uses time encoding, is described. Its major shortcoming is a possibility of deadlock. Several techniques for deadlock avoidance and deadlock detection are suggested. The focus of this work is on the theory of distributed discrete-event simulation.