Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ANSI/IEEE Std 754-1985 : IEEE standard for binary floating-point arithmetic / / Institute of Electrical and Electronics Engineers
| ANSI/IEEE Std 754-1985 : IEEE standard for binary floating-point arithmetic / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 1985 |
| Descrizione fisica | 1 online resource (18 pages) |
| Disciplina | 005.453 |
| Soggetto topico |
Compiling (Electronic computers)
Floating-point arithmetic |
| ISBN | 0-7381-1165-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ANSI/IEEE Std 754-1985: IEEE Standard for Binary Floating-Point Arithmetic |
| Record Nr. | UNINA-9910135418003321 |
| New York, New York : , : IEEE, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ANSI/IEEE Std 754-1985 : IEEE standard for binary floating-point arithmetic / / Institute of Electrical and Electronics Engineers
| ANSI/IEEE Std 754-1985 : IEEE standard for binary floating-point arithmetic / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 1985 |
| Descrizione fisica | 1 online resource (18 pages) |
| Disciplina | 005.453 |
| Soggetto topico |
Compiling (Electronic computers)
Floating-point arithmetic |
| ISBN | 0-7381-1165-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ANSI/IEEE Std 754-1985: IEEE Standard for Binary Floating-Point Arithmetic |
| Record Nr. | UNISA-996279553803316 |
| New York, New York : , : IEEE, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ANSI/IEEE Std 854-1987 : IEEE standard for radix-independent floating-point arithmetic / / Institute of Electrical and Electronics Engineers
| ANSI/IEEE Std 854-1987 : IEEE standard for radix-independent floating-point arithmetic / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 1987 |
| Descrizione fisica | 1 online resource (16 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer arithmetic
Floating-point arithmetic |
| ISBN | 0-7381-1167-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ANSI/IEEE Std 854-1987: IEEE Standard for Radix-Independent Floating-Point Arithmetic |
| Record Nr. | UNISA-996279553903316 |
| New York, New York : , : IEEE, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ANSI/IEEE Std 854-1987 : IEEE standard for radix-independent floating-point arithmetic / / Institute of Electrical and Electronics Engineers
| ANSI/IEEE Std 854-1987 : IEEE standard for radix-independent floating-point arithmetic / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | New York, New York : , : IEEE, , 1987 |
| Descrizione fisica | 1 online resource (16 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer arithmetic
Floating-point arithmetic |
| ISBN | 0-7381-1167-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ANSI/IEEE Std 854-1987: IEEE Standard for Radix-Independent Floating-Point Arithmetic |
| Record Nr. | UNINA-9910135414703321 |
| New York, New York : , : IEEE, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic [[electronic resource]] . v. I / / editor, Earl E. Swartzlander
| Computer arithmetic [[electronic resource]] . v. I / / editor, Earl E. Swartzlander |
| Autore | Swartzlander Earl E., Jr., <1945-> |
| Pubbl/distr/stampa | Hackensack, New Jersey : , : World Scientific, , 2015 |
| Descrizione fisica | 1 online resource (xvi, 379 p.) : ill |
| Disciplina | 005.1 |
| Altri autori (Persone) | SwartzlanderEarl E., Jr., <1945-> |
| Soggetto topico |
Computer programming
Floating-point arithmetic Computer arithmetic |
| ISBN |
1-68015-846-5
981-4651-57-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911006887803321 |
Swartzlander Earl E., Jr., <1945->
|
||
| Hackensack, New Jersey : , : World Scientific, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic . volume III [[electronic resource] /] / editors, Earl E. Swartzlander, Carl E. Lemonds
| Computer arithmetic . volume III [[electronic resource] /] / editors, Earl E. Swartzlander, Carl E. Lemonds |
| Autore | Swartzlander Earl E., Jr., <1945-> |
| Pubbl/distr/stampa | Hackensack, New Jersey : , : World Scientific, , 2015 |
| Descrizione fisica | 1 online resource (xvii, 451 p.) : ill |
| Disciplina | 005.1 |
| Altri autori (Persone) |
SwartzlanderEarl E., Jr., <1945->
LemondsCarl E |
| Soggetto topico |
Computer programming
Floating-point arithmetic Computer arithmetic |
| ISBN |
1-68015-847-3
981-4651-14-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. I. Overview. 1. IEEE standard for floating-point arithmetic -- pt. II. Floating-point addition. 2. Delay-optimized implementation of IEEE floating-point addition / P. M. Seidel and G. Even -- 3. Using the reverse-carry approach for double datapath floating-point addition / J. D. Bruguera and T. Lang -- 4. Reduced latency IEEE floating-point standard adder architectures / A. Beaumont-Smith ... [et al.] -- 5. Leading-zero anticipatory logic for high-speed floating-point addition / H. Suzuki ... [et al.] -- 6. Leading zero anticipation and detection - A comparison of methods / M. Schmookler and K. Nowka -- 7. S/370 sign-magnitude floating-point adder / S. Vassiliadis, D. S. Lemon and M. Putrino -- pt. III. Floating-point multiplication. 8. A quadruple precision and dual double precision floating-point multiplier / A. Akkas and M. J. Schulte -- 9. A dual mode IEEE multiplier / G. Even, S. M. Mueller and P. M. Seidel -- 10. 167 MHz radix-4 floating-point multiplier / R. K. Yu and G. B. Zyner -- pt. IV. Rounding. 11. Rounding algorithms for IEEE multipliers / M. R. Santoro, G. Bewick and M. A. Horowitz -- 12. "Systematic IEEE rounding method for high-speed floating-point multipliers / N. T. Quach, N. Takagi, and M. J. Flynn -- 13. A comparison of three rounding algorithms for IEEE floating-point multiplication / G. Even and P. M. Seidel -- 14. Prenormalization rounding in IEEE floating-point operations using a flagged prefix adder / N. Burgess -- pt. V. Fused multiply add. 15. Design of the IBM RISC system/6000 floating-point execution unit / R. K. Montoye, E. Hokenek and S. L. Runyon -- 16. A 17 x 69 bit multiply and add unit with redundant binary feedback and single cycle latency / W. S. Briggs and D. Matula -- 17. Comparison of single- and dual-pass multiply-add fused floating-point units / R. Jessani and M. Putrino -- 18. Floating-point fused multiply-add with reduced latency / T. Lang and J. D. Bruguera -- 19. Floating-point fused multiply-add architectures / E. Quinnell, E. E. Swartzlander, Jr. and C. Lemonds -- pt. VI. Floating-point division. 20. Floating-point division and square root algorithms and implementation in the AMD-K7 microprocessor / S. F. Oberman -- 21. High performance floating-point unit with 116 bit wide divider / G. Gerwig ... [et al.] -- 22. High-speed double-precision computation of reciprocal, division, square root, and inverse square root / J. A. Pineiro and J. D. Bruguera -- 23. 167 MHz radix-8 floating-point divide and square root using overlapped radix-2 stages / J. Prabhu and G. Zyner -- 24. Division algorithms and implementations / S. F. Oberman and M. J. Flynn -- 25. Faithful interpolation in reciprocal tables / D. Das Sarma and D. W. Matula -- pt. VII. Elementary functions. 26. Computation of elementary functions on the IBM RISC system/6000 processor / P. W. Markstein -- 27. Accurate and monotone approximations of some transcendental functions / W. Ferguson and T. Brightman -- 28. The K5 transcendental functions / T. Lynch ... [et al.] -- 29. Hardware designs for exactly rounded elementary functions / M. J. Schulte and E. E. Swartzlander, Jr. -- 30. Toward correctly rounded transcendentals / V. Lefevre, J.-M. Muller and A. Tisserand -- 31. Reciprocation, square root, inverse square root and some elementary functions using small multipliers / M. Ercegovac ... [et al.] -- 32. Multipartite table methods / F. Dinechin and A. Tisserand -- pt .VIII. Decimal floating-point arithmetic. 33. A decimal floating-point specification / M. F. Cowlishaw ... [et al.] -- 34. Decimal floating-point: Algorism for computers / M. F. Cowlishaw -- 35. A software implementation of the IEEE 754R decimal floating-point arithmetic using the binary encoded format / M. Cornea ... [et al.] -- 36. Decimal floating-point multiplication, / M. A. Erle, B. J. Hickmann and M. J. Schulte -- 37. "A survey of hardware designs for decimal arithmetic / L.-K. Wang ... [et al.]. |
| Record Nr. | UNINA-9911006603803321 |
|
Swartzlander Earl E., Jr., <1945->
|
||
| Hackensack, New Jersey : , : World Scientific, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic : Volume II
| Computer arithmetic : Volume II |
| Autore | Swartzlander Earl E., Jr., <1945-> |
| Edizione | [New ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : World Scientific Publishing, 2014 |
| Descrizione fisica | 1 online resource (xxxviii, 446 p.) : ill |
| Disciplina | 005.1 |
| Soggetto topico |
Computer programming
Floating-point arithmetic Computer arithmetic Engineering & Applied Sciences Computer Science |
| ISBN |
1-68015-849-X
981-4641-47-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911006887503321 |
|
Swartzlander Earl E., Jr., <1945->
|
||
| [Place of publication not identified], : World Scientific Publishing, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / / Sylvie Boldo, Guillaume Melquiond
| Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / / Sylvie Boldo, Guillaume Melquiond |
| Autore | Boldo Sylvie |
| Pubbl/distr/stampa | London, England : , : ISTE Press : , : Elsevier, , 2017 |
| Descrizione fisica | 1 online resource (328 pages) : illustrations |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer arithmetic
Floating-point arithmetic |
| ISBN | 0-08-101170-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910583020603321 |
|
Boldo Sylvie
|
||
| London, England : , : ISTE Press : , : Elsevier, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch
| Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch |
| Autore | Kulisch Ulrich |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin, : De Gruyter, 2013 |
| Descrizione fisica | 1 online resource (434 p.) |
| Disciplina | 005.101/5113 |
| Collana |
De Gruyter Studies in Mathematics
De Gruyter studies in mathematics |
| Soggetto topico |
Computer arithmetic
Computer arithmetic and logic units Floating-point arithmetic |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-030179-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- Index |
| Record Nr. | UNINA-9910452844603321 |
|
Kulisch Ulrich
|
||
| Berlin, : De Gruyter, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch
| Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch |
| Autore | Kulisch Ulrich |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin, : De Gruyter, 2013 |
| Descrizione fisica | 1 online resource (434 p.) |
| Disciplina | 005.101/5113 |
| Collana |
De Gruyter Studies in Mathematics
De Gruyter studies in mathematics |
| Soggetto topico |
Computer arithmetic
Computer arithmetic and logic units Floating-point arithmetic |
| ISBN | 3-11-030179-2 |
| Classificazione | SK 900 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- Index |
| Record Nr. | UNINA-9910779734903321 |
|
Kulisch Ulrich
|
||
| Berlin, : De Gruyter, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
