Performance evaluation of mobile processes via abstract machines.

We use a structural operational semantics which drives us in inferring quantitative measures on system evolution. The transitions of the system are labeled and we assign rates to them by only looking at these labels. The rates reflect the possibly distributed architecture on which applications run....

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE Transactions on software engineering 27, 10 (2001).
1. Verfasser:	Nottegar, C.
Format:	Artikel
Sprache:	English
Schlagworte:	Markov chains. Abstract machines. Calculi for mobility. Distributed architecture. Formal methodology. Mobile computation. Mobile processes. Performance evaluation. Prefetch pipeline machine. Quantitative measures. Stochastic models. Structural operational semantics. System evolution. Uniprocessor.