期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2021; 31 (3)
The software running in embedded or cyber-physical systems is typically of proprietary nature, so users do not know precisely what the systems they ow......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2021; 31 (3)
Markov automata are a compositional modelling formalism with continuous stochastic time, discrete probabilities, and nondeterministic choices. In this......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2021; 31 (4)
We develop a newefficient simulation scheme for sampling two families of tilted stable distributions: exponential tilted stable (ETS) and gamma tilted......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2020; 30 (2)
Load imbalance has always been a crucial challenge in Parallel Discrete Event Simulation (PINS). In the past few years, we have witnessed an increased......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2020; 30 (3)
One limitation of current data-driven automatic crowd modeling methods is that the models generated have low interpretability, which limits the practi......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2020; 30 (1)
For many large and complex computer models, there usually exist a large number of unknown parameters. To improve the computer model's predictive perfo......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2019; 29 (2)
Social contact network (SCN) models the daily contacts between people in real life. It consists of agents and locations. When agents visit a location ......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2019; 29 (4)
Accurate Modelling of a real-world system with probabilistic behaviour is a difficult task. Sensor noise and statistical estimations, among other impr......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018; 28 (4)
In this article, we propose a role-dependent (RD) data-driven modeling approach to simulate pedestrians' motion in high-density scenes. It is commonly......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018; 28 (3)
This article addresses statistical output analysis of transient simulations in the parallel computing environment with fixed computing time. Using par......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018; 28 (3)
"Reusing Search Data in Ranking and Selection: What Could Possibly Go Wrong?" [2] by Eckman and Henderson rigorously defines the statistical guarantee......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018; 28 (3)
In this article, we develop a new scheme of exact simulation for a class of tempered stable (TS) and other related distributions with similar Laplace ......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2017; 27 (2)
Cells exhibit stochastic behavior when the number of molecules is small. Hence a stochastic reaction-diffusion simulator capable of working at scale c......
期刊： ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2017; 27 (3)
The eXecutable Micro-Architectural Specification (xMAS) language developed in recent years finds an effective way to model on-chip communication fabri......
