Login / Signup
Contribution to Automated Generating of System Power-Management Specification.
Dominik Macko
Published in:
DDECS (2018)
Keyphrases
</>
power management
power consumption
energy consumption
energy saving
data center
fully automated
semi automated
energy efficiency
formal specification
high level
data collection
specification language
dynamic power management
digital libraries
computer networks
battery life