<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Scalable differential analysis of large process algebra models"^^ . "This tutorial is concerned with the performance evaluation of hardware/software systems using ordinary differential equations which approximate large-scale continuous-time Markov processes derived from models described with the stochastic process algebra PEPA. The tutorial is divided into three parts. The first part illustrates the main theoretical results. The second part gives an overview of a software tool-the PEPA Eclipse Plug-in-which supports the differential analysis of PEPA. In the last part, this approach is related to other efficient analysis techniques in the literature. In particular, a comparison against layered queues is presented."^^ . "2010-09" . . "IEEE"^^ . . "IEEE"^^ . . . . . . . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . . . "Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the"^^ . . . . . "HTML Summary of #2574 \n\nScalable differential analysis of large process algebra models\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .