William J. Knottenbelt

According to our database1, William J. Knottenbelt authored at least 116 papers between 1998 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
An Efficient Application Partitioning Algorithm in Mobile Environments.
IEEE Trans. Parallel Distrib. Syst., 2019

SoK: Communication Across Distributed Ledgers.
IACR Cryptology ePrint Archive, 2019

Uncle Traps: Harvesting Rewards in a Queue-based Ethereum Mining Pool.
IACR Cryptology ePrint Archive, 2019

Balance : Dynamic Adjustment of Cryptocurrency Deposits.
IACR Cryptology ePrint Archive, 2019

Uncle Traps: Harvesting Rewards in a Queue-based Ethereum Mining Pool.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

Revenue-Driven Scheduling in Drone Delivery Networks with Time-sensitive Service Level Agreements.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets.
Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2018
Flux: Revisiting Near Blocks for Proof-of-Work Blockchains.
IACR Cryptology ePrint Archive, 2018

(Short Paper) A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice.
IACR Cryptology ePrint Archive, 2018

Issue, Trade, Redeem: Crossing Systems Bounds with Cryptocurrency-Backed Tokens.
IACR Cryptology ePrint Archive, 2018

Committing to Quantum Resistance: A Slow Defence for Bitcoin against a Fast Quantum Computing Attack.
IACR Cryptology ePrint Archive, 2018

Preface.
Electr. Notes Theor. Comput. Sci., 2018

Towards Safer Smart Contracts: A Survey of Languages and Verification Methods.
CoRR, 2018

A Wild Velvet Fork Appears! Inclusive Blockchain Protocol Changes in Practice - (Short Paper).
Proceedings of the Financial Cryptography and Data Security, 2018

2017
Three-way Optimisation of Response Time, Subtask Dispersion and Energy Consumption in Split-Merge Systems.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Swimming with Fishes and Sharks: Beneath the Surface of Queue-Based Ethereum Mining Pools.
Proceedings of the 25th IEEE International Symposium on Modeling, 2017

Deep Learning for Domain-Specific Action Recognition in Tennis.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

2016
Energy-Performance Trade-Offs via the EP Queue.
TOMPECS, 2016

Editorial.
Perform. Eval., 2016

Preface.
Electr. Notes Theor. Comput. Sci., 2016

Does disaggregated electricity feedback reduce domestic electricity consumption? A systematic review of the literature.
CoRR, 2016

Visualizing Dynamic Bitcoin Transaction Patterns.
Big Data, 2016

Controlling variability in split-merge systems and its impact on performance.
Annals OR, 2016

Optimising Hidden Stochastic PERT Networks.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Benchmarking Replication in Cassandra and MongoDB NoSQL Datastores.
Proceedings of the Database and Expert Systems Applications, 2016

2015
Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems.
Electr. Notes Theor. Comput. Sci., 2015

Preface.
Electr. Notes Theor. Comput. Sci., 2015

Neural NILM: Deep Neural Networks Applied to Energy Disaggregation.
CoRR, 2015

Going Multi-viral: Synthedemic Modelling of Internet-based Spreading Phenomena.
ICST Trans. Ambient Systems, 2015

A Performance Tree-based Monitoring Platform for Clouds.
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Analysis of the Energy-Response Time Tradeoff for Mobile Cloud Offloading Using Combined Metrics.
Proceedings of the 27th International Teletraffic Congress, 2015

CloudScope: Diagnosing and Managing Performance Interference in Multi-tenant Clouds.
Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

Dataport and NILMTK: A building data set designed for non-intrusive load monitoring.
Proceedings of the 2015 IEEE Global Conference on Signal and Information Processing, 2015

2014
'UK-DALE': A dataset recording UK Domestic Appliance-Level Electricity demand and whole-house demand.
CoRR, 2014

Metadata for Energy Disaggregation.
CoRR, 2014

NILMTK v0.2: A Non-intrusive Load Monitoring Toolkit for Large Scale Data Sets.
CoRR, 2014

Understanding, modelling, and improving the performance of web applications in multicore virtualised environments.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Self-Adaptive Containers: Interoperability Extensions and Cloud Integration.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

NILMTK v0.2: a non-intrusive load monitoring toolkit for large scale data sets: demo abstract.
Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Performance Evaluation of NoSQL Databases.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

Uncertainty in On-The-Fly Epidemic Fitting.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

NILMTK: an open source toolkit for non-intrusive load monitoring.
Proceedings of the Fifth International Conference on Future Energy Systems, 2014

Modelling Interacting Epidemics in Overlapping Populations.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2014

2013
Product-forms in batch networks: Approximation and asymptotics.
Perform. Eval., 2013

Preface.
Electr. Notes Theor. Comput. Sci., 2013

Performance modelling of database contention using queueing petri nets.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Deriving coloured generalised stochastic petri net performance models from high-precision location tracking data.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

On celebrity, epidemiology and the internet.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

