| Tag |
In 1 |
In 2 |
Data |
| 001 | | | vtls000022166 |
| 003 | | | IISER-K |
| 005 | | | 20140514172700.0 |
| 006 | | | m e d |
| 007 | | | cr bn |||m|||a |
| 008 | | | 120213s2005 paua ob 001 0 eng d |
| 020 | | | \a 9780898718157 (electronic bk.) |
| 020 | | | \z 0898715849 (pbk.) |
| 020 | | | \z 9780898715842 (pbk.) |
| 039 | | 9 | \a 201405141727 \b VLOAD \y 201202131219 \z Siladitya |
| 082 | 0 | 4 | \a 502/.85 \2 22 |
| 245 | 0 | 0 | \a Accuracy and reliability in scientific computing \h [electronic resource] / \c edited by Bo Einarsson. |
| 260 | | | \a Philadelphia, Pa. : \b Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), \c 2005. |
| 300 | | | \a 1 electronic text (xxiii, 338 p.) : \b ill., digital file. |
| 490 | 1 | | \a Software, environments, tools ; \v 18 |
| 504 | | | \a Includes bibliographical references (p. 301-334) and index. |
| 505 | 0 | | \a List of Contributors -- List of Figures -- List of Tables -- Preface -- |
| 505 | 0 | | \a Part I: Pitfalls in numerical computation -- Chapter 1: What Can Go Wrong in Scientific Computing? / Bo Einarsson -- Chapter 2: Assessment of Accuracy and Reliability / Ronald F. Boisvert, Ronald Cools, and Bo Einarsson -- Chapter 3: Approximating Integrals, Estimating Errors, and Giving the Wrong Solution for a Deceptively Easy Problem / Ronald Cools -- Chapter 4: An Introduction to the Quality of Computed Solutions / Sven Hammarling -- Chapter 5: Qualitative Computing / Françoise Chaitin-Chatelin and Elisabeth Traviesas-Cassan -- |
| 505 | 0 | | \a Part II: Diagnostic tools -- Chapter 6: PRECISE and the Quality of Reliable Numerical Software / Françoise Chaitin-Chatelin and Elisabeth Traviesas-Cassan -- Chapter 7: Tools for the Verification of Approximate Solutions to Differential Equations / Wayne H. Enright -- |
| 505 | 0 | | \a Part III: Technology for improving accuracy and reliability -- Chapter 8: General Methods for Implementing Reliable and Correct Software / Bo Einarsson -- Chapter 9: The Use and Implementation of Interval Data Types / G. William Walster -- Chapter 10: Computer-Assisted Proofs and Self-Validating Methods / Siegfried M. Rump -- Chapter 11: Hardware Assisted Algorithms / Craig C. Douglas and Hans Petter Langtangen -- Chapter 12: Issues in Accurate and Reliable Use of Parallel Computing in Numerical Programs / William D. Gropp -- Chapter 13: Software Reliability Engineering of Numerical Systems / Mladen A. Vouk -- |
| 505 | 0 | | \a Bibliography -- Index. |
| 506 | | | \a Restricted to subscribers or individual electronic text purchasers. |
| 520 | 3 | | \a Numerical software is used to test scientific theories, design airplanes and bridges, operate manufacturing lines, control power plants and refineries, analyze financial derivatives, identify genomes, and provide the understanding necessary to derive and analyze cancer treatments. Because of the high stakes involved, it is essential that results computed using software be accurate, reliable, and robust. Unfortunately, developing accurate and reliable scientific software is notoriously difficult. This book investigates some of the difficulties related to scientific computing and provides insight into how to overcome them and obtain dependable results. The tools to assess existing scientific applications are described, and a variety of techniques that can improve the accuracy and reliability of newly developed applications is discussed. Accuracy and Reliability in Scientific Computing can be considered a handbook for improving the quality of scientific computing. It will help computer scientists address the problems that affect software in general as well as the particular challenges of numerical computation: approximations occurring at all levels, continuous functions replaced by discretized versions, infinite processes replaced by finite ones, and real numbers replaced by finite precision numbers. Divided into three parts, it starts by illustrating some of the difficulties in producing robust and reliable scientific software. Well-known cases of failure are reviewed and the what and why of numerical computations are considered. The second section describes diagnostic tools that can be used to assess the accuracy and reliability of existing scientific applications. In the last section, the authors describe a variety of techniques that can be employed to improve the accuracy and reliability of newly developed scientific applications. The authors of the individual chapters are international experts, many of them members of the IFIP Working Group on Numerical Software. |
| 530 | | | \a Also available in print version. |
| 538 | | | \a Mode of access: World Wide Web. |
| 538 | | | \a System requirements: Adobe Acrobat Reader. |
| 588 | | | \a Title from title screen, viewed 10/20/2010. |
| 588 | | | \a Description based on title page of print version. |
| 650 | | 0 | \a Science \x Data processing. |
| 650 | | 0 | \a Reliability (Engineering) \x Mathematics. |
| 650 | | 0 | \a Computer programs \x Correctness \x Scientific applications. |
| 650 | | 0 | \a Software productivity \x Scientific applications. |
| 653 | | | \a Accuracy |
| 653 | | | \a Error analysis |
| 653 | | | \a Floating point |
| 653 | | | \a Interval arithmetic |
| 653 | | | \a Reliability |
| 653 | | | \a Validation |
| 653 | | | \a Verification |
| 700 | 1 | | \a Einarsson, Bo, \d 1939- |
| 710 | 2 | | \a Society for Industrial and Applied Mathematics. |
| 776 | 0 | 8 | \i Print version: \z 0898715849 \z 9780898715842 \w (DLC) 2005047019 |
| 830 | | 0 | \a Software, environments, tools ; \v 18. |
| 856 | 4 | 0 | \3 SIAM \u http://epubs.siam.org/ebooks/siam/software_environments_and_tools/se18 \y SIAM |
|
|
