New tools for localization of limit cycles in recursive block floating point systems.

Kamen R. Ralev Peter H. Bauer

Published in: Signal Process. (1999)

Keyphrases

floating point
square root
fixed point
software developers
image segmentation
sufficient conditions
computing environments
formal methods
state space
graphical models
computer systems
instruction set