Developments in Reliable Computing

Csendes, Tibor

Developments in Reliable Computing

Edited by Tibor Csendes

in Springer Books from Springer

Date: 1999
ISBN: 978-94-017-1247-7
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Rigorous Global Search: Industrial Applications: George F. Corliss and R. Baker Kearfott
Influences of Rounding Errors in Solving Large Sparse Linear Systems: Axel Facius
A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions: Javier Hormigo, Julio Villalba and Emilio L. Zapata
Towards an optimal control of the wrapping effect: Wolfgang Kühn
On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic: Anatoly V. Lakeyev
A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature: Bruno Lang
INTLAB — INTerval LABoratory: Siegfried M. Rump
Verified calculation of the solution of algebraic Riccati equation: Wolfram Luther and Werner Otten
Expression Concepts in Scientific Computing: Michael Lerch
Performance Evaluation Technique STU and libavi Library: Rafael Sagula, Tiarajú Diverio and João Netto
Single-Number Interval I/O: Michael Schulte, Vitaly Zelov, G. William Walster and Dmitri Chiriaev
Interval Analysis for Embedded Systems: Klaus Musch and Günter Schumacher
Prediction by extrapolation for interval tightening methods: Yahia Lebbah and Olivier Lhomme
The Contribution of T. Sunaga to Interval Analysis and Reliable Computing: Svetoslav Markov and Kohshi Okumura
Surface-to-surface intersection with complete and guaranteed results: Ernst Huber and Wilhelm Barth
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2: Vincent Lefèvre
Comparing Partial Consistencies: Hélène Collavizza, François Delobel and Michel Rueher
Verified Computation of Fast Decreasing Polynomials: Neli S. Dimitrova and Svetoslav M. Markov
An Accurate Distance-Calculation Algorithm for Convex Polyhedra: Eva Dyllong, Wolfram Luther and Werner Otten
Verified Error Bounds for Linear Systems Through the Lanczos Process: Andreas Frommer and Andre Weinberg
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes: Gerhard Heindl
A Few Results on Table-Based Methods: Jean-Michel Muller
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation: Nedialko S. Nedialkov and Kenneth R. Jackson
The Interval-Enhanced GNU Fortran Compiler: Michael J. Schulte, Vitaly Zelov, Ahmet Akkas and James Craig Burley
Outer Estimation of Generalized Solution Sets to Interval Linear Systems: Sergey P. Shary
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic: Adam Strzebonski
A Numerical Verification Method of Solutions for the Navier-Stokes Equations: Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
Convex Sets of Full Rank Matrices: Barbara Kołodziejczak and Tomasz Szulc
Multiaspect Interval Types: Michael Lerch and Jürgen Wolff Von Gudenberg
MATLAB-Based Analysis of Roundoff Noise: Rezső Dunay and István Kollár
SCAN-98 Collected Bibliography: George F. Corliss

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-94-017-1247-7

Ordering information: This item can be ordered from
http://www.springer.com/9789401712477

DOI: 10.1007/978-94-017-1247-7

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().