Specification of hardware for interval arithmetic.

Marco Nehmeier Stefan Siegel Jürgen Wolff von Gudenberg

Published in: Computing (2012)

Keyphrases

interval arithmetic
provably correct
constraint propagation
real numbers
integer arithmetic
floating point
real time
formal methods
computing systems
neural network
massively parallel
finite sets
partial derivatives
temporal constraints