Titlebook: Quantitative Evaluation of Computing and Communication Systems; 8th International Co Heinz Beilner,Falko Bause Conference proceedings 1995

否認(rèn)

Integration of performance evaluations in the design process of CPUs and computer systems,itative values for model parameters. Nevertheless, cost could be reduced significantly and values could be better estimated if information which already emerged in component designs was made available. In this contribution a concept is presented which links the different “worlds” of computer design,

認(rèn)為

粗俗人

agonist

忘恩負(fù)義的人

搖曳的微光

chalice

A new iterative numerical solution algorithm for Markovian queueing networks, of storage requirements for generator matrices of Markov chains. Applying this algorithm in the area of iterative numerical solution methods, we can show that neither the generator matrix nor ”parts” of them must be generated and stored. We will consider models with up to 10. states and 10. matrix

承認(rèn)

Transient analysis of deterministic and stochastic Petri nets with TimeNET, TimeNET. The technique is based on the derivation of state equations by the method of supplementary variables. The system of equations consists of partial and ordinary differential equations which are combined with initial and boundary conditions. Algorithms for the numerical analysis of the equati

共和國(guó)

QPN-Tool for the specification and analysis of hierarchically combined Queueing Petri nets, HQPNs are an extension of QPNs allowing the refinement of places by QPN subnets and/or queues. HQPNs can be analysed with respect to qualitative and quantitative aspects. Quantitative analysis is based on numerical Markov chain analysis. In contrast to conventional techniques the Markov chain under

談判

,Approximate analysis of networks of PH|PH|1|, queues: Theory & tool support,oposed by Whitt, where large QNs are decomposed into individual GI|G|1 queues, characterized by the first and second moment of the service and interarrival time distribution. We extend this approach in two ways..First of all, we use PH|PH|1 queues, instead of GI|G|1 queues, so that the individual qu