Партнеры
Termination of a floating point computations Serebrenik A.
Краткое описание
Serebrenik A.
Год: 2005
Количество страниц: 39
Язык: Английский
Формат: PDF / RAR
Формат файла: RAR
Полное описание
Numerical computations form an essential part of almost any real-world program. Traditional approaches to termination of logic programs are restricted to domains isomorphic to (N, >), more recent works study termination of integer computations where the lack of well-foundness of the integers has to be taken into account. Termination of computations involving floating point numbers can be counter-intuitive due to rounding errors and implementation conventions. We present a novel technique that allows us to prove termination of such computations. Our approach extends the previous work on termination of integer computations.
Файлы по теме
- Principles of floating point computation Qiao S.
Before investigating numerical software engineering, we must research the principles of finite precision computing - The mathematics of gambling Thorp E.
Casino card games such as baccarat and blackjack differ significantly from casino games such as craps, roulette, and slot machines in that they are not independent trial processes-that is, the cards that already have been played do affect the odds on subsequent hands - An O(ND) diffrerence algorithm and its variations Myers E.W.
The problems of finding a longest common subsequence of two sequences A and В and a shortest edit script for transforming A into В have long been known to be dual problems In this paper, they are shown to be equivalent to finding a shortest/longest path in an edit graph - Mathematics for game developers Tremblay C.
In this book, you will find some unique solutions for dealing with real problems you 11 likely face when programming many types of 3D games Not only does this book show you how to solve these problem, it also explains why the solution works, which enables you to apply that solution to other problems that may crop up
Файл скачан 0 раз
Голосовать за файл
Скачивание файлов доступно только зарегистрированным пользователям.
Комментарии к файлу