Login / Signup

Architecting Dynamic Power Management to be Formally Verifiable.

Daniel J. SorinOpeoluwa MatthewsMeng Zhang
Published in: DAC (2014)
Keyphrases
  • power management
  • dynamic power management
  • power consumption
  • sufficient conditions
  • energy efficiency
  • data sets
  • databases
  • neural network
  • case study
  • computational intelligence
  • secret sharing