Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers - Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein ((Lecture Notes in Computer Science))