Numerical Validation in Current Hardware Architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers - Cuyt, Annie; Krämer, Walter; Luther, Wolfram; Markstein, Peter (Springer Berlin Heidelberg, 2009)