000 04023nam a22005295i 4500
001 978-3-642-01591-5
003 DE-He213
005 20240423125200.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642015915
_9978-3-642-01591-5
024 7 _a10.1007/978-3-642-01591-5
_2doi
050 4 _aQA75.5-76.95
072 7 _aUY
_2bicssc
072 7 _aCOM000000
_2bisacsh
072 7 _aUY
_2thema
082 0 4 _a004
_223
245 1 0 _aNumerical Validation in Current Hardware Architectures
_h[electronic resource] :
_bInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers /
_cedited by Annie A.M. Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXII, 263 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5492
505 0 _aStandardization/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.
520 _aThis 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.
650 0 _aComputer science.
650 1 4 _aComputer Science.
700 1 _aCuyt, Annie A.M.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKrämer, Walter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aLuther, Wolfram.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMarkstein, Peter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642015908
776 0 8 _iPrinted edition:
_z9783642015922
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5492
856 4 0 _uhttps://doi.org/10.1007/978-3-642-01591-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c175154
_d175154