ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Breaking the barrier of parallel simulation of digital systems
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Proceedings of the seventh workshop on Parallel and distributed simulation
PADS93 Workshop on Parellel and Distributed Simulation
Corolla partitioning for distributed logic simulation of VLSI-circuits
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Proceedings of the eighth workshop on Parallel and distributed simulation
8PADS94 ACM/IEEE 8th Workshop on Parallel and Distributed
Parallel logic simulation of VLSI systems
ACM Computing Surveys (CSUR)
WSC '88 Proceedings of the 20th conference on Winter simulation
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
Performance of synchronous parallel discrete-event simulation
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
A linear-time heuristic for improving network partitions
DAC '82 Proceedings of the 19th Design Automation Conference
Parallel mixed-level simulation of digital circuits using virtual time
Parallel mixed-level simulation of digital circuits using virtual time
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
Predicting the Performance of Synchronous Discrete Event Simulation
IEEE Transactions on Parallel and Distributed Systems
Compiled code in distributed logic simulation
Proceedings of the 38th conference on Winter simulation
Learning to order BDD variables in verification
Journal of Artificial Intelligence Research
Functional-Level Hardware Simulation with Pull-Model Data Flow
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Robust partitioning for hardware-accelerated functional verification
Proceedings of the 48th Design Automation Conference
| Hi-index | 0.00 |