322 search results - page 12 / 65 » Satisfiability Coding Lemma |
TIT
2002
13 years 7 months ago
2002
We develop methods for analyzing and constructing combined modulation/error-correctiong codes (ECC codes), in particular codes that employ some form of reversed concatenation and w...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
DCC
2003
IEEE
14 years 7 months ago
2003
IEEE
We address the problem of designing optimal quantizers for distributed source coding. The generality of our formulation includes both the symmetric and asymmetric scenarios, toget...
CISS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we examine possible ways that feedback can be used, in the context of systems with network coding capabilities. We illustrate, through a number of simple examples, th...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
A coded modulation system is considered in which nonbinary coded symbols are mapped directly to nonbinary modulation signals. It is proved that if the modulator-channel combination...