2 papers
cs.LO2018
Multi-Scale Verification of Distributed Synchronisation
Paul Gainer, Sven Linker, Clare Dixon +2
Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algori…
cs.DC2017
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
Paul Gainer, Sven Linker, Clare Dixon +2
We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach…