Sciweavers

3107 search results - page 248 / 622
» Error-Correcting Source Code
Sort
View
ICIP
2010
IEEE
15 years 2 months ago
Mixed-resolution distributed video codec without motion estimation at the encoder
Inspired by recent results showing that Wyner-Ziv coding using a combination of source and channel coding may be more efficient than pure channel coding, we have applied coset cod...
Bruno Macchiavello, Edson M. Hung, Ricardo L. de Q...
ICFEM
2009
Springer
15 years 2 months ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
ICSM
2006
IEEE
15 years 10 months ago
On the Use of Line Co-change for Identifying Crosscutting Concern Code
Crosscutting concerns are software system features whose implementation is spread across many modules as tangled and scattered code. Identifying such code helps developers to chan...
Gerardo Canfora, Luigi Cerulo, Massimiliano Di Pen...
TIP
2008
144views more  TIP 2008»
15 years 4 months ago
On Dictionary Adaptation for Recurrent Pattern Image Coding
In this paper, we exploit a recently introduced coding algorithm called multidimensional multiscale parser (MMP) as an alternative to the traditional transform quantization-based m...
Nuno M. M. Rodrigues, Eduardo A. B. da Silva, Muri...
ICC
2011
IEEE
177views Communications» more  ICC 2011»
14 years 4 months ago
High-Throughput Routing with Superposition Coding and Successive Interference Cancellation
—Network coding aware routing protocols have been an interesting research topic in recent years. In this paper, we explore similar routing gains with physical layer coding techni...
Xueyuan Su, Sammy Chan