Using speed diagrams for symbolic quality management

Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

Volumn , Issue , 2007, Pages

  Combaz, Jacques ^a   Fernandez, Jean Claude ^a   Sifakis, Joseph ^a   Strus, Loic ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SOFTWARE; CONSTRAINT THEORY; QUALITY MANAGEMENT;

CONTROL RELAXATION; QUALITY LEVEL PARAMETERS; QUALITY MAXIMIZATION;

MULTIMEDIA SERVICES;

EID: 34548753326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2007.370341     Document Type: Conference Paper

References (15)

1. N. C. Audsley, R. I. Davis, and A. Burns. Mechanisms for enhancing the flexibility and utility of hard real-time systems. In Real-Time Systems Symposium, pages 12-21. IEEE, 1994.
2. th IEEE International Conference International Conference on Software Engineering and Formal Methods, September 2006.
3. R. J. Bril, M. Gabrani, C. Hentschel, G. C. van Loo, and E. F. M. Steffens. QoS for consumer terminals and its support for product families. In Proceedings of the International Conference on Media Futures, 2001.
4. G. C. Buttazzo, G. Lipari, and L. Abeni. Elastic task model for adaptive rate control. In RTSS, pages 286-295, 1998.
5. J. Combaz, J. Fernandez, T. Lepley, and J. Sifakis. Fine grain QoS control for multimedia application software. In Design, Automation and Test in Europe (DATE'05) Volume 2, pages 1038-1043, 2005.
6. th Conference on Embedded Software, September 2005.
7. R. I. Davis, K. W. Tindell, and A. Burns. Scheduling slack time in fixed priority preemptive systems. In Proceeding of the IEEE Real-Time Systems Symposium, pages 222-231.
8. J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller. THINK: A Software Framework for Component-based Operating System Kernels. In Proceedings of the Usenix Annual Technical Conference, June 2002.
9. D. Isovic, G. Fohler, and L. Steffens. Timing constraints of MPEG-2 decoding for high quality video: misconceptions and realistic assumptions.
10. G. Koren and D. Shasha. Skip-over: Algorithms and complexity for overloaded systems that allow skips. Technical Report TR1996-715, 1996.
11. J. Lehoczky and S.Thuel. Algorithms for scheduling hard aperiodic tasks in fixed-priority systems using slack stealing. In Proceedings of the IEEE Real-Time System Symposium.
12. C. Lu, J. Stankovic, G. Tao, and S. Son. Feedback control real-time scheduling: Framework, modeling and algorithm. special issue of RT Systems Journal on Control-Theoric Approach To Real-Time Computing, 23(1/2):85-88, 2002.
13. L. Papalau, C. M. O. Pérez, and L. Steffens. In S. Goddard, editor, Work-in-Progress Session of the 16th Euromicro Conference on Real-Time Systems, pages 33-36, 2004.
14. G. M. Schuster, G. Melnikov, and A. K. Katsaggelos. A review of the minimum maximum criterion for optimal bit allocation among dependent quantizers. IEEE Transactions on Multimedia, 1(1):3-17, 1999.
15. C. C. Wüst, L. Steffens, R. J. Bril, and W. F. Verhaegh. QoS control strategies for high-quality video processing. In Euromicro Conference on Real-Time Systems, pages 3-12. IEEE, 2004.