Neil Davies

According to our database, Neil Davies authored at least 13 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Algebraic Reasoning About Timeliness.

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

A Lower Bound on Latency Spikes for Capacity-Seeking Network Traffic.

Bjørn Ivar Teigen, Neil Davies, Kai Olav Ellefsen, Tor Skeie, Carlo Augusto Grazia, Jim Torresen

Proceedings of the IEEE International Conference on Communications, 2023

2022

Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.

Seyed H. Haeri, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman

Comput., 2022

Protocol Violations in the WiFi Distributed Coordination Function of Raspberry Pi 4.

Bjørn Ivar Teigen, Neil Davies, Kai Olav Ellefsen, Tor Skeie, Jim Torresen

Proceedings of the 17th Wireless On-Demand Network Systems and Services Conference, 2022

Quantifying the Quality Attenuation of WiFi.

Bjørn Ivar Teigen, Neil Davies, Kai Olav Ellefsen, Tor Skeie, Jim Torresen

Proceedings of the 47th IEEE Conference on Local Computer Networks, 2022

ΔQ Generative Models: Modeling Time-Variation in Network Quality.

Bjørn Ivar Teigen, Neil Davies, Peter Thompson, Kai Olav Ellefsen, Tor Skeie, Jim Torresen

Proceedings of the 18th International Conference on Network and Service Management, 2022

2021

Beyond Bufferbloat: End-to-End Congestion Control Cannot Avoid Latency Spikes.

Bjørn Ivar Teigen, Neil Davies, Kai Olav Ellefsen, Tor Skeie, Jim Tørresen

CoRR, 2021

A Model of WiFi Performance With Bounded Latency.

Bjørn Ivar Teigen, Neil Davies, Kai Olav Ellefsen, Tor Skeie, Jim Tørresen

CoRR, 2021

2020

Towards a RINA-Based Architecture for Performance Management of Large-Scale Distributed Systems.

Peter Thompson, Neil Davies

Comput., 2020

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Towards a performance management architecture for large-scale distributed systems using RINA.

Peter Thompson, Neil Davies

Proceedings of the 23rd Conference on Innovation in Clouds, 2020

2016

Assuring QoS Guarantees for Heterogeneous Services in RINA Networks with ΔQ.

Sergio Leon Gaixas, Jordi Perelló, Davide Careglio, Eduard Grasa, Miquel Tarzan, Neil Davies, Peter Thompson

Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science, 2016

1994

The performance and scalability of parallel systems.

Neil J. Davies

PhD thesis, 1994