A new approximation technique is proposed for obtaining analytic estimates of the
performance of computing systems exhibiting non-uniform memory access (NUMA) times …

We present a system for describing and solving closed queuing network models of the
memory access performance of NUMA architectures. The system consists of a model …

Virtualization has become a very important technology which has been adopted in many
enterprise computing systems and data centers. Virtualization makes resource management …

This paper presents new methods for the transient and stationary analysis of stochastic Petri
nets with exponentially distributed and deterministic firing delays. The method of …

Structure performance analysis theory and techniques is an essay to avoid the
computational complexity problem associated to Markovian and discrete event simulation …

In this paper we present and analyse a coloured stochastic Petri net model of a redundant
fault-tolerant system. As our measure of interest we are interested in a dependability metric …

The effectiveness of large scale computing depends to a great extent on the performance of
the memory system. As shared memory multiprocessors grow in size, their memory …

Computer based safety critical systems are progressively replacing analog systems in safety-
critical applications like nuclear power plants. Hence these systems require modeling …

Stochastic Petri nets (SPNs) are well suited for the model-based performance and
dependability evaluation. Most commonly, the firing times of the transitions are exponentially …

SURF-2, a software tool for evaluating system dependability, is described. It is especially
designed for an evaluation-based system design approach in which multiple design …