LFSR seed computation and reduction using SMT-based fault-chaining.

Dhrumeel Bakshi Michael S. Hsiao

Published in: DATE (2013)

Keyphrases

artificial intelligence
efficient computation
fault diagnosis
database
wavelet transform
neural network
data mining
computer vision
image segmentation
similarity measure
fault detection
transmission line
statistical machine translation
space reduction
shift register