Jeremy Bradley
Jeremy Bradley
Computer Science, Imperial College London
Bestätigte E-Mail-Adresse bei doc.ic.ac.uk - Startseite
TitelZitiert vonJahr
A fluid analysis framework for a Markovian process algebra
RA Hayden, JT Bradley
Theoretical Computer Science 411 (22-24), 2260-2297, 2010
1142010
Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation …, 2003
732003
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
JT Bradley, ST Gilmore, J Hillston
Journal of Computer and System Sciences 74 (6), 1013-1032, 2008
712008
Routing Device
NJ Davies, JY Holyer, PW Thompson, JT Bradley, PP Francis-Cobley
US Patent 7,006,435, 2006
672006
Fluid computation of passage-time distributions in large Markov models
RA Hayden, A Stefanek, JT Bradley
Theoretical Computer Science 413 (1), 106-141, 2012
522012
Hypergraph-based parallel computation of passage time densities in large semi-Markov models
JT Bradley, NJ Dingle, WJ Knottenbelt, HJ Wilson
Linear algebra and its applications 386, 311-334, 2004
472004
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
A Argent-Katwala, JT Bradley, NJ Dingle
ACM SIGSOFT Software Engineering Notes 29 (1), 49-58, 2004
442004
Observing internet worm and virus attacks with a small network telescope
U Harder, MW Johnson, JT Bradley, WJ Knottenbelt
Electronic Notes in Theoretical Computer Science 151 (3), 47-59, 2006
432006
Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
IEEE COMPUTER SOC, 2003
412003
Extracting passage times from PEPA models with the HYDRA tool: A case study
JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt
382003
Performance specification and evaluation with unified stochastic probes and fluid analysis
RA Hayden, JT Bradley, A Clark
IEEE Transactions on Software Engineering 39 (1), 97-118, 2012
332012
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
322010
Performance trees: A new approach to quantitative performance specification
T Suto, JT Bradley, WJ Knottenbelt
14th IEEE International Symposium on Modeling, Analysis, and Simulation, 303-313, 2006
322006
Hypergraph partitioning for faster parallel pagerank computation
JT Bradley, DV de Jager, WJ Knottenbelt, A Trifunović
Formal Techniques for Computer Systems and Business Processes, 155-171, 2005
322005
Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models
JT Bradley, NJ Dingle, PG Harrison, WJ Knottenbelt
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
322003
Stochastic analysis of scheduling strategies in a GRID-based resource model
N Thomas, JT Bradley, WJ Knottenbelt
IEE Proceedings-software 151 (5), 232-239, 2004
282004
Fluid analysis of energy consumption using rewards in massively parallel Markov models
A Stefanek, RA Hayden, JT Bradley
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
242011
Stochastic simulation methods applied to a secure electronic voting model
JT Bradley, ST Gilmore
Electronic Notes in Theoretical Computer Science 151 (3), 5-25, 2006
242006
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
JT Bradley, WJ Knottenbelt
QEST 4, 334-335, 2004
242004
Performance Trees: Expressiveness and quantitative semantics
T Suto, JT Bradley, WJ Knottenbelt
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
212007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20