Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Serebrenik A. — Termination of a floating point computations
Serebrenik A. — Termination of a floating point computations

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Termination of a floating point computations

Автор: Serebrenik A.

Аннотация:

Numerical computations form an essential part of almost any real-world program. Clearly, in order for a termination analyser to be of practical use it should contain a mechanism for proving termination of such computations. However, this topic attracted relatively little attention of the research community. Moreover, it is well-known that if computations involving real numbers are considered, the actually observed behaviour does not necessarily coincide with the intuitively expected one. The reason for the counter-intuitive behaviour of the computations based on “real numbers” in practice is that real numbers represented by computers are not mathematical objects, but their floating-point approximations. The problem of regarding floating point numbers as real ones and disregarding the rounding errors is not very well-known to programmers of non-scientific codes, but it may have serious and even tragic consequences, as the following example illustrates.


Язык: en

Рубрика: Computer science/

Тип: Статья

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2005

Количество страниц: 39

Добавлена в каталог: 20.02.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте