Annie A. M. Cuyt Walter Krämer Wolfram Luther Peter W. Markstein Numerical Validation in Current Hardware Architectures 08021 2008 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P8021.html