Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 62
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
31-Mar-2009Preface: Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008)Thomas, N; Bradley, J; Knottenbelt, W
1-Jan-2003Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compilerBradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Titsworth F
1-Jan-2007Brief Announcement: Optimal Bit-Reversal Using Vector PermutationsLokhmotov, A; Mycroft, A
1-Dec-2006Visualising dynamic memory allocatorsCheadle, AM; Field, AJ; Ayres, J; Dunn, N; Hayden, R, et al
1-Jan-2008SERVICE LEVEL AGREEMENT SPECIFICATION, COMPLIANCE PREDICTION AND MONITORING WITH PERFORMANCE TREESDingle, NJ; Knottenbelt, WJ; Wang, L; Bertelle C, Ayesh A
16-Aug-2004Efficient approximation of response time densities and quantiles in stochastic modelsAu-Yeung, S; Dingle, N; Knottenbelt, W
1-Aug-2009Distributed Response Time Analysis of GSPN Models with MapReduceHaggarty, OJ; Knottenbelt, WJ; Bradley, JT
31-Jul-2009The Need for Flexible Object InvariantsSummers, A; Drossopoulou, S; Müller, P