3107 search results - page 268 / 622 » Error-Correcting Source Code |
153
click to vote
PEPM
1999
ACM
15 years 8 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
164
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Random linear network codes can be designed and implemented in a distributed manner, with low computational complexity. However, these codes are classically implemented [1] over fi...
131
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, two different feedback configurations of the relay channel are investigated. Specifically, in our first configuration, the source node in a relay channel is ...
118
click to vote
IWPSE
2003
IEEE
15 years 9 months ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...
164
Voted
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
—Recently, the existence of considerable amount of redundancy in the Internet traffic has stimulated the deployment of several redundancy elimination techniques within the netwo...