Vor Ort
Merkzettel Warenkorb
  • Produktbild: Numerical Validation in Current Hardware Architectures
  • Produktbild: Numerical Validation in Current Hardware Architectures

Numerical Validation in Current Hardware Architectures International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.2009

Herausgeber

Annie A.M. Cuyt + weitere

Verlag

Springer Berlin

Seitenzahl

263

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

427 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-01590-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

263

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

427 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-01590-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Numerical Validation in Current Hardware Architectures
  • Produktbild: Numerical Validation in Current Hardware Architectures
  • Standardization/Hardware.- Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.- Complete Interval Arithmetic and Its Implementation on the Computer.- Tools.- Continued Fractions for Special Functions: Handbook and Software.- A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.- C-XSC and Closely Related Software Packages.- Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments.- Mathematica Connectivity to Interval Libraries filib++ and C-XSC.- Applications.- Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.- Numerical Verification Assessment in Computational Biomechanics.- Robustness of Boolean Operations on Subdivision-Surface Models.- Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.- Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors.- Error Bounds for Lanczos Approximations of Rational Functions of Matrices.- Linear Systems.- Error-Free Transformation in Rounding Mode toward Zero.- Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.- A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.