Modeling and Analysis of Power-Aware Systems

Simple item page
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorPhilippou, Anna
dc.contributor.authorLee, Insup
dc.contributor.authorChristou, Kyriakos
dc.date2023-05-16T22:25:17.000
dc.date.accessioned2023-05-22T12:52:01Z
dc.date.available2023-05-22T12:52:01Z
dc.date.issued2003-04-07
dc.date.submitted2005-03-29T15:10:31-08:00
dc.description.abstractThe paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating concurrent systems. The proposed extension allows the modeling of probabilistic resource failures, priorities of resource usages, and power consumption by resources within the same formalism. Thus, it is possible to model alternative power-consumption behaviors and analyze tradeoffs in their timing and other characteristics. This paper describes the modeling and analysis techniques, and illustrates them with examples, including a dynamic voltage-scaling algorithm.
dc.description.commentsPostprint version. Published in <i>Lecture Notes in Computer Science</i>, Volume 2619, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2003 (TACAS 2003), pages 409-424.<br> Publisher URL: <a href="http://springerlink.metapress.com/link.asp?id=105633" >http://springerlink.metapress.com/link.asp?id=105633</a>
dc.description.comments<br>Postprint version. Published in <i>Lecture Notes in Computer Science</i>, Volume 2619, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2003 (TACAS 2003), pages 409-424.<br> Publisher URL: http://springerlink.metapress.com/link.asp?id=105633 <br><p>
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6964
dc.legacy.articleid1107
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1107&amp;context=cis_papers&amp;unstamped=1
dc.source.issue91
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherProcess algebra
dc.subject.otherpower-aware systems
dc.subject.otherprobabilistic modeling
dc.titleModeling and Analysis of Power-Aware Systems
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorPhilippou, Anna
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorChristou, Kyriakos
digcom.identifiercis_papers/91
digcom.identifier.contextkey52397
digcom.identifier.submissionpathcis_papers/91
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscovery35e1b18e-15fe-4438-be3b-84593f70a40a
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
03tacas.pdf
Size:
324.13 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations