|
Search the dblp DataBase
Jeremy T. Bradley:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jeremy T. Bradley
A Passage-Time Preserving Equivalence for Semi-Markov Processes. [Citation Graph (0, 0)][DBLP] Computer Performance Evaluation / TOOLS, 2002, pp:178-187 [Conf]
- Ashok Argent-Katwala, Jeremy T. Bradley
Functional Performance Specification with Stochastic Probes. [Citation Graph (0, 0)][DBLP] EPEW, 2006, pp:31-46 [Conf]
- Jeremy T. Bradley, Douglas V. de Jager, William J. Knottenbelt, Aleksandar Trifunovic
Hypergraph Partitioning for Faster Parallel PageRank Computation. [Citation Graph (0, 0)][DBLP] EPEW/WS-FM, 2005, pp:155-171 [Conf]
- Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. [Citation Graph (0, 0)][DBLP] FORTE Workshops, 2004, pp:128-142 [Conf]
- Jeremy T. Bradley, N. J. Davies
A Matrix-based Method for Analysing Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP] ICALP Satellite Workshops, 2000, pp:579-590 [Conf]
- Nigel Thomas, Jeremy T. Bradley
Approximating Variance in Non-product Form Decomposed Models. [Citation Graph (0, 0)][DBLP] ICALP Satellite Workshops, 2000, pp:607-619 [Conf]
- Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. [Citation Graph (0, 0)][DBLP] IPDPS, 2003, pp:281- [Conf]
- Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
Performance analysis of stochastic process algebra models using stochastic simulation. [Citation Graph (0, 0)][DBLP] IPDPS, 2006, pp:- [Conf]
- Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. [Citation Graph (0, 0)][DBLP] MASCOTS, 2003, pp:344-0 [Conf]
- Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
Performance Trees: A New Approach to Quantitative Performance Specification. [Citation Graph (0, 0)][DBLP] MASCOTS, 2006, pp:303-313 [Conf]
- Jeremy T. Bradley, William J. Knottenbelt
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. [Citation Graph (0, 0)][DBLP] QEST, 2004, pp:334-335 [Conf]
- Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. [Citation Graph (0, 0)][DBLP] WOSP, 2004, pp:49-58 [Conf]
- Jeremy T. Bradley, Stephen T. Gilmore
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:3, pp:5-25 [Journal]
- Jeremy T. Bradley, William J. Knottenbelt
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:1-2 [Journal]
- Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt
Observing Internet Worm and Virus Attacks with a Small Network Telescope. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:3, pp:47-59 [Journal]
- Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. [Citation Graph (0, 0)][DBLP] Future Generation Comp. Syst., 2006, v:22, n:7, pp:828-837 [Journal]
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
Stochastic analysis of scheduling strategies in a Grid-based resource model. [Citation Graph (0, 0)][DBLP] IEE Proceedings - Software, 2004, v:151, n:5, pp:232-239 [Journal]
- Jeremy T. Bradley, Helen J. Wilson
Iterative convergence of passage-time densities in semi-Markov performance models. [Citation Graph (0, 0)][DBLP] Perform. Eval., 2005, v:60, n:1-4, pp:237-254 [Journal]
- Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
Modelling techniques and tools for computer performance evaluation. [Citation Graph (0, 0)][DBLP] Perform. Eval., 2003, v:54, n:2, pp:77-78 [Journal]
- William J. Knottenbelt, Jeremy T. Bradley
Tackling Large State Spaces in Performance Modelling. [Citation Graph (0, 0)][DBLP] SFM, 2007, pp:318-370 [Conf]
- Douglas V. de Jager, Jeremy T. Bradley
Asynchronous iterative solution for state-based performance metrics. [Citation Graph (0, 0)][DBLP] SIGMETRICS, 2007, pp:373-374 [Conf]
- Ashok Argent-Katwala, Jeremy T. Bradley
PEPA Queues: Capturing Customer Behaviour in Queueing Networks. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:3-25 [Journal]
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]
Stochastic Process Algebra Models of a Circadian Clock. [Citation Graph (, )][DBLP]
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra. [Citation Graph (, )][DBLP]
Shared Transaction Markov Chains for fluid analysis of massively parallel systems. [Citation Graph (, )][DBLP]
Performance Trees: Expressiveness and Quantitative Semantics. [Citation Graph (, )][DBLP]
Location-Aware Quality of Service Measurements for Service-Level Agreements. [Citation Graph (, )][DBLP]
Continuous PEPA queues: individual behaviour in continuous queueing networks. [Citation Graph (, )][DBLP]
Extracting Response Times from Fluid Analysis of Performance Models. [Citation Graph (, )][DBLP]
PageRank: Splitting Homogeneous Singular Linear Systems of Index One. [Citation Graph (, )][DBLP]
A new tool for the performance analysis of massively parallel computer systems [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.155secs
|