The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
Paul GainerSven LinkerClare DixonUllrich HustadtMichael FisherPublished in: CoRR (2017)
Keyphrases
- power consumption
- formal analysis
- low power
- power saving
- power management
- energy efficiency
- battery life
- formal methods
- social networks
- energy saving
- energy management
- data center
- artificial intelligence
- battery powered
- agent model
- power reduction
- network structure
- power dissipation
- energy efficient
- communication systems