Soft Decoding Based on Ordered Subsets of Verification Equations of Turbo-Productive Codes.
Alexandr KuznetsovAnastasiia KiianKateryna KuznetsovaVlada HryhorenkoOleksii SmirnovDmytro Prokopovych-TkachenkoPublished in: CMIS (2019)
Keyphrases
- turbo codes
- decoding algorithm
- error correction
- decoding complexity
- error control
- parity check
- reed solomon
- ldpc codes
- distributed video coding
- low density parity check
- error correcting
- model checking
- soft decision
- channel coding
- wireless channels
- reed solomon codes
- formal verification
- mathematical model
- compressed images
- numerical solution
- low complexity
- formal methods
- differential equations
- decision feedback
- verification method
- joint source channel
- convolutional codes
- collaborative learning
- joint source channel decoding
- error detection
- polynomial equations
- decoding process
- error correcting codes
- error resilience
- rate allocation
- linear equations
- video codec
- face verification
- open ended