Assessing the impact of dynamic power management on the functionality and the performance of battery-powered appliances

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 731-740

  Acquaviva, A ^a   Aldini, A ^a   Bernardo, M ^a   Bogliolo, A ^a   Bonta E ^a   Lattanzi, E ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC BATTERIES; ELECTRIC POWER UTILIZATION; ENERGY EFFICIENCY; FREQUENCIES; MARKOV PROCESSES; REMOTE CONSOLES;

BATTERY-POWERED APPLIANCES; DYNAMIC POWER MANAGEMENT (DPM); ENERGY QUALITY TRADEOFF; NONINTERFERENCE ANALYSIS;

ELECTRIC APPLIANCES;

EID: 4544225957     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311944     Document Type: Conference Paper

References (12)

1. L. Benini, A. Bogliolo, and G. De Micheli, "A Survey of Design Techniques for System-Level Dynamic Power Management", in IEEE Trans. on VLSI Systems 8:299-316, 2000.
2. M. Bernardo, "TwoTowers 3.0: Enhancing Usability", in Proc. of the 11th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2003), IEEE-CS Press, pp. 188-193, Orlando (PL), 2003.
3. M. Bernardo and M. Bravetti, "Performance Measure Sensitive Congruences for Markovian Process Algebras", in Theoretical Computer Science 290:117-160, 2003.
4. M. Bernardo, L. Donatiello, and P. Ciancarini, "Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language", in Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236-260, 2002.
5. Cisco System, "Cisco Aironet 350 Series Access Points", http://www.cisco.com/univercd/cc/td/doc/product/wireless/airo_350/accsspts/ index.htm, 2003.
6. Cisco System, "Cisco Aironet 350 Series Wireless LAN Adapters", http://www.cisco.com/univercd/cc/td/doc/product/wireless/airo_350/350cards/ index.htm, 2003.
7. R. Focardi and R. Gorrieri, "A Classification of Security Properties", in Journal of Computer Security 3:5-33, 1995.
8. J.A. Goguen and J. Meseguer, "Security Policy and Security Models", in Proc. of the Symp. on Security and Privacy (SSP 1982), IEEE-CS Press, pp. 11-20, 1982.
9. R.K. Gupta, S. Irani, and S.K. Shukla, "Formal Methods for Dynamic Power Management", tutorial at IEEE/ACM Int. Conf. on Computer Aided Design (ICCAD 2003), ACM Press, 2003.
10. LAN/MAN Standards Committee of the IEEE Computer Society, "Part 11: Wireless LAN MAC and PHY Specifications: Higher-Speed Physical Layer Extension in the 2.4 GHz Band", 1999.
11. R. Milner, "Communication and Concurrency", Prentice Hall, 1989.
12. G. Norman, D. Parker, M. Kwiatkowska, S.K. Shukla, and R.K. Gupta, "Formal Analysis and Validation of Continuous-Time Markov Chain Based System Level Power Management Strategies", in Proc. of the IEEE High-Level Design Validation and Test Workshop, IEEE-CS Press, pp. 45-50, 2002.