Communicating sequential processes
Communications of the ACM
Termination Detection of Diffusing Computations in Communicating SequentialProcesses
Termination Detection of Diffusing Computations in Communicating SequentialProcesses
Parallel algorithms for multiple processor architectures.
Parallel algorithms for multiple processor architectures.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
A literature survey on distributed discrete event simulation
ACM SIGSIM Simulation Digest
Parallel discrete event simulation: a shared memory approach
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
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
Parallel Discrete Event Simulation Using Shared Memory
IEEE Transactions on Software Engineering
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
Software engineering for distributed applications: the design project
ICSE '88 Proceedings of the 10th international conference on Software engineering
An open enviornment for building parallel programming systems
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Using distributed simulation for distributed application development
ANSS '88 Proceedings of the 21st annual symposium on Simulation
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
What have we learnt from using real parallel machines to solve real problems?
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
An algorithm for parallel discrete event simulation using common memory
ACM SIGSIM Simulation Digest
Analysis of cache invalidation patterns in multiprocessors
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Characterization of parallelism and deadlocks in distributed digital logic simulation
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Data parallel simulation using time-warp on the connection machine
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
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
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
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
Efficient parallel logic simulation techniques for the connection machine
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Distributed and parallel demand driven logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
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
SPLASH: Stanford parallel applications for shared-memory
ACM SIGARCH Computer Architecture News
Synchronization mechanisms for distributed event-driven computation
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)
Cache Invalidation Patterns in Shared-Memory Multiprocessors
IEEE Transactions on Computers
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
An algorithm for minimally latent global virtual time
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
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Run length control using parallel spectral method
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
A parallel simulator for performance modelling of broadband telecommunication networks
WSC '92 Proceedings of the 24th conference on Winter simulation
Cooperative acceleration: robust conservative distributed discrete event 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
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
Parallel logic simulation of VLSI systems
ACM Computing Surveys (CSUR)
A Parallelism Analyzer for Conservative Parallel Simulation
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
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
Prediction of memory consumption in conservative parallel simulation
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
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
Architectural optimizations to advanced distributed simulation
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
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
A performance evaluation methodology for parallel simulation protocols
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Improving conservative VHDL simulation performance by reduction of feedback
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
Instability and performance limits of distributed simulators of feedforward queueing networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Two approaches to the implementation of a distributed simulation system
WSC '85 Proceedings of the 17th conference on Winter simulation
Parallel and distributed discrete event simulation: algorithms and applications
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
A case study of verification, validation, and accreditation for advanced distributed simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel timing simulation on a distributed memory multiprocessor
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
A framework for performance analysis of parallel discrete event simulators
Proceedings of the 29th conference on Winter simulation
Web-based simulation in Simjava using remote method invocation
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
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
Parallel logic simulation on general purpose machines
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Optimism: not just for event execution anymore
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
An assessment of the ModSim/TWOS parallel simulation environment
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
Fault-tolerant distributed simulation
WSC '91 Proceedings of the 23rd conference on Winter 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
A case against event-driven simulation for digital system design
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
Potential performance of parallel conservative simulation of VLSI circuits and systems
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Performance evaluation of the discrete event simulation computer DESC
ANSS '85 Proceedings of the 18th annual symposium on Simulation
Parallel discrete event simulation: a case study
ANSS '85 Proceedings of the 18th annual symposium on Simulation
Asynchronous control of discrete event simulation
ANSS '85 Proceedings of the 18th 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
Statistics on logic simulation
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
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
Statistical analysis of parallel simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems
WSC '86 Proceedings of the 18th conference on Winter simulation
Optimal performance of distributed simulation programs
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
Simulating feedforward systems using a network of processors
ANSS '86 Proceedings of the 19th annual symposium on Simulation
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Parallel and distributed simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
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
Restructuring networks to avoid deadlocks in parallel simulations
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Applying parallel discrete event simulation to network emulation
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Slow memory: the rising cost of optimism
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Network aware time management and event distribution
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Load balancing for conservative simulation on shared memory multiprocessor systems
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
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Parallel and distributed VHDL simulation
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Performance Evaluation of Conservative Algorithms in Parallel Simulation Languages
IEEE Transactions on Parallel and Distributed Systems
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
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 probabilistic performance model for conservative simulation protocol
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Speeding up distributed simulation using the time warp mechanism
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Distributed simulation using a look-ahead algorithm
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
Proceedings of the 2002 ACM symposium on Applied computing
Parallel simulation: parallel and distributed simulation systems
Proceedings of the 33nd conference on Winter simulation
Virtual synchronization for fast distributed cosimulation of dataflow task graphs
Proceedings of the 15th international symposium on System Synthesis
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
Parallel simulation by multi-instruction, longest-path algorithms
Queueing Systems: Theory and Applications
Parallel Distributed-Time Logic Simulation
IEEE Design & Test
Automatic Parallelization of Compiled Event Driven VHDL Simulation
IEEE Transactions on Computers
Development of a Class of Distributed Termination Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
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
An adaptive partitioning algorithm for distributed discrete event simulation systems
Journal of Parallel and Distributed Computing - Problems in parallel and distributed computing: Solutions based on evolutionary paradigms
The Speedup Performance of an Associative Memory Based Logic Simulator
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
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
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
Parallel simulation for business process re-engineering
Practical parallel computing
Modelling and designing a low-cost high-fidelity mobile crane simulator
International Journal of Human-Computer Studies
Demand-driven logic simulation using a network of loosely coupled processors
Journal of Systems Architecture: the EUROMICRO Journal
Exploiting temporal independence in distributed preemptive circuit simulation
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Active logical processes and distributed simulation: An analysis
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
An experiment in microprocessor-based distributed digital simulation
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
A shared resource algorithm for distributed simulation
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A language-directed distributed discrete simulation system (Extended Abstract)
WSC '84 Proceedings of the 16th conference on Winter simulation
Asynchronous simulation of some discrete time models
WSC '84 Proceedings of the 16th conference on Winter simulation
Problem oriented protocol design
WSC '84 Proceedings of the 16th conference on Winter simulation
DVS: An Object-Oriented Framework for Distributed Verilog Simulation
Proceedings of the seventeenth workshop on Parallel and distributed simulation
Distributed Simulation of Parallel Executions
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
Distributed Network Simulations Using the Dynamic Simulation Backplane
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Optimistic Synchronization of Mixed-Mode Simulators
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
An Approach to Mapping the Timing Behavior of VLSI Circuits on Emulators
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Time warp - connection oriented
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Conservative synchronization of large-scale network simulations
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Parallel simulation: distributed simulation systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Simulation of large scale networks I: modelling differentiated services in conservative PDES
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Algorithms and analyses: piggy-backed time-stepped simulation with ‘super-stepping’
Proceedings of the 35th conference on Winter simulation: driving innovation
µsik " A Micro-Kernel for Parallel/Distributed Simulation Systems
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
Problem oriented protocol design
ACM SIGSIM Simulation Digest
The discrete event simulation computer - DESC
ACM SIGSIM Simulation Digest
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
Distributed Garbage Collection Algorithms for Timestamped Data
IEEE Transactions on Parallel and Distributed Systems
Distributing a large-scale, complex FAB simulation using HLA and Java: issues and lessons
WSC '04 Proceedings of the 36th conference on Winter simulation
Parallel simulation of petri nets on desktop pc hardware
WSC '05 Proceedings of the 37th conference on Winter simulation
Efficiently unifying parallel simulation techniques
Proceedings of the 44th annual Southeast regional conference
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
Scaling time warp-based discrete event execution to 104 processors on a Blue Gene supercomputer
Proceedings of the 4th international conference on Computing frontiers
The Nachos instructional operating system
USENIX'93 Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings
An efficient delay-optimal distributed termination detection algorithm
Journal of Parallel and Distributed Computing
A-Ports: an efficient abstraction for cycle-accurate performance models on FPGAs
Proceedings of the 16th international ACM/SIGDA symposium on Field programmable gate arrays
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
Micro-Synchronization in Conservative Parallel Network Simulation
Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
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
Time-parallel simulation of wireless ad hoc networks with compressed history
Journal of Parallel and Distributed Computing
Partial order method for timed simulation of system-level MPSoC designs
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
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
A-Port Networks: Preserving the Timed Behavior of Synchronous Systems for Modeling on FPGAs
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
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
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
Event-driven gate-level simulation with GP-GPUs
Proceedings of the 46th Annual Design Automation Conference
Instruction-level simulation of a cluster at scale
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
A null message count of a conservative parallel simulation
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
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
A New Algorithm for VHDL Parallel Simulation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Gate-Level Simulation with GPU Computing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Simulation environment configuration for parallel simulation of multicore embedded systems
Proceedings of the 48th Design Automation Conference
Making time-stepped applications tick in the cloud
Proceedings of the 2nd ACM Symposium on Cloud Computing
Parallel Discrete Event N-Body Dynamics
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Extending time management support for multi-agent systems
MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
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
Design a PC-CAVE environment using the parallel rendering approach
AsiaSim'04 Proceedings of the Third Asian simulation conference on Systems Modeling and Simulation: theory and applications
A comparative study of stampede garbage collection algorithms
LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing
Distribution of parallel discrete-event simulations in GES: core design and optimizations
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Scalable simulation of electromagnetic hybrid codes
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Towards scalable network emulation
Computer Communications
A time management optimization framework for large-scale distributed hardware-in-the-loop simulation
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Distributed ONE: scalable parallel network simulation
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques
Parallel Algorithms for the Circuit Value Update Problem
Theory of Computing Systems
Hi-index | 0.03 |