Numerical Validation In Current Hardware Architectures International Dagstuhl Seminar Dagstuhl Castle Germany January 611 2008 Revised Papers | lit.salon