Floating Point

43 books
Floating-point computationPat H. Sterbenz
⏱ 5h 16m

Floating-point computation

Pat H. Sterbenz

1973316 pp.
Computer arithmetic and validityUlrich Kulisch
⏱ 6h 49m

Computer arithmetic and validity

Ulrich Kulisch

2008409 pp.
Defining the IEEE-854 floating-point standard in PVSPaul S. Miner

Defining the IEEE-854 floating-point standard in PVS

Paul S. Miner

1995No page data
Interpretation of IEEE-854 floating-point standard and definition in the HOL systemVictor A. Carreño

Interpretation of IEEE-854 floating-point standard and definition in the HOL system

Victor A. Carreño

1995No page data
IEEE 754 single precision standard compatible floating point processor implemented using silicon compiler technologyArunkumar V. Rajanala
⏱ 1h 17m

IEEE 754 single precision standard compatible floating point processor implemented using silicon compiler technology

Arunkumar V. Rajanala

198877 pp.
Improving floating-point programmingPeter J. L. Wallis
⏱ 3h 11m

Improving floating-point programming

Peter J. L. Wallis

1990191 pp.
The statistical theory of relative errors in floating-point computationD. Stott Parker
⏱ 1h 2m

The statistical theory of relative errors in floating-point computation

D. Stott Parker

197662 pp.
Error-free computationRobert Todd Gregory
⏱ 2h 32m

Error-free computation

Robert Todd Gregory

1980152 pp.
IEEE standard for binary floating-point arithmetic.Unknown Author
⏱ 18m

IEEE standard for binary floating-point arithmetic.

Unknown Author

198518 pp.
Nekotorye primeneni͡ia o͡tsenochnoĭ ("gruboĭ") arifmetikiA. ͡IA Bel͡iankov
⏱ 35m

Nekotorye primeneni͡ia o͡tsenochnoĭ ("gruboĭ") arifmetiki

A. ͡IA Bel͡iankov

198935 pp.
Computer arithmeticEarl E. Swartzlander

Computer arithmetic

Earl E. Swartzlander

1990No page data
A variable precision processor moduleCatherine Yuk-Fun Chow
⏱ 3h 3m

A variable precision processor module

Catherine Yuk-Fun Chow

1980183 pp.
Negotiating arithmetic, construction proofDonald MacKenzie
⏱ 27m

Negotiating arithmetic, construction proof

Donald MacKenzie

199127 pp.
On the accuracy of solving triangular systems in parallelNai-kuan Tsao

On the accuracy of solving triangular systems in parallel

Nai-kuan Tsao

1988No page data
Grundlagen der Computer-ArithmetikAlbrecht, Rudolf
⏱ 2h 30m

Grundlagen der Computer-Arithmetik

Albrecht, Rudolf

1977150 pp.
Grundlagen des numerischen RechnensUlrich Kulisch
⏱ 7h 47m

Grundlagen des numerischen Rechnens

Ulrich Kulisch

1976467 pp.
3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, TexasSymposium on Computer Arithmetic (3d 1975 Southern Methodist University)
⏱ 4h 9m

3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas

Symposium on Computer Arithmetic (3d 1975 Southern Methodist University)

1975249 pp.
Methods and applications of error-free computationRobert Todd Gregory
⏱ 3h 14m

Methods and applications of error-free computation

Robert Todd Gregory

1984194 pp.
MC68881/MC68882 floating-point coprocessor user's manualUnknown Author

MC68881/MC68882 floating-point coprocessor user's manual

Unknown Author

1987No page data
IEEE standard for binary floating-point arithmeticUnknown Author
⏱ 18m

IEEE standard for binary floating-point arithmetic

Unknown Author

198518 pp.
Page 1 of 3Next →