204 search results - page 2 / 41 » Let's Evaluate Performance Algebraically |
SAC
2008
ACM
13 years 4 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
TCS
2002
13 years 4 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
FORTE
2004
13 years 6 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
ICCS
2004
Springer
13 years 10 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...