A more efficient and optimal LLR for decoding and verification.

Kwok Leung Lam Pascale Fung

Published in: ICASSP (1999)

Keyphrases

formal verification
model checking
cost effective
real time
dynamic programming
optimal solution
information retrieval
feature selection
multiscale
worst case
computationally efficient
closed form
optimal strategy
formal methods
decoding algorithm