The drinking philosophers problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Communications of the ACM - Special section on computer architecture
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Monitoring distributed systems
ACM Transactions on Computer Systems (TOCS)
PSI: a petri net based simulator for flexible manufacturing systems
Advances in Petri Nets 1984
Modelling scheduling problems with timed Petri nets
Advances in Petri Nets 1984
Pseudosimulation: an algorithm for distributed similation with limited memory
International Journal of Parallel Programming
Parallel Discrete Event Simulation Using Shared Memory
IEEE Transactions on Software Engineering
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
Communications of the ACM
Massively parallel switch-level simulation: a feasibility study
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Performance evaluation of hierarchical distributed simulators
WSC '85 Proceedings of the 17th conference on Winter simulation
Two approaches to the implementation of a distributed simulation system
WSC '85 Proceedings of the 17th conference on Winter simulation
Parallel discrete event simulation: a case study
ANSS '85 Proceedings of the 18th annual symposium on Simulation
Wolf: a rollback algorithm for optimistic distributed simulation systems
WSC '88 Proceedings of the 20th conference on Winter simulation
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Communicating sequential processes
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Simulation of Computer Communication Systems
Simulation of Computer Communication Systems
Performance analysis of a distributed simulation algorithm based on active logical processes
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
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
The process view of simulation in Ada
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
State of the art in parallel simulation
WSC '92 Proceedings of the 24th conference on Winter simulation
Parallelism in sequential multiprocessor simulation models: a case study
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel and distributed discrete event simulation: algorithms and applications
WSC '93 Proceedings of the 25th conference on Winter simulation
Systems with Low Distributed Simulation Overhead
IEEE Transactions on Parallel and Distributed Systems
Faster Simulation of Timed Petri Nets Via Distributed Simulation
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
| Hi-index | 0.00 |