ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close