59 search results - page 1 / 12 » Parallel PEPS Tool Performance Analysis Using Stochastic Aut... |
EUROPAR
2004
Springer
13 years 9 months ago
2004
Springer
SBACPAD
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
COORDINATION
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
COORDINATION
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...