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...
Saved in:
| Published in: | International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 p. 874 |
|---|---|
| Main Authors: | , , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Washington, DC, USA
IEEE Computer Society
09.11.2003
|
| Series: | ACM Conferences |
| Subjects: |
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
|
| ISBN: | 9781581137620, 1581137621 |
| ISSN: | 1092-3152 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| Bibliography: | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
| ISBN: | 9781581137620 1581137621 |
| ISSN: | 1092-3152 |
| DOI: | 10.5555/996070.1009990 |