This paper presents a robust scalable video coding scheme with leaky prediction, suitable for time-varying error-prone channels, such as the Internet or wireless channels. The pro...
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
— Multiple Description Coding (MDC) can be used as an Error Resilience (ER) technique for video coding. In case of transmission errors, Error Concealment (EC) can be combined wit...
Mengyao Ma, Oscar C. Au, Liwei Guo, Xiaopeng Fan, ...
This paper considers online stochastic optimization problems where time constraints severely limit the number of offline optimizations which can be performed at decision time and/...
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...