Titlebook: Computer Performance Engineering; 12th European Worksh Marta Beltrán,William Knottenbelt,Jeremy Bradley Conference proceedings 2015 Springe

HACK

A Markovian Queueing System for Modeling a Smart Green Base Stationmensional Markovian model to study the performance of the BS. The stationary distribution of the system state is obtained and key performance metrics are calculated. A small numerical example illustrates the model and a simplified product-form approximation is proposed.

ULCER

ETCH

Markov Decision Petri Nets with Uncertainty probabilities and rewards are defined by intervals rather than constant values. The resulting process is a Bounded Parameter MDP (BMDP). The paper shows how BMDPs are generated from MDPNUs, how analysis methods can be applied and which results can be derived from the models.

妨礙議事

Computing Response Time Distributions Using Iterative Probabilistic Model Checkingng the length of a (discrete) model time unit, and (ii) computing only absolute bounds by replacing probabilistic choices with non-deterministic ones. We use an industrial case on image processing of an interventional X-ray system to illustrate our approach.

ARBOR