Report
| Date
| Title
|
EDI-INF-RR-1205
| 2006
| Modelling the influence of RKIP on the ERK signalling pathway using stochastic process algebra PEPA
|
EDI-INF-RR-1188
| 2007
| Mobile resource guarantees
|
EDI-INF-RR-1083
| Mar 2005
| Analyse quantitative de programmes applicatif base de squelettes algorithmiques
|
EDI-INF-RR-1080
| Jun 2006
| Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel Mean Value Analysis algorithm
|
EDI-INF-RR-1077
| Mar 2007
| A structural approach for modelling performance of workflow systems
|
EDI-INF-RR-0776
| Oct 2003
| PEPA nets: a structured performance modelling formalism
|
EDI-INF-RR-0772
| Jul 2005
| End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
|
EDI-INF-RR-0771
| Oct 2003
| Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler
|
EDI-INF-RR-0770
| Jan 2005
| A unified tool for performance modelling and prediction
|
EDI-INF-RR-0760
| 2005
| Mobile Resource Guarantees for Smart Devices
|
EDI-INF-RR-0605
| May 2001
| An efficient algorithm for aggregating PEPA models
|
EDI-INF-RR-0441
| Mar 2003
| Performance modelling with UML and stochastic process algebras
|
EDI-INF-RR-0429
| Sep 2005
| Using eSkel to implement the multiple baseline stereo application
|
EDI-INF-RR-0428
| Sep 2005
| Flexible Skeletal Programming with eSkel
|
EDI-INF-RR-0427
| May 2005
| Enhancing the effective utilisation of Grid clusters by exploiting on-line performability analysis
|
EDI-INF-RR-0425
| Mar 2005
| Quantitative analysis of skeleton-structured applicative programs
|
EDI-INF-RR-0423
| Sep 2004
| Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra
|
EDI-INF-RR-0422
| Jun 2004
| Evaluating the performance of skeleton-based high level parallel programs
|
EDI-INF-RR-0303
| Mar 2005
| Scheduling skeleton-based grid applications using PEPA and NWS
|