ZIB

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

Applying data redundancy to differential equation solvers (1997)

Ammann, Paul ; Lukes, Dahlard L. ; Knight, John C.

Springer

Annals of software engineering 4 (1997), S. 65-77

add to mindlist on the mindlist

Details

ISSN: 1573-7489

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract Data redundancy methods evaluate the output of a program on a given input by examining the outputs produced by the same program on additional inputs. This papers explores the use of data redundancy to detect and/or tolerate failures in differential equation solvers. Our first goal is to show that data redundancy techniques are applicable to a wide class of differential equations. Our second task is to identify circumstances in which an independence model of the sort used in program checking can be exploited to build highly reliable solvers from moderately reliable components. We conclude with illustrative examples of applying various data redundancy techniques to a standard differential equation solver. The method has potential for critical systems in which the application’s control laws are specified as sets of differential equations.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1023/A:1018958526071

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit