A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
History cache: hardware support for reverse execution
ACM SIGARCH Computer Architecture News
A case study in simulating PCS networks using Time Warp
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Incremental state saving in SPEEDES using C++
WSC '93 Proceedings of the 25th conference on Winter simulation
A random number generator based on the combination of four LCGs
Mathematics and Computers in Simulation - Special issue: papers presented at the MSSA/IMACS 11th biennial conference on modelling and simulation
Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on uniform random number generation
Nops: a conservative parallel simulation engine for TeD
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Formal verification and empirical analysis of rollback relaxation
Journal of Systems Architecture: the EUROMICRO Journal - Special double issue: parallel and distributed simulation
NREVERSAL of Fortune - The Thermodynamics of Garbage Collection
IWMM '92 Proceedings of the International Workshop on Memory Management
Optimizing incremental state-saving and restoration
Optimizing incremental state-saving and restoration
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
ROSS: a high-performance, low memory, modular time warp system
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Efficient distributed simulation of a communication switch with bursty sources and losses
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Systems support for scalable data mining
ACM SIGKDD Explorations Newsletter - Special issue on “Scalable data mining algorithms”
Editorial message: special track on applications of spatial simulation of discrete entities
Proceedings of the 2002 ACM symposium on Applied computing
Proceedings of the 33nd conference on Winter simulation
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
Optimistic parallel simulation of a large-scale view storage system
Future Generation Computer Systems - Selected papers from CCGRID 2002
Proceedings of the seventeenth workshop on Parallel and distributed simulation
Event reconstruction in time warp
Proceedings of the eighteenth workshop on Parallel and distributed simulation
JiST: an efficient approach to simulation using virtual machines: Research Articles
Software—Practice & Experience
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Parallel discrete-event simulation of population dynamics
Proceedings of the 40th Conference on Winter Simulation
Reversible Parallel Discrete-Event Execution of Large-Scale Epidemic Outbreak Models
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
A new method for program inversion
CC'12 Proceedings of the 21st international conference on Compiler Construction
International Journal of Parallel Programming
| Hi-index | 0.00 |