<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Bottom-up beats top-down hands down"^^ . "In PEPA, the calculation of the transitions enabled by a process accounts for a large part of the time for the state space exploration of the underlying Markov chain. Unlike other approaches based on recursion, we present a new technique that is iterative—it traverses the process’ binary tree from the sequential components at the leaves up to the root. Empirical results shows that this algorithm is faster than a similar implementation employing recursion in Java. Finally, a study on the user-perceived performance compares our algorithm with those of other existing tools\r\n(ipc/Hydra and the PEPA Workbench). "^^ . "2007-07" . . "AESOP"^^ . . . . . . . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . . . . "HTML Summary of #2555 \n\nBottom-up beats top-down hands down\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .