Sciweavers

4018 search results - page 6 / 804
» Process algebra for performance evaluation
Sort
View
WOSP
2004
ACM
15 years 2 months ago
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas ...
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
14 years 11 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
IPPS
2006
IEEE
15 years 3 months ago
Performance analysis of stochastic process algebra models using stochastic simulation
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
EPEW
2008
Springer
14 years 11 months ago
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
Jeremy T. Bradley