Titlebook: Computer Performance Engineering; 11th European Worksh András Horváth,Katinka Wolter Conference proceedings 2014 Springer International Pub

Osteoporosis

Veneer

Misnomer

迫擊炮

Formal Punctuality Analysis of Frequent Bus Services Using Headway Datamance of their network meets the targets set by government regulators. We carry out a case study using Automatic Vehicle Location (AVL) data involving two frequent services, including the AirLink service to and from Edinburgh airport.

變色龍

Mettle

Hippocampus

A Systematic Approach for Composing General Middleware Completions to Performance Modelsemplate and elaborations for middleware features. The template is applied to several common request-reply middleware systems. A process is given for building a new middleware completion model and for incorporating it into a LQN model.

Coma704

幻影

Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues. Idle servers preserve their phases..We transform the obtained infinite state optimization problem to a finite state one and apply two optimization procedures, policy iteration of finite state MDP and linear programming.

CHANT