Annie A. M. Cuyt Walter Krämer Wolfram Luther Peter W. Markstein Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers 5492 2009 http://dx.doi.org/10.1007/978-3-642-01591-5 978-3-642-01590-8 Numerical Validation in Current Hardware Architectures Lecture Notes in Computer Science Springer db/conf/dagstuhl/nv2008.html