C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Architecting Dynamic Power Management to be Formally Verifiable.
Daniel J. Sorin
Opeoluwa Matthews
Meng 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