Sciweavers

929 search results - page 5 / 186
» Performance analysis of stochastic process algebra models us...
Sort
View
PE
2010
Springer
123views Optimization» more  PE 2010»
13 years 2 months ago
Evaluating fluid semantics for passive stochastic process algebra cooperation
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
Richard A. Hayden, Jeremy T. Bradley
GLOBECOM
2009
IEEE
13 years 11 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang
WSC
2004
13 years 9 months ago
Stochastic Petri Nets for Modelling and Simulation
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
Peter J. Haas
WOSP
2004
ACM
14 years 1 months ago
Software performance modelling using PEPA nets
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Stephen Gilmore, Jane Hillston, Leïla Kloul, ...
DAGSTUHL
2006
13 years 9 months ago
Stochastic Process Algebra Models of a Circadian Clock
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
Jeremy T. Bradley, Thomas Thorne