20
IRUS Total
Downloads
  Altmetric

Fluid-flow solutions in PEPA to the state space explosion problem

File Description SizeFormat 
fluid-spa-synopsis.pdfWorking Paper199.3 kBAdobe PDFView/Open
Title: Fluid-flow solutions in PEPA to the state space explosion problem
Authors: Hayden, R
Bradley, J
Item Type: Conference Paper
Abstract: Achieving the appropriate performance requirements for computer-communication systems is as important as the correctness of the end-result. This is particularly difficult in the case of massively parallel computer systems such as the clusters of PCs behind the likes of Google and peer-to-peer filesharing networks such as Bittorrent. Measuring the performance of such systems using a mathematical model is invariably computationally intensive. Formal modelling techniques make possible the derivation of such performance measures but currently suffer from the state-space explosion problem, that is, models become intractably large even for systems of apparently modest complexity. This work develops a novel class of techniques aimed at addressing this problem by approximating a representation of massive state spaces as more computationally-tractable real variables (fluid-flow analysis).
Issue Date: 31-Jul-2007
URI: http://hdl.handle.net/10044/1/5839
Publisher Link: http://pastaworkshop.org/
Presented At: PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
Start Page: 25
End Page: 37
Copyright Statement: © The Authors
Conference Location: London, UK
Appears in Collections:Computing
High Performance Informatics