Libros sobre el tema "Floating point"

L, Wallis Peter J., ed. Improving floating-point programming. Chichester, England: Wiley, 1990.

Muller, Jean-Michel, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol y Serge Torres. Handbook of Floating-Point Arithmetic. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-76526-6.

Muller, Jean-Michel, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé y Serge Torres. Handbook of Floating-Point Arithmetic. Boston: Birkhäuser Boston, 2010. http://dx.doi.org/10.1007/978-0-8176-4705-6.

service), SpringerLink (Online, ed. Handbook of floating-point arithmetic. Boston: Birkhäuser, 2010.

Vekaria, R. Bandpass filters using floating point arithmtic. London: University of East London, 1994.

Aamodt, Tor. Floating-point to fixed-point compilation and embedded architectural support. Ottawa: National Library of Canada, 2001.

Russinoff, David M. Formal Verification of Floating-Point Hardware Design. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-87181-9.

Russinoff, David M. Formal Verification of Floating-Point Hardware Design. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-319-95513-1.

Motorola. MC68881/MC68882 floating-point coprocessor user's manual. 2^a ed. Englewood Cliffs, N.J: Prentice Hall, 1989.

IEEE Computer Society. Standards Committee. Working group of the Microprocessor Standards Subcommittee. y American National Standards Institute, eds. IEEE standard for binary floating-point arithmetic. New York, N.Y: Institute of Electrical and Electronics Engineers, Inc, 1985.

IEEE Computer Society Standards Committee. Working group of the Microprocessor Standards Subcommittee. y American National Standards Institute, eds. IEEE standard for binary floating-point arithmetic. New York, NY: Institute of Electrical and Electronics Engineers, 1985.

inc, Motorola, ed. MC68881/MC68882 floating-point coprocessor user's manual. 2^a ed. Englewood Cliffs, N.J: Prentice Hall, 1989.

Center, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Center, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Center, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Center, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Center, Langley Research, ed. Interpretation of IEEE-854 floating-point standard and definition in the HOL system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

Center, Langley Research, ed. Interpretation of IEEE-854 floating-point standard and definition in the HOL system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

IEEE Computer Society. Technical Committee on Microprocessors and Microcomputers. y IEEE Standards Board, eds. IEEE standard for radix-independent floating-point arithmetic. New York, NY: Institute of Electrical and Electronics Engineers, 1987.

Instruments, Texas. TMS320 floating-point DSP assembly language tools: User's guide. [S.l.]: Texas Instruments, 1995.

Barrett, Geoff. Formal methods applied to a floating point number system. Oxford: Oxford University Computing Laboratory, Programming Research Group, 1987.

Workshop, on Floating Structures and Offshore Operations (1987 Wageningen Netherlands). Floating structures and offshore operations: Proceedings of a Workshop on Floating Structures and Offshore Operations, Wageningen, the Netherlands, 19-20 November 1987. Amsterdam: Elsevier, 1987.

United States. National Aeronautics and Space Administration., ed. On the accuracy of solving triangular systems in parallel. [Washington, DC]: National Aeronautics and Space Administration, 1988.

MacKenzie, Donald. Negotiating arithmetic, construction proof: The sociology of mathematics and information technology. Edinburgh: Research Centre for Social Sciences, University of Edinburgh, 1991.

E, Swartzlander Earl, ed. Computer arithmetic. Los Alamitos, CA: IEEE Computer Society Press, 1990.

McLean, David I. Experimental response and analysis of the Evergreen Point Floating Bridge. [Olympia, Wash.]: Washington State Dept. of Transportation, 2003.

Devices, Analog. 32/40-Bit IEEE floating-point DSP microprocessor ADSP-21020. Norwood, MA: Analog Devices, 1995.

IEEE Computer Society. Standards Committee. y Institute of Electrical and Electronics Engineers., eds. IEEE standard for binary floating-point arithmetic: An American national standard. New York: Institute of Electrical and Electronics Engineers, 1985.

Zimmer, Michael Lee. A VLSI design of a radix-4 floating point FFT butterfly. Monterey, Calif: Naval Postgraduate School, 1991.

Center, Langley Research, ed. Performance of FORTRAN floating-point operations on the Flex/32 multicomputer. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1987.

IEEE Computer Society. Technical Committee on Microprocessors and Microcomputers. y Institute of Electrical and Electronics Engineers., eds. IEEE standard for radix-independant floating point arithmetic: An American national standard. New York: Institute of Electrical and Electronics Engineers, 1987.

Ely, Jeffrey Stewart. Prospects for using variable precision interval software in C++ for solving some contemporary scientific problems. Ann Arbor, Mich: UMI Dissertation Services, 1993.

Hayashi, Takayuki. A 1 V floating-point analog-to-digital converter for portable communication devices. Ottawa: National Library of Canada, 1998.

Carrenõ, Victor A. Interpretation of IEEE-854 floating-point standard and definition in the HOL system. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.

N, Levitt Karl, Cohen G. C y Langley Research Center, eds. Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1991.

National Renewable Energy Laboratory (U.S.) y International Workshop on Water Waves and Floating Bodies (27th : 2012 : Copenhagen, Denmark), eds. Experimental investigation of the power generation performance of floating-point absorber wave energy systems: Preprint. Golden, Colo: National Renewable Energy Laboratory, 2012.

Y, Li y National Renewable Energy Laboratory (U.S.), eds. A RANS simulation of the heave response of a two-body floating point wave absorber: Preprint. Golden, CO]: National Renewable Energy Laboratory, 2011.

Rothberg, Edward. Improved load distribution in parallel sparse Cholesky factorization. [Moffett Field, Calif.]: Research Institute for Advanced Computer Science, NASA Ames Research Center, 1994.

K, Kaushik Dinesh, Smith Barry F y Langley Research Center, eds. Prospects for CFD on petaflops systems. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.

K, Kaushik Dinesh, Smith Barry F y Langley Research Center, eds. Prospects for CFD on petaflops systems. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.

Yu, Yi-Hsiang. Preliminary results of a RANS simulation for a floating point absorber wave energy system under extreme wave conditions. [Golden, CO]: National Renewable Energy Laboratory, 2011.

Kulisch, Ulrich. Computer arithmetic and validity. Berlin: De Gruyter, 2013.

Computer arithmetic and validity: Theory, implementation, and applications. Berlin: Walter de Gruyter, 2008.

Buck, Shelley. Floating Point. WriteWords Press, 2011.

Wehm, Darusha. Floating Point. In Potentia Press, 2016.

Stakem, Patrick. Floating Point Computation. Independently Published, 2016.

miku, Sami Loy, Bryan Krauss, James Moore y Sean Hurley. Floating. point: 0x02. Independently Published, 2019.

Floating Point Computation. PRRB Publishing, 2013.

Firenze, D. P., Stieg Retlin y Jessica Burns. Floating. point: 0x01. Independently Published, 2019.

Metcalf, Michael, John Reid y Malcolm Cohen. Floating-point exception handling. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198811893.003.0018.