STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems.
Felice BalarinPublished in: CODES (2001)
Keyphrases
- discrete event systems
- worst case analysis
- petri net
- average case
- worst case
- complex systems
- telecommunication networks
- model based diagnosis
- discrete event
- video decoder
- np hardness
- timed petri nets
- greedy heuristic
- temporal constraints
- lower bound
- linear programming relaxation
- motion estimation
- video sequences
- video codec
- simulation model
- np hard