Formal Methods for Dynamic Power Management

Dynamic Power Management or DPM refers to the problem ofjudicious application of various low power techniques based onruntime conditions in an embedded system to minimize the totalenergy consumption.To be effective, often such decisions takeinto account the operating conditions and the system-level...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 S. 874
Hauptverfasser: Gupta, Rajesh K., Irani, Sandy, Shukla, Sandeep K.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Washington, DC, USA IEEE Computer Society 09.11.2003
Schriftenreihe:ACM Conferences
Schlagworte:
Computer systems organization > Embedded and cyber-physical systems > Embedded systems
Hardware > Hardware validation
Software and its engineering > Software creation and management > Software verification and validation > Formal software verification
Software and its engineering > Software organization and properties > Software functional properties > Formal methods
Software and its engineering > Software organization and properties > Software system structures > Embedded software
Software and its engineering > Software organization and properties > Software system structures > Real-time systems software
ISBN:9781581137620, 1581137621
ISSN:1092-3152
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Dynamic Power Management or DPM refers to the problem ofjudicious application of various low power techniques based onruntime conditions in an embedded system to minimize the totalenergy consumption.To be effective, often such decisions takeinto account the operating conditions and the system-level designgoals.DPM has been a subject of intense research in thepast decade driven by the need for low power in modern embeddeddevices.We present an overview of the formal methods thathave been explored in solving the system-level DPM problem.We show how formal reasoning frameworks can potentially unifyapparently disparate DPM techniques.
Bibliographie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9781581137620
1581137621
ISSN:1092-3152
DOI:10.5555/996070.1009990