Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 11
Item hits:
Issue DateTitleAuthor(s)
30-Sep-2008Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged TokensKnottenbelt, W; Dingle, N
31-Jul-2008A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress)Summers, A; Drossopoulou, S; Müller, P
1-Jan-2008SERVICE LEVEL AGREEMENT SPECIFICATION, COMPLIANCE PREDICTION AND MONITORING WITH PERFORMANCE TREESDingle, NJ; Knottenbelt, WJ; Wang, L; Bertelle C, Ayesh A
31-Jul-2008ODE-based general moment approximations for PEPAHayden, R; Bradley, J
1-Jan-2008A Parallel and Distributed Analysis Pipeline for Performance Tree EvaluationBrien, DK; Dingle, NJ; Knottenbelt, WJ; Kulatunga, H; Suto, T
31-Mar-2008Performance Trees: Implementation And Distributed EvaluationSuto, T; Knottenbelt, W; Dingle, N; Kulatunga, H; Brien, D
1-Jan-2008Modelling and Validation of Response Times in Zoned RAIDLebrecht, AS; Dingle, NJ; Knottenbelt, WJ
1-Jan-2008Fluid semantics for passive stochastic process algebra cooperationHayden, RA; Bradley, JT
31-Jul-2008Validation of Large Zoned RAID SystemsLebrecht, A; Dingle, N; Knottenbelt, W
31-Jul-2008State-Space Size Estimation By Least-Squares FittingKnottenbelt, W; Dingle, N