You might also like

More about Numerical Validation in Current Hardware Architectures

• Book details
• Synopsis
• Trending among others

You get 175 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008.§The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

• Full title: Numerical Validation in Current Hardware Architectures
• Subtitle: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers
• Author: Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein
• Language: English
• Binding: Paperback
• Number of pages: 263
• EAN: 9783642015908
• ISBN: 3642015905
• ID: 01649712
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 427 g
• Dimensions: 235 × 155 × 16 mm
• Date of publishing: 22. April 2009

Trending among others

---

---

---