Sciweavers

19 search results - page 1 / 4
» qest 2007
Sort
View
QEST
2007
IEEE
13 years 11 months ago
Model checking the probabilistic pi-calculus
Gethin Norman, Catuscia Palamidessi, David Parker,...
QEST
2007
IEEE
13 years 11 months ago
A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana F...
QEST
2007
IEEE
13 years 11 months ago
The PEPA Plug-in Project
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
Mirco Tribastone
QEST
2007
IEEE
13 years 11 months ago
Distritrack: Automated Average-Case Analysis
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
David Hickey
QEST
2007
IEEE
13 years 11 months ago
A Performance Analysis Tool for Scenario-Aware Streaming Applications
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
Bart D. Theelen