3107 search results - page 155 / 622 » Error-Correcting Source Code |
114
Voted
ECSA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
114
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We consider the problem of constructing an erasure code for storage over a network when the data sources are distributed. Specifically, we assume that there are n storage nodes wit...
147
Voted
DCC
2002
IEEE
16 years 2 months ago
2002
IEEE
Scalar quantizers with uniform encoders and channel optimized decoders are studied for uniform sources and binary symmetric channels. It is shown that the Natural Binary Code and ...
90
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract: We propose a new construction for low-density source codes with multiple parameters that can be tuned to optimize the performance of the code. In addition, we introduce a...
126
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...