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