almediah.fr
» » A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)

Download A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science) eBook

by Jane Hillston

Download A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science) eBook
ISBN:
0521571898
Author:
Jane Hillston
Category:
Hardware & DIY
Language:
English
Publisher:
Cambridge University Press (August 28, 1996)
Pages:
170 pages
EPUB book:
1677 kb
FB2 book:
1117 kb
DJVU:
1124 kb
Other formats
azw docx lrf mobi
Rating:
4.7
Votes:
128


This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling.

This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies taken from the area of communication systems, can readily be used to construct a variety of models that can be analysed using standard numerical techniques.

A Compositional Approach to Performance Modelling. Published online: 24 November 2009. This is an important task, since movement reveals valuable information about the environment. Winner of the Distinguished Dissertation in Computer Science award, this work will prove invaluable to both designers and hardware engineers involved in the development of practical three-dimensional integrated circuits. Project Factorisations in Partial Evaluation.

A Compositional Approach to Performance Modelling (1994) . Robert J. Pooley Julian Bradfield  . Her thesis won one of the BCS/CPHC Distinguished Dissertation Awards for 1995 and has been published by Cambridge University Press.

Author: Jane Hillston. Logic in Computer Science: Modelling and Reasoning about Systems - Errata. Logic in Computer Science: Modelling and Reasoning about Systems. Computer Vision: A Modern Approach. Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science).

oceedings{Hillston2005ACA, title {A Compositional Approach to Performance Modelling . Compositional Approach to Quantify the Vulnerability of Computer Systems. Hossein Homaei, Hamid Reza Shahriari.

oceedings{Hillston2005ACA, title {A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)}, author {Jane Hillston}, year {2005} }. Jane Hillston. Topics from this paper. Explore Further: Topics Discussed in This Paper. Publications citing this paper. Showing 1-6 of 6 citations. Performance and Security Tradeoff. Katinka Wolter, Philipp Reinecke.

Hillston, . A Compositional Approach to Performance Modelling. Distinguished Dissertations in Computer Science, vol. 12. Cambridge University Press, Cambridge (1996) Scholar. 2. Bernardo, . Gorrieri, . Extended Markovian Process Algebra. In: Sassone, . Montanari, U. (ed. CONCUR 1996. LNCS, vol. 1119, pp. 315–330.

A Compositional Approach to Performance Modelling (Distinguished Disse. A Compositional Approach to Performance Modelling (Distinguished Disse. 1 2 3 4 5. Want to Read. S Gilmore, J Hillston. Cambridge Univ Pr, 2005. The PEPA workbench: a tool to support a process algebra-based approach to performance modelling. Computer Performance Evaluation Modelling Techniques and Tools, 353-368, 1994. Bio-PEPA: a framework for the modelling and analysis of biological systems. F Ciocchetta, J Hillston. 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005. Bio-PEPA: an extension of the process algebra PEPA for biochemical networks.

A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science). Formal Methods for Performance Evaluation, 7 school, SFM 2007. Marco Bernardo, Jane Hillston. Category: Компьютеры. 8 Mb.

This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies taken from the area of communication systems, can readily be used to construct a variety of models that can be analysed using standard numerical techniques. One of the major advantages of PEPA over the standard methods for specifying stochastic performance models is the inherent apparatus for reasoning about the structure and behaviour of models. In the later chapters this apparatus is exploited to define four equivalence relations over PEPA components. Each of these notions of equivalence has intrinsic interest from a process algebra perspective. However, they are also demonstrated to be useful in a performance modelling context. To conclude the book, a section has been added surveying recent results in the area and discussing open questions.