J. Pryce, G. Corliss, R. Kearfott, N. Nedialkov, and S. Smith. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)