Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks.

Matthias Mutz Sebastian Steibl

Published in: MBMV (1999)

Keyphrases

noisy channel
hidden markov models
viterbi algorithm
low complexity
decoding algorithm
block size
error concealment
motion estimation
wavelet transform
image blocks
ip networks
application layer
fractal image coding
wdm networks