Constraint refinement for online verifiable cross-layer system adaptation

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 646-651

  Kim, Minyoung ^a   Stehr, Mark Oliver ^b   Talcott, Carolyn ^b   Dutt, Nikil ^a   Venkatasubramanian, Nalini ^a  

^a University of California   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATA STORAGE EQUIPMENT; ENERGY POLICY; INDUSTRIAL ENGINEERING; INFORMATION MANAGEMENT; MANAGEMENT; MIDDLEWARE; NONLINEAR CONTROL SYSTEMS; OPTIMIZATION; REAL TIME SYSTEMS; RESOURCE ALLOCATION; TESTING; TUNING;

ADAPTIVE RESOURCE MANAGEMENT; CONSTRAINT LANGUAGES; COORDINATED INTERACTION; CROSS LAYERING; CROSS-LAYER OPTIMIZATIONS; DISTRIBUTED APPLICATIONS; ENERGY CONSUMPTION; ENERGY-CONSTRAINED; FORMAL SPECIFICATIONS; LOCAL OPTIMIZATIONS; MOBILE HANDHELD DEVICES; MULTIMEDIA APPLICATIONS; MULTIPLE LAYERS; OPERATING SYSTEMS; OPTIMAL PARAMETER SETTINGS; OPTIMIZERS; QOS REQUIREMENTS; REAL-TIME DISTRIBUTED SYSTEMS; SYSTEM ADAPTATION; SYSTEM IMPLEMENTATION; SYSTEM PARAMETERS; SYSTEM ROBUSTNESS;

CONSTRAINED OPTIMIZATION;

EID: 49749100032     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484750     Document Type: Conference Paper

References (16)

1. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. The maude 2.0 system. In RTA '03, volume 2706 of LNCS, pages 76-87.
2. http ://maude-csl.sri.com.
3. S. Hua, G. Qu, and S. S. Bhattacharyya. Energy reduction techniques for multimedia applications with tolerance to deadline misses. In DAC '03, pages 131-136.
4. S. Khan, M. Sgroi, E. Steinbach, and W. Kellerer. Cross-layer optimization for wireless video streaming - performance and cost. In ICME '05.
5. M. Kim and S. Ha. Hybrid run-time power management technique for real-time embedded system with voltage scalable processor. In LCTES/OM 01, pages 11-19.
6. M. Kim, H. Oh, N. Dutt, A. Nicolau, and N. Venkatasubramanian. PBPAIR: an energy-efficient error-resilient encoding using probability based power aware intra refresh. ACM SIGMOBILE Mob. Comput. Commun. Rev., 10(3):58-69,2006.
7. M. Kim, M.-O. Stehr, C. Talcott, N. Dutt, and N. Venkatasubramanian. Combining formal verification with observed system execution behavior to tune system parameters. In FORMATS 07, volume 4763 of LNCS, pages 257-273.
8. M. Kim, M.-O. Stehr, C. Talcott, N. Dutt, and N. Venkatasubramanian. A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems. In FMOODS '07, volume 4468 of LNCS, pages 285-300.
9. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science, Number 4598,13 May 1983, 220, 4598:671-680, 1983.
10. L. Nolle et al. On step width adaptation in simulated annealing for continuous parameter optimisation. In Proceedings of the 7th Fuzzy Days on Computational Intelligence, Theory and Applications, pages 589-598,2001.
11. M. Chiang et al. Layering as optimization decomposition: a mathematical theory of network architectures. Proceedings of the IEEE, 95(1):255-312, 2007.
12. J. Meseguer. Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
13. S. Mohapatra, R. Cornea, H. Oh, K. Lee, M. Kim, N. D. Dutt, R. Gupta, A. Nicolau, S. K. Shukla, and N. Venkatasubramanian. A cross-layer approach for power-performance optimization in distributed mobile systems. In IPDPS '05.
14. Q. Qiu, Q. Wu, and M. Pedram. Dynamic power management in a mobile multimedia system with guaranteed quality-of-service. In DAC '01, pages 834-839.
15. S. Abdelwahed, N. Kandasamy, S. Neema. Online control for self-management in computing systems. In RTAS V4, page 368.
16. W. Yuan, K. Nahrstedt, S. V Adve, D. L. Jones, and R. H. Kravets. Grace-1: Crosslayer adaptation for multimedia quality and battery energy. IEEE Transactions on Mobile Computing, 5(7):799-8l5, 2006.