Sciweavers

929 search results - page 6 / 186
» Performance analysis of stochastic process algebra models us...
Sort
View
101
Voted
ICALP
2000
Springer
15 years 7 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
118
Voted
WSC
2008
15 years 5 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
15 years 7 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
118
Voted
BMCBI
2008
77views more  BMCBI 2008»
15 years 3 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...