Article

Free access

Stochastic modeling of a power-managed system: construction and optimization

Authors:

Qinru Qiu,

Qing Wu,

Massoud PedramAuthors Info & Claims

ISLPED '99: Proceedings of the 1999 international symposium on Low power electronics and design

Pages 194 - 199

https://doi.org/10.1145/313817.313923

Published: 17 August 1999 Publication History

PDF eReader

References

[1]

A. Chandrakasan, R. Brodersen, Low Power Digital CMOS Design, Kluwer Academic Publishers, July 1995.

Digital Library

Google Scholar

[2]

M. Horowitz, T. indermaur, and R. Gonzalez, "Low-Power Digital Design", IEEE Symposium on Low Power Electronics, pp.8-11, 1994.

Crossref

Google Scholar

[3]

A. Chandrakasan, V. Gutnik, and T. Xanthopoulos, "Data Driven Signal Processing: An Approach for Energy Efficient Computing", 1996 International Symposium on Low Power Electronics and Design", pp.347-352, Aug. 1996.

Digital Library

Google Scholar

[4]

I. Rabaey and M. Pertain, Low Power Design Methodologies, Kluwer Academic Publishers, 1996

Digital Library

Google Scholar

[5]

L. Benini and G. De Micheli, Dynamic Power Management: Design Techniques and CAD Tools, Kluwer Academic Publishers, 1997.

Digital Library

Google Scholar

[6]

intel, Microsoft and Toshiba, "Advanced Configuration and Power Interface specification", URL: http://www.intel,com/ial/powermgm/specs.html, 1996

Google Scholar

[7]

M. Srivastava, A. Chandrakasan. R. Brodersen, "Predictive system shutdown and other architectural techniques for energy effcient progranunable computation," IEEE Transactions on VLSI Systems, Vol. 4, No. 1, pp.42-55, 1996.

Digital Library

Google Scholar

[8]

C.-H. Hwang and A. Wu, "A Predictive System Shutdown Method for Energy Saving of Event-Driven Computation," Proc. of the Intl.

Google Scholar

[9]

G.A. Paleologo, L. Benini, et.al, "Policy Optimization for Dynamic Power Management", Proceedings of the Design Automation Conference, pp.182-187, fun. 1998.

Digital Library

Google Scholar

[10]

Q. Qiu, M. Pedram, "Dynamic Power Management Based on Continuous-Time Markov Decision Processes'to appear, Proceedings of the Design Automation Conference, lun. 1999.

Digital Library

Google Scholar

Cited By

View all

Agarwal CGuha SKřetínský JPazhamalai M(2024)PAC statistical model checking of mean payoff in discrete- and continuous-time MDPFormal Methods in System Design10.1007/s10703-024-00463-0Online publication date: 17-Aug-2024
https://doi.org/10.1007/s10703-024-00463-0
Kallimani RPai KRasane K(2020)Stochastic Model of a Sensor NodeNext Generation Information Processing System10.1007/978-981-15-4851-2_26(242-250)Online publication date: 14-Jun-2020
https://doi.org/10.1007/978-981-15-4851-2_26
Delgrange FKatoen JQuatmann TRandour M(2020)Simple Strategies in Multi-Objective MDPsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-45190-5_19(346-364)Online publication date: 17-Apr-2020
https://doi.org/10.1007/978-3-030-45190-5_19
Show More Cited By

Index Terms

Stochastic modeling of a power-managed system: construction and optimization
1. Applied computing
  1. Physical sciences and engineering
    1. Electronics
2. Hardware

Recommendations

Stochastic modeling of a thermally-managed multi-core system
DAC '08: Proceedings of the 45th annual Design Automation Conference

Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new abstract model of a thermally-managed system, where a stochastic process model is employed to capture the system performance ...
Spatial modeling with system of stochastic partial differential equations

To define a spatial process as the solution to a stochastic partial differential equation SPDE is an approach to spatial modeling that is gaining popularity. The model corresponds to a Gaussian random spatial process with Matérn covariance function. The ...
Hybrid System Modeling: Using the Parallel DEVS Formalism and the Modelica Language

