OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
Probability Based Power Aware Error Resilient Coding
ICDCSW '05 Proceedings of the First International Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet (SIUMI) (ICDCSW'05) - Volume 03
ACM SIGMOBILE Mobile Computing and Communications Review
Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
ACM Transactions on Embedded Computing Systems (TECS)
Constraint refinement for online verifiable cross-layer system adaptation
Proceedings of the conference on Design, automation and test in Europe
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Combining formal verification with observed system execution behavior to tune system parameters
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Mitigating the impact of hardware defects on multimedia applications: a cross-layer approach
MM '08 Proceedings of the 16th ACM international conference on Multimedia
Error-Aware Algorithm/Architecture Coexploration for Video Over Wireless Applications
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |
Adaptive resource management is critical to ensuring the quality of real-time multimedia communication, particularly for energy-constrained mobile handheld devices. In this context, a holistic cross-layer optimization considering multiple layers (e.g., application, middleware, operating system) needs to be developed for continuous adaptation of system parameters. This thesis proposes a unified framework that employs iterative policy/parameter tuning by combining light-weight, on-the-fly formal verification with feedback for dynamic adaptation. The integration of formal analysis with dynamic behavior from system execution will result in a feedback loop that enables model refinement and further optimization of policies and parameters. Our unified framework tunes the parameters in a compositional manner allowing coordinated interaction among sub-layer optimizers that enables holistic cross-layer optimization.