| EPSRC Reference: |
GR/N01491/01 |
| Title: |
QWID: QUEUE-WISE DECOMPOSITION IN STOCHASTIC PROCESS ALGEBRA |
| Principal Investigator: |
Thomas, Dr NA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Durham, University of |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
17 March 2000 |
Ends: |
16 March 2002 |
Value (£): |
62,203
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Networks & Distributed Systems |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The use of performance models for evaluating large and complex computer systems is limited by the difficulty of deriving numerical solutions to these models. This is particularly a problem when modellers are given an expressive and efficient specification method, as is the case with stochastic process algebra. In QWID we aim to address this problem by applying model reduction techniques widely used in queueing theory to more general models expressed in a stochastic process algebra. In doing this we will not only help to address this problem of state space explosion, but we will also be able to further investigate these techniques in a broader context than has hitherto been possible.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|