PEPERCORN: Inferring Performance Models from Location Tracking Data.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Self-adaptive containers: building resource-efficient applications with low programmer overhead.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Reduction of Subtask Dispersion in Fork-Join Systems.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Trading Off Subtask Dispersion and Response Time in Split-Merge Systems.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

Performance Modelling of Concurrency Control Schemes for Relational Databases.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Database system performance evaluation models: A survey.
Perform. Eval., 2012

Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance.
IJEEI, 2012

Theory and Practice of Stochastic Modelling.
Computers & Mathematics with Applications, 2012

A common-opponent stochastic model for predicting the outcome of professional tennis matches.
Computers & Mathematics with Applications, 2012

Topic 2: Performance Prediction and Evaluation.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

On the (Page) Ranking of Professional Tennis Players.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Controlling Variability in Split-Merge Systems.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

2011
Passage-time computation and aggregation strategies for large semi-Markov processes.
Perform. Eval., 2011

Consumer-to-Consumer Internet Auction Models.
IJOM, 2011

Preface.
Electr. Notes Theor. Comput. Sci., 2011

Stochastic Modelling and Optimisation of Internet Auction Processes.
Electr. Notes Theor. Comput. Sci., 2011

LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks.
Electr. Notes Theor. Comput. Sci., 2011

Analytical and Simulation Modelling of Zoned RAID Systems.
Comput. J., 2011

Deriving generalised stochastic Petri net performance models from high-precision location tracking data.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Data allocation strategies for the management of Quality of Service in Virtualised Storage Systems.
Proceedings of the IEEE 27th Symposium on Mass Storage Systems and Technologies, 2011

Reduction of variability in split-merge systems.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data.
Proceedings of the Computer Performance Engineering, 2011

The Effect of Private Valuation on E-Auction Revenues.
Proceedings of the Digital Enterprise and Information Systems - International Conference, 2011

2010
Preface.
Electr. Notes Theor. Comput. Sci., 2010

2009
Distributed Response Time Analysis of GSPN Models with MapReduce.
Simulation, 2009

PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets.
SIGMETRICS Performance Evaluation Review, 2009

Performance engineering - editorial.
IET Software, 2009

Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens.
Electr. Notes Theor. Comput. Sci., 2009

Using bulk arrivals to model I/O request response time distributions in zoned disks and RAID systems.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

A Performance Model of Zoned Disk Drives with I/O Request Reordering.
Proceedings of the QEST 2009, 2009

Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation.
Proceedings of the Computer Performance Engineering, 2009

Adaptive Planning of Staffing Levels in Health Care Organisations.
Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data.
Proceedings of the European Conference on Modelling and Simulation, 2009

2008
Parallel multilevel algorithms for hypergraph partitioning.
J. Parallel Distrib. Comput., 2008

Extracting Response Times from Fluid Analysis of Performance Models.
Proceedings of the Performance Evaluation: Metrics, 2008

A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Modelling and Validation of Response Times in Zoned RAID.
Proceedings of the 16th International Symposium on Modeling, 2008

Natural Language Specification of Performance Trees.
Proceedings of the Computer Performance Engineering, 2008

A Response Time Distribution Model for Zoned RAID.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007
Approximate queueing network analysis of patient treatment times.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Tackling Large State Spaces in Performance Modelling.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Performance Trees: Expressiveness and Quantitative Semantics.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Cluster Grid based Response-time analysis module for the PIPE Tool.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models.
Future Generation Comp. Syst., 2006

Observing Internet Worm and Virus Attacks with a Small Network Telescope.
Electr. Notes Theor. Comput. Sci., 2006

Performance Trees: A New Approach to Quantitative Performance Specification.
Proceedings of the 14th International Symposium on Modeling, 2006

A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix-Vector Multiplication.
Proceedings of the Computer and Information Sciences, 2006

2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005

Hypergraph Partitioning for Faster Parallel PageRank Computation.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004
Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models.
J. Parallel Distrib. Comput., 2004

Stochastic analysis of scheduling strategies in a Grid-based resource model.
IEE Proceedings - Software, 2004

Efficient approximation of response time densities and quantiles in stochastic models.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A Parallel Algorithm for Multilevel k-Way Hypergraph Partitioning.
Proceedings of the 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), 2004

Par kway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool.
Proceedings of the Computer and Information Sciences, 2004

Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

HYDRA: HYpergraph-Based Distributed Response-Time Analyzer.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.
Proceedings of the 11th International Workshop on Modeling, 2003

Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Response time densities in generalised stochastic petrinet models.
Proceedings of the Third International Workshop on Software and Performance, 2002

Passage time distributions in large Markov chains.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Symbolic Methods for the State Space Exploration of GSPN Models.
Proceedings of the Computer Performance Evaluation, 2002

2000
Parallel performance analysis of large Markov models.
PhD thesis, 2000

A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Eval., 2000

1998
Probability, Parallelism and the State Space Exploration Problem.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998


  Loading...