ACM Transactions on Modeling and Computer Simulation

Integration of emulation and simulation in virtual time requires that emulated execution bursts be ascribed a duration in virtual time and that emulated execution and simulation executions be coordinated within this common virtual time basis. This ...

This article focuses on evaluating the probability that both components of a two-dimensional stochastic process will ever, but not necessarily at the same time, exceed some large level u. An important application is in determining the probability of ...

Formal languages like process algebras have been shown to be effective tools in modelling a wide range of dynamic systems, providing a high-level description that is readily transformed into an executable model. However, their application is sometimes ...

“ProPPA: Probabilistic Programming for Stochastic Dynamical Systems,” by Georgoulas, Hillston, and Sanguinetti, introduces the ProPPA formalism, which brings together ideas from stochastic process algebras with those from the paradigm of probabilistic ...

Cloning is a technique to efficiently simulate a tree of multiple what-if scenarios that are unraveled during the course of a base simulation. However, cloned execution is highly challenging to realize on large, distributed memory computing platforms, ...

Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures conform to a probability distribution. However, reasoning analytically about the behavior of complex stochastic systems is ...

The bi-objective ranking and selection (R8S) problem is a special case of the multi-objective simulation optimization problem in which two conflicting objectives are known only through dependent Monte Carlo estimators, the decision space or number of ...