The RESTART method is a widely applicable simulation technique for the estimation of rare event probabilities. The method is based on the idea to restart the simulation in certain system states, in order to generate more occurrences of the rare event. One of the main questions for any RESTART implementation is how and when to restart the simulation, in order to achieve the most accurate results for a fixed simulation effort. We investigate and compare, both theoretically and empirically, different implementations of the RESTART method. We find that the original RESTART implementation, in which each path is split into a fixed number of copies, may not be the most efficient one. It is generally better to fix the total simulation effort for ea...
International audienceThis paper revisits replication coupled with checkpointing for fail-stop error...
The mean running time of a Las Vegas algorithm can often be dramatically reduced by periodically res...
Abstract The paper is devoted on computer simulation of rare event probability, which is a critical ...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
This paper presents a method for accelerating simulations to estimate the probability of occurrence ...
Statistical model checking uses Monte Carlo simulation to analyse stochastic formal models. It avoid...
Two well-known techniques for rare-event simulation of queueing models are compared with respect to ...
The efficient estimation of system reliability characteristics is of paramount importance for many e...
Abstract We consider a wide class of models that includes the highly reliable Markovian systems (...
Abstract: Rare events are an important limitation of discrete-event simulation in some areas of appl...
This paper focuses on improving the performance of randomized algorithms by exploiting the propertie...
In this paper I describe experiments in the application of dynamic restarts used in heuristic satisf...
Model-based evaluation of highly reliable dynamic systems is an important help in their design. Rare...
International audienceThis paper revisits replication coupled with checkpointing for fail-stop error...
The mean running time of a Las Vegas algorithm can often be dramatically reduced by periodically res...
Abstract The paper is devoted on computer simulation of rare event probability, which is a critical ...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
This paper presents a method for accelerating simulations to estimate the probability of occurrence ...
Statistical model checking uses Monte Carlo simulation to analyse stochastic formal models. It avoid...
Two well-known techniques for rare-event simulation of queueing models are compared with respect to ...
The efficient estimation of system reliability characteristics is of paramount importance for many e...
Abstract We consider a wide class of models that includes the highly reliable Markovian systems (...
Abstract: Rare events are an important limitation of discrete-event simulation in some areas of appl...
This paper focuses on improving the performance of randomized algorithms by exploiting the propertie...
In this paper I describe experiments in the application of dynamic restarts used in heuristic satisf...
Model-based evaluation of highly reliable dynamic systems is an important help in their design. Rare...
International audienceThis paper revisits replication coupled with checkpointing for fail-stop error...
The mean running time of a Las Vegas algorithm can often be dramatically reduced by periodically res...
Abstract The paper is devoted on computer simulation of rare event probability, which is a critical ...