Pipelined ALU for Signal Processing to Implement Interval Arithmetic.

Ruchir Gupte William W. Edmonson Senanu Ocloo Winser E. Alexander

Published in: SiPS (2006)

Keyphrases

interval arithmetic
signal processing
floating point
constraint propagation
real numbers
fixed point
image processing
pattern recognition
provably correct
neural network
computer vision
constraint satisfaction
finite sets