HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
Steve Quenette, Louis Moresi, P. D. Sunter, Bill F...
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
This paper presents a multi-dimensional point scatterer distribution model for the context of ultrasound image simulation. The model has a simple parameterisation, has low computa...