dc.contributor.author | Sokolsky, O. | en |
dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Lee, I. | en |
dc.contributor.author | Christou, Kyriakos | en |
dc.creator | Sokolsky, O. | en |
dc.creator | Philippou, Anna | en |
dc.creator | Lee, I. | en |
dc.creator | Christou, Kyriakos | en |
dc.date.accessioned | 2019-11-13T10:42:18Z | |
dc.date.available | 2019-11-13T10:42:18Z | |
dc.date.issued | 2003 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54993 | |
dc.description.abstract | The 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. © Springer-Verlag Berlin Heidelberg 2003. | en |
dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-21144448156&partnerID=40&md5=3357bfea4dfe2b0a1cbd01af0d3ba7fa | |
dc.subject | Electric power utilization | en |
dc.subject | Power management | en |
dc.subject | Process algebras | en |
dc.subject | Concurrent systems | en |
dc.subject | Resource usage | en |
dc.subject | Time sharing systems | en |
dc.subject | Voltage scaling | en |
dc.subject | Alternative power | en |
dc.subject | Formal approach | en |
dc.subject | Model and analysis | en |
dc.subject | Power aware system | en |
dc.subject | Resource failures | en |
dc.title | Modeling and analysis of power-aware systems | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 2619 | |
dc.description.startingpage | 409 | |
dc.description.endingpage | 424 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :6</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |