Developments in Reliable Computing
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Netherlands

9789048153503, 9789401712477

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verified calculation of the solution of algebraic Riccati equation

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_8 ◽

1999 ◽

pp. 105-118 ◽

Cited By ~ 8

Author(s):

Wolfram Luther ◽

Werner Otten

Keyword(s):

Riccati Equation ◽

Algebraic Riccati Equation

Download Full-text

On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_5 ◽

1999 ◽

pp. 53-65

Author(s):

Anatoly V. Lakeyev

Keyword(s):

Interval Arithmetic ◽

Existence And Uniqueness ◽

Algebraic Equations ◽

Uniqueness Of Solutions ◽

Linear Algebraic Equations

Download Full-text

Verified Error Bounds for Linear Systems Through the Lanczos Process

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_20 ◽

1999 ◽

pp. 255-267

Author(s):

Andreas Frommer ◽

Andre Weinberg

Keyword(s):

Linear Systems ◽

Error Bounds ◽

Lanczos Process

Download Full-text

Interval Analysis for Embedded Systems

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_12 ◽

1999 ◽

pp. 149-158

Author(s):

Klaus Musch ◽

Günter Schumacher

Keyword(s):

Embedded Systems ◽

Interval Analysis

Download Full-text

Performance Evaluation Technique STU and libavi Library

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_10 ◽

1999 ◽

pp. 131-140

Author(s):

Rafael Sagula ◽

Tiarajú Diverio ◽

João Netto

Keyword(s):

Performance Evaluation ◽

Evaluation Technique

Download Full-text

A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_3 ◽

1999 ◽

pp. 31-41

Author(s):

Javier Hormigo ◽

Julio Villalba ◽

Emilio L. Zapata

Keyword(s):

Interval Arithmetic ◽

Sine And Cosine Functions ◽

Cosine Functions

Download Full-text

MATLAB-Based Analysis of Roundoff Noise

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_30 ◽

1999 ◽

pp. 373-382

Author(s):

Rezső Dunay ◽

István Kollár

Keyword(s):

Roundoff Noise

Download Full-text

A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_6 ◽

1999 ◽

pp. 67-75

Author(s):

Bruno Lang

Keyword(s):

Gaussian Quadrature

Download Full-text

SCAN-98 Collected Bibliography

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_31 ◽

1999 ◽

pp. 383-402

Author(s):

George F. Corliss

Download Full-text

A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Developments in Reliable Computing ◽

10.1007/978-94-017-1247-7_27 ◽

1999 ◽

pp. 347-357 ◽

Cited By ~ 1

Author(s):

Yoshitaka Watanabe ◽

Nobito Yamamoto ◽

Mitsuhiro T. Nakao

Keyword(s):

Stokes Equations ◽

Navier Stokes ◽

Numerical Verification ◽

Navier Stokes Equations ◽

Verification Method

Download Full-text