• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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