This paper is about better engineering of cyber-physical systems (CPSs) through better
models. Deterministic models have historically proven extremely useful and arguably form …

This survey covers rollback-recovery techniques that do not require special language
constructs. In the first part of the survey we classify rollback-recovery protocols into …

Roughly at the time (1987) when the manuscript for the first three chapters of the present
book was completed, several breakthroughs occurred. They had a profound influence on the …

Originating from basic research conducted in the 1970's and 1980's, the parallel and
distributed simulation field has matured over the last few decades. Today, operational …

Parallel discrete event simulation (PDES), sometimes called distributed simulation, refers to
the execution of a single discrete event simulation program on a parallel computer. PDES …

GPUs have been used to accelerate many regular applications and, more recently, irregular
applications in which the control flow and memory access patterns are data-dependent and …

A number of library-based parallel and sequential network simulators have been designed.
This paper describes a librav, called GloMoSim (for Global Mobile system Simulator), for …

The Parallel Programming Guide for Every Software Developer From grids and clusters to
next-generation game consoles, parallel computing is going mainstream. Innovations such …

For more than thirty years, the parallel programming community has used the dependence
graph as the main abstraction for reasoning about and exploiting parallelism in" regular" …

Cyber-physical model-based solutions should rely on digital twins in which simulations are
integrated with real-time sensory and manufacturing data. This paper highlights the benefits …