Sciweavers

929 search results - page 6 / 186
» Performance analysis of stochastic process algebra models us...
Sort
View
ICALP
2000
Springer
13 years 11 months ago
A Matrix-based Method for Analysing Stochastic Process Algebras
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
Jeremy T. Bradley, N. J. Davies
WSC
2008
13 years 10 months ago
Stochastic kriging for simulation metamodeling
We extend the basic theory of kriging, as applied to the design and analysis of deterministic computer experiments, to the stochastic simulation setting. Our goal is to provide fl...
Bruce E. Ankenman, Barry L. Nelson, Jeremy Staum
ARTS
1999
Springer
13 years 12 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
BMCBI
2008
77views more  BMCBI 2008»
13 years 7 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...