Floating point is ubiquitous in computers, where it is the default way to represent non-integer numbers. However, few people understand it. We all see weird behavior sometimes, and many programmers treat it as a mystical and imprecise system of ma...Loe edasi...
Floating point is ubiquitous in computers, where it is the default way to represent non-integer numbers. However, few people understand it. We all see weird behavior sometimes, and many programmers treat it as a mystical and imprecise system of ma...Loe edasi...
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification method...Loe edasi...
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification method...Loe edasi...
Floating-point Algorithms and Formal Proofs: A Didactic Tour with Coq explores floating-point arithmetic, a tool that is ubiquitous in modern computing as the tool of choice to approximate real numbers. Due to its limited range and precisio...Loe edasi...
(Ilmumisaeg: 18-May-2015, Hardback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814641463)
This is the new edition of the classic book Computer Arithmetic in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic...Loe edasi...
(Ilmumisaeg: 18-May-2015, Hardback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814651561)
The book provides many of the basic papers in computer arithmetic. These papers describe the concepts and basic operations (in the words of the original developers) that would be useful to the designers of computers and embedded systems. Although the...Loe edasi...
(Ilmumisaeg: 27-Apr-2015, Hardback, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814651134)
Computer Arithmetic Volume III is a compilation of key papers in computer arithmetic on floating-point arithmetic and design. The intent is to show progress, evolution, and novelty in the area of floating-point arithmetic. This field has made extraor...Loe edasi...
(Ilmumisaeg: 17-Apr-2013, Hardback, Kirjastus: De Gruyter, ISBN-13: 9783110301731)
In the computer world, there are a remarkable number of people who have not yet mastered the theories and practice of computer arithmetic. Kulisch, the author, has updated this second edition to include new concepts and theories, and continues in his...Loe edasi...
(Ilmumisaeg: 27-Aug-2008, Multiple-component retail product, Kirjastus: Walter de Gruyter & Co, ISBN-13: 9783119167673)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
The present book deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied mathematics to compute highly accurate and mathematically verified results.The aim is to improve the accuracy of numer...Loe edasi...
(Ilmumisaeg: 20-May-2008, Hardback, Kirjastus: De Gruyter, ISBN-13: 9783110203189)
With the intention of improving the accuracy of numerical computing and controlling the quality of the computed results (also known as validity), Kulisch (mathematics, U. Karlsruhe) explains how to use advanced computer arithmetic. He explains firs...Loe edasi...
(Ilmumisaeg: 30-Apr-1990, Hardback, Kirjastus: John Wiley & Sons Ltd, ISBN-13: 9780471924371)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This contributed work covers, in precise detail, the potential sources of error in floating-point programming and how these trouble spots can be controlled. Explains several methods for improving the accuracy of floating-point programming, concentrat...Loe edasi...
(Ilmumisaeg: 09-Aug-1984, Hardback, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9780387909677)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-free com putation can be applied in practice. The book is intended for seniors and first year gradua...Loe edasi...
