scholarly journals Modelling and Analysis of Markov Reward Automata

Author(s):  
Dennis Guck ◽  
Mark Timmer ◽  
Hassan Hatefi ◽  
Enno Ruijters ◽  
Mariëlle Stoelinga
Keyword(s):  
1993 ◽  
Vol 30 (3) ◽  
pp. 548-560 ◽  
Author(s):  
Yasushi Masuda

The main objective of this paper is to investigate the conditional behavior of the multivariate reward process given the number of certain signals where the underlying system is described by a semi-Markov process and the signal is defined by a counting process. To this end, we study the joint behavior of the multivariate reward process and the multivariate counting process in detail. We derive transform results as well as the corresponding real domain expressions, thus providing clear probabilistic interpretation.


2004 ◽  
Vol 386 ◽  
pp. 383-405 ◽  
Author(s):  
M. Telek ◽  
A. Horváth ◽  
G. Horváth

2001 ◽  
Vol 44 (1-4) ◽  
pp. 165-186 ◽  
Author(s):  
Katinka Wolter ◽  
Andrea Zisowsky
Keyword(s):  

Author(s):  
Yonal Kirsal

Virtualization of resources is a widely accepted technique to optimize resources in recent technologies. Virtualization allows users to execute their services on the same physical machine, keeping these services isolated from each other. This paper proposes the analytical models for performability evaluation of virtualized servers with dynamic resource utilization. The performance and avalability models are considered separately due to the behaviour of the proposed system. The well-known Markov Reward Model (MRM) is used for the solution of the analytical model considered together with an exact spectral expansion and product form solution. The dynamic resource utilization is employed to enhance the QoS of the proposed model which is another major issue in the performance characterization of virtulazilation. In this paper, the performability output parameters, such as mean queue length, mean response time and blocking probability are computed and presented for the proposed model. In addition, the performability results obtained from the analytical models are validated by the simulation (DES) results to show the accuracy and effectiveness of the proposed work. The results indicate the proposed modelling results show good agreement with DES and understand the factors are very important to improve the QoS.


Sign in / Sign up

Export Citation Format

Share Document