Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
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
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
On concurrency control by multiple versions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Sophisticate's Introduction to Distributed Concurrency Control (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
An experiment in microprocessor-based distributed digital simulation
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
A distributed approach to queueing network simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
An approach to performance analysis of timestamp-driven synchronization mechanisms
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Correctness conditions for highly available replicated databases
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Faster architectural simulation through parallelism
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Statistics for parallelism and abstraction level in digital simulation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A bus network designed to support parallel processing
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Dynamic Remapping of Parallel Computations with Varying Resource Demands
IEEE Transactions on Computers
Design and performance of special purpose hardware for time warp
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
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
Reflection in an object-oriented concurrent language
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
An execution model for distributed object-oriented computation
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Parallel discrete-event simulation of FCFS stochastic queueing networks
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
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
Hypersim: distributed discrete-event simulation on an iPSC
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Parallel execution of sequential scheme with ParaTran
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Implementing a distributed combat simulation on the Time Warp operating system
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
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
A Hierarchical Computer Architecture for Distributed Simulation
IEEE Transactions on Computers
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
Can REDUCE be run in parallel?
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Demonic memory for process histories
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
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
Development Life Cycle of Computer Networks: The Executable Model Approach
IEEE Transactions on Software Engineering
Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method
IEEE Transactions on Software Engineering
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 synchronization in massively parallel discrete-event simulations
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Performance bounds on parallel self-initiating discrete-event simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A study of time warp rollback mechanisms
ACM Transactions on Modeling and Computer Simulation (TOMACS)
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
Optimistic parallelization of communicating sequential processes
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
An analysis of rollback-based simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM SIGARCH Computer Architecture News - Symposium on parallel algorithms and architectures
Debuggable concurrency extensions for standard ML
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
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
Actra—an industrial strength concurrent object-oriented programming system
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Breaking the barrier of parallel simulation of digital systems
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
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
A unifying framework for distributed 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
Synchronization mechanisms for distributed event-driven computation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Performance analysis of “Time Warp” with limited memory
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Design and Evaluation of the Rollback Chip: Special Purpose Hardware for Time Warp
IEEE Transactions on Computers
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Time warp simulation using time scale decomposition
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
ICS '92 Proceedings of the 6th international conference on Supercomputing
Parallelism analyzers for parallel discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
ACM Transactions on Computer Systems (TOCS)
The cost of conservative synchronization in parallel discrete event simulations
Journal of the ACM (JACM)
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Selecting the checkpoint interval in time warp simulation
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Parallel algorithms for simulating continuous time Markov chains
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
An algorithm for minimally latent global virtual time
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Shared variables in distributed simulation
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
High performance parallel logic simulations on a network of workstations
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Corolla partitioning for distributed logic simulation of VLSI-circuits
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
How using busses in multicomputer programs affects conservative parallel simulation
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Efficient implementation of event sets in Time Warp
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
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
A performance study of the cancelback protocol for Time Warp
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
Synchronous relaxation for parallel simulations with applications to circuit-switched networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Mathematical foundations for time warp systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience in massively parallel discrete event simulation
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
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
Parallel simulation of Markovian queueing networks using adaptive uniformization
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
State of the art in parallel simulation
WSC '92 Proceedings of the 24th conference on Winter simulation
The telecom framework: a simulation environment for telecommunications modeling
WSC '92 Proceedings of the 24th conference on Winter simulation
Transparent optimizations of overheads in optimistic simulations
WSC '92 Proceedings of the 24th conference on Winter simulation
Making parallel simulations go fast
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
U.S. Army ModSim on Jade's timewarp
WSC '92 Proceedings of the 24th conference on Winter simulation
Approximate time-parallel simulation of queueing systems with losses
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 path-based method of parallelizing C++ programs
ACM SIGPLAN Notices
Locality, causality and continuations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A unified framework for conservative and optimistic distributed simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Investigations in adaptive distributed simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Discrete-event simulation and the event horizon
PADS '94 Proceedings of the eighth workshop on Parallel and distributed 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
Understanding supercritical speedup
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Cost of state saving & rollback
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Adaptive checkpointing in Time Warp
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Effect of communication overheads on Time Warp performance: an experimental study
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Parallel simulation of a high speed LAN
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
An evaluation system for distributed-time VHDL 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
An adaptive memory management protocol for Time Warp parallel simulation
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Time-parallel simulation of cascaded statistical multiplexers
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
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)
History cache: hardware support for reverse execution
ACM SIGARCH Computer Architecture News
Real time groupware as a distributed system: concurrency control and its effect on the interface
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Concurrent execution of timed Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
Distributed simulation model for computer integrated manufacturing
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
GTW: a time warp system for shared memory multiprocessors
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
Using a shot clock to design an efficient parallel distributed simulation
WSC '94 Proceedings of the 26th conference on Winter simulation
Towards “on the fly” performance models for conservative asynchronous protocols
WSC '94 Proceedings of the 26th conference on Winter simulation
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
Distributed simulation for structural VHDL netlists
EURO-DAC '94 Proceedings of the conference on European design automation
EURO-DAC '94 Proceedings of the conference on European design automation
Empirical measurements of overheads in conservative asynchronous simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Necessary and Sufficient Conditions for Consistent Global Snapshots
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Parallel and distributed simulation of free choice Petri Nets
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Memory management techniques for Time Warp on a distributed memory machine
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
The treatment of state in optimistic systems
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Comparative analysis of periodic state saving techniques in time warp simulators
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
SGTNE: semi-global time of the next event algorithm
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
A time-division algorithm for parallel simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Mechanisms for user-invoked retraction of events in time warp
ACM Transactions on Modeling and Computer Simulation (TOMACS)
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
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Global Virtual Time and distributed synchronization
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Buffer management in shared-memory Time Warp systems
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Dynamic load balancing of a multi-cluster simulator on a network of workstations
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Effectiveness of global event queues in rollback reduction and load balancing
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
A fast asynchronous GVT algorithm for shared memory multiprocessor architectures
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Parallel algorithms for the circuit value update problem
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Parallel logic simulation of VLSI systems
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Use of embedded scheduling to compile VHDL for effective parallel simulation
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Parallel and distributed simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Simulating population dependent PCS network models using time warp
WSC '95 Proceedings of the 27th conference on Winter simulation
CPSim: a tool for creating scalable discrete event simulations
WSC '95 Proceedings of the 27th conference on Winter simulation
An important factor for optimistic protocol on distributed systems: granularity
WSC '95 Proceedings of the 27th conference on Winter simulation
A comparison of two methods for advancing time in parallel discrete event simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
NPSI adaptive synchronization algorithms for PDES
WSC '95 Proceedings of the 27th conference on Winter simulation
Adaptive algorithms vs. Time Warp: an analytical comparison
WSC '95 Proceedings of the 27th conference on Winter simulation
ParaSol: a multithreaded system for parallel simulation based on mobile threads
WSC '95 Proceedings of the 27th conference on Winter simulation
SimKit: a high performance logical process simulation class library in C++
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 high fidelity ATM traffic and network simulator
WSC '95 Proceedings of the 27th conference on Winter simulation
A distributed simulation model of air traffic in the national airspace system
WSC '95 Proceedings of the 27th conference on Winter simulation
A taxonomy of model abstraction techniques
WSC '95 Proceedings of the 27th conference on Winter simulation
Formal semantics for expressing optimism: the meaning of HOPE
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
A comparative study of parallel algorithms for simulating continuous time Markov chains
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Asynchronous updates in large parallel systems
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
How to integrate shared variables in distributed simulation
ACM SIGSIM Simulation Digest
Background execution of time warp programs
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
The dynamic load balancing of clustered time warp for logic simulation
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Time management in the DoD high level architecture
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Transparent incremental state saving in time warp parallel discrete event simulation
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Automatic incremental state saving
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Concurrency preserving partitioning (CPP) for parallel logic simulation
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Conservative circuit simulation on shared-memory multiprocessors
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Actor based parallel VHDL simulation using time warp
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Optimistic simulation of parallel architectures using program executables
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Design of high level modelling / high performance simulation environments
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
Estimating the cost of throttled execution in time warp
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)
Parallelized Direct Execution Simulation of Message-Passing Parallel Programs
IEEE Transactions on Parallel and Distributed Systems
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)
Adaptive memory management and optimism control in time warp
ACM Transactions on Modeling and Computer Simulation (TOMACS)
An Empirical Evaluation of Performance-Memory Trade-Offs in Time Warp
IEEE Transactions on Parallel and Distributed Systems
Principles of conservative parallel simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
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
Adaptive protocols for parallel discrete event 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
Logical process size in parallel simulations
WSC '96 Proceedings of the 28th conference on Winter simulation
Event sensitive state saving in time warp parallel discrete event simulations
WSC '96 Proceedings of the 28th conference on Winter simulation
Language based state saving extensions for optimistic parallel simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Incremental state saving in SPEEDES using C++
WSC '93 Proceedings of the 25th conference on Winter simulation
Automatic parallelization of discrete event simulation programs
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
Process mobility in distributed-memory simulation systems
WSC '93 Proceedings of the 25th conference on Winter simulation
The impact of adding aggressiveness to a non-aggressive windowing protocol
WSC '93 Proceedings of the 25th conference on Winter simulation
Non-interfering GVT computation via asynchronous global reductions
WSC '93 Proceedings of the 25th conference on Winter simulation
An external state management system for optimistic parallel simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Simulating Lyme disease using parallel discrete event simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
The telecom framework: a simulation environment for telecommunications
WSC '93 Proceedings of the 25th conference on Winter simulation
Temporal notions of synchronization and consistency in Beehive
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
On computer supported collaborative writing tools for distributed environments
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Parallel timing simulation on a distributed memory multiprocessor
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
ICS '97 Proceedings of the 11th international conference on Supercomputing
Computing global virtual time in shared-memory multiprocessors
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Visualizing parallel simulations in network computing environments: a case study
Proceedings of the 29th conference on Winter simulation
The Department of Defense High Level Architecture
Proceedings of the 29th conference on Winter simulation
Design and implementation of HLA time management in the RTI version F.0
Proceedings of the 29th conference on Winter simulation
Java based conservative distributed simulation
Proceedings of the 29th conference on Winter simulation
Minimum cost adaptive synchronization: experiments with the ParaSol system
Proceedings of the 29th conference on Winter simulation
A framework for performance analysis of parallel discrete event simulators
Proceedings of the 29th conference on Winter simulation
Dynamic load balancing strategies for conservative parallel simulations
Proceedings of the eleventh workshop on Parallel and distributed simulation
State saving for interactive optimistic simulation
Proceedings of the eleventh workshop on Parallel and distributed simulation
SQTW: a mechanism for state-dependent parallel simulation. Description and experimental study
Proceedings of the eleventh workshop on Parallel and distributed simulation
Optimistic distributed simulation based on transitive dependency tracking
Proceedings of the eleventh workshop on Parallel and distributed simulation
Timestamp representations for virtual sequences
Proceedings of the eleventh workshop on Parallel and distributed simulation
Adaptive flow control in time warp
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
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
IEEE Transactions on Computers
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Performance analysis of time warp simulation with cascading rollbacks
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Fault-tolerant distributed simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Dynamic load balancing in parallel discrete event simulation for spatially explicit problems
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
A probabilistic event scheduling policy for optimistic parallel discrete event simulation
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Optimizing communication in time-warp simulators
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Event history based sparse state saving in time warp
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Dynamic virtual logical processes
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
A methodology for automating the parallelization of manufacturing simulations
PADS '98 Proceedings of the twelfth 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
Optimistic distributed timed cosimulation based on thread simulation model
Proceedings of the 6th international workshop on Hardware/software codesign
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on modeling and analysis of stochastic systems
Parallel logic simulation on general purpose machines
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Efficient process interaction with threads in parallel discrete event simulation
Proceedings of the 30th conference on Winter simulation
A speculation-based approach for performance and dependability analysis: a case study
Proceedings of the 30th conference on Winter simulation
Combining optimism limiting schemes in time warp based parallel simulations
Proceedings of the 30th conference on Winter simulation
Proceedings of the 30th conference on Winter simulation
Unsynchronized parallel discrete event simulation
Proceedings of the 30th conference on Winter simulation
Minimum cost adaptive synchronization: experiments with the ParaSol system
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on Web-based modeling and simulation
Experiences in verifying parallel simulation algorithms
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
IEEE Transactions on Parallel and Distributed Systems
Space-time memory: a parallel programming abstraction for interactive multimedia applications
Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Path lookahead: a data flow view of PDES models
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Scheduling critical channels in conservative parallel discrete event simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
On event ordering in parallel discrete event simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
GVT and scheduling in space time memory based techniques
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
On learning algorithms and balancing loads in Time Warp
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Combining periodic and probabilistic checkpointing in optimistic simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Optimism: not just for event execution anymore
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Exploiting model independence for parallel PCS network simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Time Warp simulation on clumps
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
A logic simulation engine based on a modified data flow architecture
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Iterative design of efficient simulations using Maisie
WSC '91 Proceedings of the 23rd conference on Winter simulation
An assessment of the ModSim/TWOS parallel simulation environment
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 simulation of timed Petri-nets
WSC '91 Proceedings of the 23rd conference on Winter simulation
A performance model for parallel simulation
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
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
Filter: an algorithm for reducing cascaded rollbacks in optimistic distributed simulations
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
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Potential performance of parallel conservative simulation of VLSI circuits and systems
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
Staggered Consistent Checkpointing
IEEE Transactions on Parallel and Distributed Systems
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
Fundamentals of parallel logic simulation
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
WSC '88 Proceedings of the 20th conference on Winter simulation
Heterogenous distributed simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
High performance parallelized discrete event simulation of stochastic queueing networks
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
Optimal performance of distributed simulation programs
WSC '87 Proceedings of the 19th conference on Winter simulation
Performance issues for distributed battlefield simulations
WSC '87 Proceedings of the 19th conference on Winter simulation
Direct execution models of processor behavior and performance
WSC '87 Proceedings of the 19th conference on Winter simulation
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Trade-Off between Sequential and Time Warp-Based Parallel Simulation
IEEE Transactions on Parallel and Distributed Systems
Parallel and distributed simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
A global synchronization network for a non-deterministic simulation architecture
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Optimistic parallel simulation over a network of workstations
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Statically Safe Speculative Execution for Real-Time Systems
IEEE Transactions on Software Engineering
Parallel simulation using the time warp operating system (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Parallel simulation of the Sharks World problem
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A time warp implementation of Sharks World
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
Near-term distributed simulation of apparel manufacturing
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
Efficient Execution of Time Warp Programs on Heterogeneous, NOW Platforms
IEEE Transactions on Parallel and Distributed Systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Slow memory: the rising cost of optimism
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
An approach for federating parallel simulators
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Model structure and load balancing in optimistic parallel discrete event simulation
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
An empirical study of conservative scheduling
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Grain sensitive event scheduling in time warp parallel discrete event simulation
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
1/k phase stamping for continuous shared data (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Parallel and distributed VHDL simulation
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Timewarp rigid body simulation
Proceedings of the 27th annual conference on Computer graphics and interactive techniques
Web-based network analysis and design
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Timestamp snooping: an approach for extending SMPs
ACM SIGPLAN Notices
Consistency in replicated continuous interactive media
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
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
Advanced optimistic approaches in logic simulation
Proceedings of the conference on Design, automation and test in Europe
A system-level co-verification environment for ATM hardware design
Proceedings of the conference on Design, automation and test in Europe
Parallel shared-memory simulator performance for large ATM networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Lock-free scheduling of logical processes in parallel simulation
Proceedings of the fifteenth workshop on Parallel and distributed simulation
The dependence list in time warp
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Semi-asynchronous checkpointing for optimistic simulation on a Myrinet based NOW
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Spatio-temporal correlations and rollback distributions in optimistic simulations
Proceedings of the fifteenth workshop on Parallel and distributed simulation
A scaled version of the elastic time algorithm
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Causality representation and cancellation mechanism in time warp simulations
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Optimistic simulation of parallel message-passing applications
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Synchronous relaxation for parallel Ising spin simulations
Proceedings of the fifteenth workshop on Parallel and distributed simulation
A probabilistic performance model for conservative simulation protocol
Proceedings of the fifteenth workshop on Parallel and distributed simulation
A Cost Model for Selecting Checkpoint Positions in Time Warp Parallel Simulation
IEEE Transactions on Parallel and Distributed Systems
Timestamp snooping: an approach for extending SMPs
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Non-preemptive time warp scheduling algorithms
ACM SIGOPS Operating Systems Review
Speeding up distributed simulation using the time warp mechanism
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
The Bugnet distributed debugging system
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Wanted: an application aware checkpointing service
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Partitioning WCN models for parallel simulation of radio resource management
Wireless Networks - Special issue: Design and modeling in mobile and wireless systsems
Operating system level support for coherence in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Editorial message: special track on applications of spatial simulation of discrete entities
Proceedings of the 2002 ACM symposium on Applied computing
Proceedings of the 32nd conference on Winter simulation
Parallel execution of a sequential network simulator
Proceedings of the 32nd conference on Winter simulation
Hybrid-system simulation for National Airspace System safety analysis
Proceedings of the 32nd conference on Winter simulation
Partitioning parallel simulation of wireless networks
Proceedings of the 32nd conference on Winter simulation
Dynamic component substitution in web-based simulation
Proceedings of the 32nd conference on Winter simulation
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Conservative simulation using distributed-shared memory
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Addressing blocking and scalability in critical channel traversing
Proceedings of the sixteenth workshop on Parallel and distributed simulation
XSim: real-time analytic parallel simulations
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Early cancellation: an active NIC optimization for time-warp
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Software control systems for parallel simulation
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Lookback: a new way of exploiting parallelism in discrete event simulation
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Parallel simulation: parallel and distributed simulation systems
Proceedings of the 33nd conference on Winter simulation
Proceedings of the 33nd conference on Winter simulation
Proceedings of the 33nd conference on Winter simulation
Reflection in concurrent object-oriented languages
Formal methods for distributed processing
Virtual synchronization for fast distributed cosimulation of dataflow task graphs
Proceedings of the 15th international symposium on System Synthesis
Distributed simulation of asynchronous hardware: the program driven synchronization protocol
Journal of Parallel and Distributed Computing
Parallel discrete-event simulation applications
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Latency hiding with optimistic computations
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
Simulating spatially explicit problems on high performance architectures
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
Parallel simulation by multi-instruction, longest-path algorithms
Queueing Systems: Theory and Applications
Predicting the performance of synchronous discrete event simulation systems
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
A restriction of the elastic time algorithm
Information Processing Letters
Distributed Simulation of Petri Nets
IEEE Parallel & Distributed Technology: Systems & Technology
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
Design Issues in Parallel Simulation Languages
IEEE Design & Test
IEEE Software
Recovering from Multiple Process Failures in the Time Warp Mechanism
IEEE Transactions on Computers
Automatic Parallelization of Compiled Event Driven VHDL Simulation
IEEE Transactions on Computers
Systems with Low Distributed Simulation Overhead
IEEE Transactions on Parallel and Distributed Systems
Conservative Parallel Simulation of Priority Class Queuing Networks
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
On Process Migration and Load Balancing in Time Warp
IEEE Transactions on Parallel and Distributed Systems
On Rolling Back and Checkpointing in Time Warp
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of Time Warp with Multiple Homogeneous Processors
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Maisie: A Language for the Design of Efficient Discrete-Event Simulations
IEEE Transactions on Software Engineering
On the processor scheduling problem in time warp synchronization
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Partitioning PCS Networks for Distributed Simulation
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Conservative Circuit Simulation on Multiprocessor Machines
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Derivatives: A Construct for Internet Programming
ICCL'98 Workshop on Internet Programming Languages
Load Balancing and Workload Minimization Of Overlapping Parallel Tasks
ICPP '97 Proceedings of the international Conference on Parallel Processing
Parallel Synchronization of Continuous Time Discrete Event Simulators
ICPP '97 Proceedings of the international Conference on Parallel Processing
A Risk-Free Multiversion Temporally Correct Algorithm
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Optimizing Costs of Web-based Modeling and Simulation
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
The Speedup Performance of an Associative Memory Based Logic Simulator
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
A Component Model for Discrete Event Simulation
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Faster Simulation of Timed Petri Nets Via Distributed Simulation
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Timed Calculus for Distributed Objects with Clocks
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
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
Parallel Discrete Event Simulation in Star Networks with Application to Telecommunications
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A Technique for the Distributed Simulation of Parallel Computers
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Event List Management in Distributed Simulation
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Optimizing Message Delivery in Asynchronous Distributed Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
High-Speed LANs: New Environments for Parallel and Distributed Applications
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
An Object-Oriented Time Warp Simulation Kernel
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
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
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
Extending PVM with Consistent Cut Capabilities: Application Aspects and Implementation Strategies
Proceedings of the 6th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
PDES: A Case Study Using the Switch Time Warp
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
An Analytical Model of Scheduling for Conservative Parallel Simulation
Proceedings of the 9th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
TWLinuX: Operating System Support for Optimistic Parallel Discrete Event Simulation
HiPC '01 Proceedings of the 8th International Conference on High Performance Computing
Parallel simulation for business process re-engineering
Practical parallel computing
Optimistic parallel simulation of a large-scale view storage system
Future Generation Computer Systems - Selected papers from CCGRID 2002
ICS '03 Proceedings of the 17th annual international conference on Supercomputing
Redesigning the WARPED Simulation Kernel for Analysis and Application Development
ANSS '03 Proceedings of the 36th annual symposium on Simulation
Parallel/Distributed Simulation with the COMPOSE Object-Relational Database
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Exploiting temporal independence in distributed preemptive circuit simulation
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Animation in the Virtual World
CA '96 Proceedings of the Computer Animation
A model for parallel simulation of mobile telecommunication systems
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Large-Scale TCP Models Using Optimistic Parallel Simulation
Proceedings of the seventeenth workshop on Parallel and distributed simulation
DVS: An Object-Oriented Framework for Distributed Verilog Simulation
Proceedings of the seventeenth workshop on Parallel and distributed simulation
CCL v3.0: Multiprogrammed Semi-Asynchronous Checkpoints
Proceedings of the seventeenth workshop on Parallel and distributed simulation
The SPEEDES Persistence Framework and the Standard Simulation Architecture
Proceedings of the seventeenth workshop on Parallel and distributed simulation
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Distributed Simulation of Parallel Executions
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
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)
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)
Some Recent Advances in Software and Hardware Logic Simulation
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Optimistic Synchronization of Mixed-Mode Simulators
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Nonblocking Checkpointing for Optimistic Parallel Simulation: Description and an Implementation
IEEE Transactions on Parallel and Distributed Systems
Large-scale network simulation techniques: examples of TCP and OSPF models
ACM SIGCOMM Computer Communication Review
Optimistic replication in HOPE
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Distributed recovery with K-optimistic logging
Journal of Parallel and Distributed Computing
Parallel and distributed simulation
Applied system simulation
Mesh generation and optimistic computation on the grid
Performance analysis and grid computing
Finding a Recovery Line in Uncoordinated Checkpointing
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Staged simulation: A general technique for improving simulation scale and performance
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Object-oriented parallel parsing for context-free grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
Proceedings of the 26th International Conference on Software Engineering
Journal of Parallel and Distributed Computing
Proceedings of the 18th annual international conference on Supercomputing
Event reconstruction in time warp
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Time warp - connection oriented
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Formalization and strictness of simulation event orderings
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Optimistic synchronization in HLA based distributed simulation
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Space uncertain simulation events: some concepts and an application to optimistic synchronization
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Assembly instruction level reverse execution for debugging
ACM Transactions on Software Engineering and Methodology (TOSEM)
An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel and distributed simulation: managing external workload with BSP time warp
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Parallel and distributed simulation: fast cell level ATM network simulation
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Web-based simulation 2: performance prediction of dynamic component substitutions
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
General methodology 3: a federation object coordinator for simulation based control and analysis
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Parallel simulation: distributed simulation systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Predicting the Performance of Synchronous Discrete Event Simulation
IEEE Transactions on Parallel and Distributed Systems
PDB: Pervasive Debugging With Xen
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Computer Supported Cooperative Work
Subscription propagation in highly-available publish/subscribe middleware
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
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
Partially ordered epochs for thread-level speculation
Proceedings of the 2nd conference on Computing frontiers
Parallel simulation on the hypercube multiprocessor
Distributed Computing
Using n-trees for scalable event ordering in peer-to-peer games
NOSSDAV '05 Proceedings of the international workshop on Network and operating systems support for digital audio and video
The need for real time consistency management in P2P mobile gaming environments
Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology
Simulation
Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
Seven-O'Clock: A New Distributed GVT Algorithm Using Network Atomic Operations
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
Optimistic Protocol Analysis in a Performance Analyzer and Prediction Tool
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
Performance Benchmark of a Parallel and Distributed Network Simulator
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
Evolutionary performance-oriented development of parallel programs by composition of components
Proceedings of the 5th international workshop on Software and performance
Journal of Parallel and Distributed Computing
Speculative execution in a distributed file system
Proceedings of the twentieth ACM symposium on Operating systems principles
Using Consistent Global Checkpoints to Synchronize Processes in Distributed Simulation
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
A Version of MASM Portable Across Different UNIX Systems and Different Hardware Architectures
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
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
On the effects of loose causal consistency in mobile multiplayer games
NetGames '05 Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games
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
Heterogeneous system level co-simulation for the design of telecommunication systems
Journal of Systems Architecture: the EUROMICRO Journal
A Network Architecture Supporting Consistent Rich Behavior in Collaborative Interactive Applications
IEEE Transactions on Visualization and Computer Graphics
Improving Lookahead in Parallel Multiprocessor Simulation Using Dynamic Execution Path Prediction
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Evaluation of a Fault-Tolerance Mechanism for HLA-Based Distributed Simulations
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Distributed Garbage Collection Algorithms for Timestamped Data
IEEE Transactions on Parallel and Distributed Systems
On consistency and network latency in distributed interactive applications: a survey--part I
Presence: Teleoperators and Virtual Environments
An automatic distributed simulation environment
WSC '04 Proceedings of the 36th conference on Winter simulation
Controlling over-optimism in time-warp via CPU-based flow control
WSC '04 Proceedings of the 36th conference on Winter simulation
DSIM: scaling time warp to 1,033 processors
WSC '05 Proceedings of the 37th conference on Winter simulation
Bias in parallel and distributed simulation systems
WSC '05 Proceedings of the 37th conference on Winter simulation
Channel based sequential simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
A framework for fault-tolerance in HLA-based distributed simulations
WSC '05 Proceedings of the 37th conference on Winter simulation
High performance simulation in quasi-continuous manufacturing plants
WSC '05 Proceedings of the 37th conference on Winter simulation
Rendezvous: supporting real-time collaborative mobile gaming in high latency environments
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Speculative execution in a distributed file system
ACM Transactions on Computer Systems (TOCS)
Parallel and distributed simulation: traditional techniques and recent advances
Proceedings of the 38th conference on Winter simulation
Compiled code in distributed logic simulation
Proceedings of the 38th conference on Winter simulation
Causality information and fossil collection in timewarp simulations
Proceedings of the 38th conference on Winter simulation
Incremental checkpointing with application to distributed discrete event simulation
Proceedings of the 38th conference on Winter simulation
A society of simulation approach to dynamic integration of simulations
Proceedings of the 38th conference on Winter simulation
Integrated task and data parallel support for dynamic applications
Scientific Programming
Scaling time warp-based discrete event execution to 104 processors on a Blue Gene supercomputer
Proceedings of the 4th international conference on Computing frontiers
Multiprogrammed non-blocking checkpoints in support of optimistic simulation on myrinet clusters
Journal of Systems Architecture: the EUROMICRO Journal
Local Time Warp: An Implementation and Performance Analysis
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
A Design-Driven Partitioning Algorithm for Distributed Verilog Simulation
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
A Flexible Dynamic Partitioning Algorithm for Optimistic Distributed Simulation
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Optimistic parallelism requires abstractions
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Speculations: providing fault-tolerance and recoverability in distributed environments
HOTDEP'06 Proceedings of the 2nd conference on Hot Topics in System Dependability - Volume 2
Implementing causal logging using OrbixWeb interception
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
The Chubby lock service for loosely-coupled distributed systems
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
A (condensed) parametric study of optimistic computation in wide-area, distributed environments
Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
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
Deterministic Simulation of Hybrid Flow Components
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
An efficient algorithm in the HLA time management
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Optimistic parallel discrete event simulation of the event-based transmission line matrix method
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Fully dynamic epoch time synchronisation method for distributed supply chain simulation
International Journal of Computer Applications in Technology
Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
Micro-Synchronization in Conservative Parallel Network Simulation
Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
A synchronization protocol for supporting peer-to-peer multiplayer online games in overlay networks
Proceedings of the second international conference on Distributed event-based systems
YetiSim: a C++ simulation library with execution graphs instead of coroutines
Proceedings of the 2008 Spring simulation multiconference
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Improved Distributed Simulation of Sensor Networks Based on Sensor Node Sleep Time
DCOSS '08 Proceedings of the 4th IEEE international conference on Distributed Computing in Sensor Systems
The effects of local lag on tightly-coupled interaction in distributed groupware
Proceedings of the 2008 ACM conference on Computer supported cooperative work
The implementation and evaluation of a recovery system for workflows
Journal of Network and Computer Applications
On Parallel Stochastic Simulation of Diffusive Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Optimistic parallelization support for event stream processing systems
Proceedings of the 5th Middleware doctoral symposium
Achieving causal and total ordering in publish/subscribe middleware with DSM
Proceedings of the 3rd workshop on Middleware for service oriented computing
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Optimistic Parallel Simulation over Public Resource-Computing Infrastructures and Desktop Grids
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based Applications
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Time-parallel simulation of wireless ad hoc networks with compressed history
Journal of Parallel and Distributed Computing
Designing a Simulation Middleware for FIPA Multiagent Systems
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Partial order method for timed simulation of system-level MPSoC designs
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
CMV: File consistency maintenance through virtual servers in peer-to-peer systems
Journal of Parallel and Distributed Computing
An approach for the effective utilization of GP-GPUs in parallel combined simulation
Proceedings of the 40th Conference on Winter Simulation
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
xCalls: safe I/O in memory transactions
Proceedings of the 4th ACM European conference on Computer systems
Simulation of scale-free networks
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Optimistic parallelism requires abstractions
Communications of the ACM - The Status of the P versus NP Problem
LazySync: A New Synchronization Scheme for Distributed Simulation of Sensor Networks
DCOSS '09 Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Scalable Time Warp on Blue Gene Supercomputers
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Improving the speed and scalability of distributed simulations of sensor networks
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
Parallel Discrete Event Simulation with AnyLogic
PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Scalable and retargetable simulation techniquesfor multiprocessor systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Run-time conformance checking of mobile and distributed systems using executable models
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Structure-driven optimizations for amorphous data-parallel programs
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Parallel simulation using CORBA: a feasability study
MIC '07 Proceedings of the 26th IASTED International Conference on Modelling, Identification, and Control
A Federated Approach to Parallel and Distributed Simulation of Complex Systems
International Journal of Applied Mathematics and Computer Science
International Journal of Computers and Applications
Time-parallel simulation of wireless ad hoc networks
Wireless Networks
A theory of nested speculative execution
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A null message count of a conservative parallel simulation
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Separability to help parallel simulation of distributed computations
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
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
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Networked Graphics: Building Networked Games and Virtual Environments
Networked Graphics: Building Networked Games and Virtual Environments
Event semantics in event dissemination architectures for massive multiuser virtual environments
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
On the scalability and dynamic load-balancing of optimistic gate level simulation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
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
Profile-based partition for parallel simulation of DEVS-FIRE
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
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An analysis of queuing network simulation using GPU-based hardware acceleration
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACRI'10 Proceedings of the 9th international conference on Cellular automata for research and industry
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
A pattern language for parallelizing irregular algorithms
Proceedings of the 2010 Workshop on Parallel Programming Patterns
International Journal of Computer Games Technology
Toward high-quality modal contact sound
ACM SIGGRAPH 2011 papers
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)
Speculations: providing fault-tolerance and recoverability in distributed environments
HotDep'06 Proceedings of the Second conference on Hot topics in system dependability
The tao of parallelism in algorithms
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Scalable RF propagation modeling on the IBM Blue Gene/L and Cray XT5 supercomputers
Winter Simulation Conference
Experimental analysis of logical process simulation algorithms in JAMES II
Winter Simulation Conference
Using genetic algorithms to limit the optimism in time warp
Winter Simulation Conference
On the scalability and dynamic load balancing of parallel Verilog simulations
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
Ad Hoc Distributed Simulation of Queueing Networks
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
A Multi-State Q-Learning Approach for the Dynamic Load Balancing of Time Warp
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Computational Biology and Chemistry
Simulation environment configuration for parallel simulation of multicore embedded systems
Proceedings of the 48th Design Automation Conference
Worlds: controlling the scope of side effects
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A Well-Balanced Time Warp System on Multi-Core Environments
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
On the Accuracy of Ad Hoc Distributed Simulations for Open Queueing Network
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Application Transparent Migration of Simulation Objects with Generic Memory Layout
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Parallel Discrete Event N-Body Dynamics
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Modeling Billion-Node Torus Networks Using Massively Parallel Discrete-Event Simulation
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Small webcomputing applied to distributed monte carlo calculations
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Towards correct distributed simulation of high-level petri nets with fine-grained partitioning
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
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
A comparative study of stampede garbage collection algorithms
LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing
An evolutionary algorithm to optimize log/restore operations within optimistic simulation platforms
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Fast concurrency control for distributed inverted files
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Efficient recovery from false state in distributed routing algorithms
NETWORKING'10 Proceedings of the 9th IFIP TC 6 international conference on Networking
Scalable simulation of electromagnetic hybrid codes
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
A dead-lock free self-healing algorithm for distributed transactional processes
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Efficiently maintaining consistency using tree-based p2p network system in distributed network games
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
The Relevance of Topology in Parallel Simulation of Biological Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A new method for program inversion
CC'12 Proceedings of the 21st international conference on Compiler Construction
Cache-aware memory manager for optimistic simulations
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Introducing parallelization & performance optimization in SIMULUS based operational simulators
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
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)
A use of matrix with GVT computation in optimistic time warp algorithm for parallel simulation
Proceedings of the 15th Communications and Networking Simulation Symposium
Survey of state melding in virtual worlds
ACM Computing Surveys (CSUR)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Exploring spatial partition for parallel simulation of DEVS-FIRE
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Measuring performance of complex event processing systems
TPCTC'11 Proceedings of the Third TPC Technology conference on Topics in Performance Evaluation, Measurement and Characterization
Parallel discrete event simulation with Erlang
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Speculative parallel asynchronous contact mechanics
ACM Transactions on Graphics (TOG) - Proceedings of ACM SIGGRAPH Asia 2012
Parallel discrete dynamical systems on independent local functions
Journal of Computational and Applied Mathematics
Hierarchical Composite Synchronization
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Dynamically Adjusting Core Frequencies to Accelerate Time Warp Simulations in Many-Core Processors
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Towards Symmetric Multi-threaded Optimistic Simulation Kernels
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Transparent optimistic synchronization in the high-level architecture via time-management conversion
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Load sharing for optimistic parallel simulations on multi core machines
ACM SIGMETRICS Performance Evaluation Review
Methodology for synchronizing discrete event simulation and system dynamics models
Proceedings of the Winter Simulation Conference
Using DVFS to optimize time warp simulations
Proceedings of the Winter Simulation Conference
Assessing load-sharing within optimistic simulation platforms
Proceedings of the Winter Simulation Conference
A general-purpose graph dynamical system modeling framework
Proceedings of the Winter Simulation Conference
Investigating the memory characteristics of a massively parallel time warp kernel
Proceedings of the Winter Simulation Conference
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
Reversible simulations of elastic collisions
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Accelerating optimistic HLA-based simulations in virtual execution environments
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
Consistent and efficient output-streams management in optimistic simulation platforms
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Warp speed: executing time warp on 1,966,080 cores
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Peer-to-peer architectures for massively multiplayer online games: A Survey
ACM Computing Surveys (CSUR)
DEFINED: deterministic execution for interactive control-plane debugging
USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
MillWheel: fault-tolerant stream processing at internet scale
Proceedings of the VLDB Endowment
Time-warp: lightweight abort minimization in transactional memory
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Parallel Algorithms for the Circuit Value Update Problem
Theory of Computing Systems
| Hi-index | 0.05 |
Virtual time is a new paradigm for organizing and synchronizing distributed systems which can be applied to such problems as distributed discrete event simulation and distributed database concurrency control. Virtual time provides a flexible abstraction of real time in much the same way that virtual memory provides an abstraction of real memory. It is implemented using the Time Warp mechanism, a synchronization protocol distinguished by its reliance on lookahead-rollback, and by its implementation of rollback via antimessages.