Verification decoding of raptor codes.
Richard M. KarpMichael LubyAmin ShokrollahiPublished in: ISIT (2005)
Keyphrases
- decoding algorithm
- parity check
- error control
- joint source channel
- ldpc codes
- error correcting
- reed solomon
- decoding complexity
- error correction
- low density parity check
- image transmission
- model checking
- asynchronous circuits
- error correcting codes
- decoding process
- formal verification
- turbo codes
- rate allocation
- error detection
- decision feedback
- non binary
- noise model
- multipath
- reed solomon codes
- data streams