Titlebook: Quantitative Evaluation of Systems; 13th International C Gul Agha,Benny Van Houdt Conference proceedings 2016 Springer International Publis

Mechanics

Property-Driven State-Space Coarsening for Continuous Time Markov Chainsems which are more amenable to analysis and exploration; most current methods, however, focus on a priori state aggregation based on similarities in transition rates, which is not necessarily reflected in similar behaviours at the level of trajectories. We propose a way to coarsen the state-space of

葡萄糖

压倒性胜利

Data-Efficient Bayesian Verification of Parametric Markov Chainsch, for properties expressed in a probabilistic logic, that addresses incomplete model knowledge. We obtain experimental data from a system that can be modelled as a parametric Markov chain. We propose a novel verification algorithm to quantify the confidence the underlying system satisfies a given

Schlemms-Canal

embolus

豪华

Multiple

Energy-Aware Server with SRPT Scheduling: Analysis and Optimizationlicy that allows to put the server to a sleep mode to save energy with an additional delay cost, the setup delay, after the server is turned on again. Our main result is the derivation of mean response time for such a system under SRPT scheduling. In particular, we show that the mean response time c

Myelin

Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stationsons associated with the same job are carried out and a job is considered served only when all the parallel tasks it consists of are served and then joined. The fork-join nodes that we consider consist of . parallel servers each of which is equipped with two FCFS queues, namely the service-queue and