Numerical software with result verification
international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
Our rough guess is there are 78,250 words in this book.
At a pace averaging 250 words per minute, this book will take 5 hours and 13 minutes to read. With a half hour per day, this will take 11 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
We earn a commission on purchases
Contributions
- Alt, René. - Contributor
Publication
2004 - Springer, Berlin
Language
English
Word Count
78,250 words, Guess
Page Count
313 pages
Identifiers
- Open LibraryOL18211929M
- ISBN-103540212604
- OCLC Control Number54677773
- Library of Congress Control Number2004042817
- Goodreads1323452
and 1 more
- LibraryThing6363923
Classifications
- LCCQA297 .N867 2004
Description
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de?nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri?cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o?, and in model interpretation. The techniques of validated computing have proven their merits in many scienti?c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from ?elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi?erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.
Subjects
Topics
Genres
- Congresses.
Series Statement
- Lecture notes in computer science -- 2991.
Other Editions
- Numerical software with result verification: international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!