Comments

Information & Contributors

Information

Published In

ISLPED '99: Proceedings of the 1999 international symposium on Low power electronics and design

August 1999

295 pages

ISBN:158113133X

DOI:10.1145/313817

Chairmen:
Farid N. Najim
Univ. of Illinois at Urbana-Champaign
,
Jason Cong
UCLA
,
David Blaauw
Motorola

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 August 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ISLPED99

Sponsor:

SIGDA
IEEE-CAS

ISLPED99: International Symposium on Low Power Electronics and Design

August 16 - 17, 1999

California, San Diego, USA

Acceptance Rates

Overall Acceptance Rate 398 of 1,159 submissions, 34%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

39
Total Citations
View Citations
332
Total Downloads

Downloads (Last 12 months)55
Downloads (Last 6 weeks)11

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Agarwal CGuha SKřetínský JPazhamalai M(2024)PAC statistical model checking of mean payoff in discrete- and continuous-time MDPFormal Methods in System Design10.1007/s10703-024-00463-0Online publication date: 17-Aug-2024
https://doi.org/10.1007/s10703-024-00463-0
Kallimani RPai KRasane K(2020)Stochastic Model of a Sensor NodeNext Generation Information Processing System10.1007/978-981-15-4851-2_26(242-250)Online publication date: 14-Jun-2020
https://doi.org/10.1007/978-981-15-4851-2_26
Delgrange FKatoen JQuatmann TRandour M(2020)Simple Strategies in Multi-Objective MDPsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-030-45190-5_19(346-364)Online publication date: 17-Apr-2020
https://doi.org/10.1007/978-3-030-45190-5_19
Butkova YFox G(2019)Optimal Time-Bounded Reachability Analysis for Concurrent SystemsAdvances in Knowledge Discovery and Data Mining10.1007/978-3-030-17465-1_11(191-208)Online publication date: 3-Apr-2019
https://doi.org/10.1007/978-3-030-17465-1_11
Arming SBartocci ESokolova A(2017)SEA-PARAM: Exploring Schedulers in Parametric MDPsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.250.3250(25-38)Online publication date: 12-Jul-2017
https://doi.org/10.4204/EPTCS.250.3
Su GChen TFeng YRosenblum DUchitel SOrso ARobillard M(2017)ProEvaProceedings of the 39th International Conference on Software Engineering10.1109/ICSE.2017.51(484-495)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/ICSE.2017.51
Baier CDubslaff CKorenčiak ĽKučera AŘehák V(2017)Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsQuantitative Evaluation of Systems10.1007/978-3-319-66335-7_12(190-206)Online publication date: 11-Aug-2017
https://doi.org/10.1007/978-3-319-66335-7_12
Calinescu RAutili MCámara JDi Marco AGerasimou SInverardi PPerucci AJansen NKatoen JKwiatkowska MMengshoel OSpalazzese RTivoli M(2017)Synthesis and Verification of Self-aware Computing SystemsSelf-Aware Computing Systems10.1007/978-3-319-47474-8_11(337-373)Online publication date: 24-Jan-2017
https://doi.org/10.1007/978-3-319-47474-8_11
Korenciak LKucera ARehak V(2016)Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)10.1109/MASCOTS.2016.34(367-372)Online publication date: Sep-2016
https://doi.org/10.1109/MASCOTS.2016.34
Basile DDi Giandomenico FGnesi S(2016)Model-Based Evaluation of Energy Saving SystemsGreen IT Engineering: Concepts, Models, Complex Systems Architectures10.1007/978-3-319-44162-7_10(187-208)Online publication date: 22-Sep-2016
https://doi.org/10.1007/978-3-319-44162-7_10
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Stochastic modeling of a thermally-managed multi-core system

Spatial modeling with system of stochastic partial differential equations

Hybrid System Modeling: Using the Parallel DEVS Formalism and the Modelica Language