Architecting dynamic power management to be formally verifiable

Journal Article

Many computer systems employ dynamic power management (DPM) to maximize power efficiency. DPM offers great opportunities, but deploying it carries significant risks if the DPM scheme is not completely verified. We propose architecting the DPM scheme such that it can be formally verified regardless of the size of the system. Copyright 2014 ACM.

Full Text

Duke Authors

Cited Authors

  • Sorin, DJ; Matthews, O; Zhang, M

Published Date

  • January 1, 2014

Published In

International Standard Serial Number (ISSN)

  • 0738-100X

Digital Object Identifier (DOI)

  • 10.1145/2593069.2596669

Citation Source

  • Scopus