204 search results - page 2 / 41 » Let's Evaluate Performance Algebraically |
112
click to vote
SAC
2008
ACM
14 years 11 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
14 years 11 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
15 years 1 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
15 years 4 months ago
2001
Springer
ICCS
2004
Springer
15 years 5 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...