Algorithms for unboundedly parallel simulations
ACM Transactions on Computer Systems (TOCS)
Diffusion of the push-out buffer management policy
IEEE INFOCOM '92 Proceedings of the eleventh annual joint conference of the IEEE computer and communications societies on One world through communications (Vol. 1)
A time-division algorithm for parallel simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Exact sampling with coupled Markov chains and applications to statistical mechanics
Proceedings of the seventh international conference on Random structures and algorithms
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Massively Parallel Algorithms for Trace-Driven Cache Simulations
IEEE Transactions on Parallel and Distributed Systems
An Algorithmic Approach to Stochastic Bounds
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Size-based scheduling to improve web performance
ACM Transactions on Computer Systems (TOCS)
Speedup-Precision Tradeoffs in Time-Parallel Simulation of Wireless Ad hoc Networks
DS-RT '06 Proceedings of the 10th IEEE international symposium on Distributed Simulation and Real-Time Applications
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Challenges and benefits of time-parallel simulation of wireless ad hoc networks
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Different Monotonicity Definitions in Stochastic Modelling
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Improving Time Parallel Simulation for Monotone Systems
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Statistical Model Checking Using Perfect Simulation
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Monotone queuing networks and time parallel simulation
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Tradeoff between accuracy and efficiency in the time-parallel simulation of monotone systems
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Tradeoff between accuracy and efficiency in the time-parallel simulation of monotone systems
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Hi-index | 0.00 |
We adapt Nicol's approach for the time parallel simulation with fix-up computations. We use the concept of monotonicity of a model related to the initial state of the simulation to derive bounds of the sample-paths. We prove several algorithms with fix-up computations which minimises the number of runs before we get a consistent sample-path. We obtain proved upper or lower bounds of the sample-path of the simulation and bounds of some estimates as well.