Symbolic quality control for multimedia applications

Real-Time Systems

Volumn 40, Issue 1, 2008, Pages 1-43

  Combaz, Jacques ^a   Fernandez, Jean Claude ^a   Sifakis, Joseph ^a   Strus, Loïc ^a  

^a VERIMAG   (France)

Author keywords

Embedded systems; Multimedia; QoS control; Real time; Symbolic techniques

Indexed keywords

BENCHMARKING; COMPUTER SOFTWARE; CUSTOMER SATISFACTION; INDUSTRIAL ENGINEERING; MANAGEMENT; MANAGERS; PROBLEM SOLVING; QUALITY ASSURANCE; QUALITY FUNCTION DEPLOYMENT; QUALITY MANAGEMENT; SCHEDULING; TOTAL QUALITY MANAGEMENT;

APPLICATION SOFTWARES; COMPUTATION STEPS; CONSTANT QUALITY; CONTROL METHODS; CONTROLLED SYSTEMS; EFFICIENT COMPUTATION; EMBEDDED SYSTEMS; EXECUTION TIMES; FINE GRAINED; INCREASING FUNCTIONS; MANAGEMENT METHODS; MANAGEMENT POLICIES; MPEG-4 VIDEO; MULTIMEDIA; MULTIMEDIA APPLICATIONS; OPTIMAL SCHEDULING; OPTIMALITY; PERFORMANCE GAINS; PERFORMANCE IMPROVEMENTS; QOS CONTROL; QOS REQUIREMENTS; QUALITY LEVEL PARAMETERS; QUALITY LEVELS; REAL-TIME; SIGNIFICANT REDUCTION; SYMBOLIC TECHNIQUES;

QUALITY CONTROL;

EID: 39049151185     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-008-9049-2     Document Type: Article

References (17)

1. Audsley NC, Davis RI, Burns A (1994) Mechanisms for enhancing the flexibility and utility of hard real-time systems. In: Real-time systems symposium. IEEE, New York, pp 12-21
2. Bril RJ, Gabrani M, Hentschel C, van Loo GC, Steffens EFM (2001) Qos for consumer terminals and its support for product families. In: Proceedings of the international conference on media futures
3. Buttazzo GC, Lipari G, Abeni L (1998) Elastic task model for adaptive rate control. In: RTSS, pp 286-295
4. Combaz J, Fernandez J, Lepley T, Sifakis J (2005a) Fine grain qos control for multimedia application software. In: Design, automation and test in Europe (DATE'05), vol 2, pp 1038-1043
5. Combaz J, Fernandez J-C, Lepley T, Sifakis J (2005b) QoS control for optimality and safety. In: Proceedings of the 5th conference on embedded software, September 2005
6. Combaz J, Fernandez J-C, Sifakis J, Strus L (2007) Using speed diagrams for symbolic quality management. In: IPDPS. IEEE, New York, pp 1-8
7. Davis RI, Tindell KW, Burns A (1993) Scheduling slack time in fixed priority preemptive systems. In: Proceeding of the IEEE real-time systems symposium, pp 222-231
8. Hansen JP, Lehoczky JP, Rajkumar R (2001) Optimization of quality of service in dynamic systems. In: IPDPS '01: proceedings of the 15th international parallel & distributed processing symposium. IEEE Computer Society, Washington, p 95
9. Isovic D, Fohler G, Steffens L (2003) Timing constraints of mpeg-2 decoding for high quality video: misconceptions and realistic assumptions
10. Koren G, Shasha D (1996) Skip-over: algorithms and complexity for overloaded systems that allow skips. Technical Report TR1996-715
11. Lehoczky J, Thuel S (1994) Algorithms for scheduling hard aperiodic tasks in fixed-priority systems using slack stealing. In: Proceedings of the IEEE real-time system symposium
12. Lu C, Stankovic J, Tao G, Son S (2002) Feedback control real-time scheduling: framework, modeling and algorithm. Real-Time Syst J 23(1-2):85-88. Special issue of control-theoretic approach to real-time computing
13. Papalau L, Pérez CMO, Steffens L (2004) In: Goddard, S (ed) Work-in-progress session of the 16th Euromicro conference on real-time systems, pp 33-36
14. Rajkumar R, Lee C, Lehoczky J, Siewiorek D (1997) A resource allocation model for QoS management. In: IEEE real-time systems symposium, December 1997, pp 298-307
15. Schuster GM, Melnikov G, Katsaggelos AK (1999) A review of the minimum maximum criterion for optimal bit allocation among dependent quantizers. IEEE Trans Multimedia 1(1):3-17
16. Westerink P, Rajogopalan R, Gonzales C (1999) Two-pass MPEG-2 variable bit-rate encoding. IBM J Res Dev 43(4):471-488
17. Wüst CC, Steffens L, Bril RJ, Verhaegh WF (2004) Qos control strategies for high-quality video processing. In: Euromicro conference on real-time systems. IEEE, New York, pp 3-12