Books on the topic 'Floating point'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Floating point.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
L, Wallis Peter J., ed. Improving floating-point programming. Chichester, England: Wiley, 1990.
Find full textMuller, Jean-Michel, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, and Serge Torres. Handbook of Floating-Point Arithmetic. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-76526-6.
Full textMuller, Jean-Michel, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, and Serge Torres. Handbook of Floating-Point Arithmetic. Boston: Birkhäuser Boston, 2010. http://dx.doi.org/10.1007/978-0-8176-4705-6.
Full textservice), SpringerLink (Online, ed. Handbook of floating-point arithmetic. Boston: Birkhäuser, 2010.
Find full textVekaria, R. Bandpass filters using floating point arithmtic. London: University of East London, 1994.
Find full textAamodt, Tor. Floating-point to fixed-point compilation and embedded architectural support. Ottawa: National Library of Canada, 2001.
Find full textRussinoff, 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.
Full textRussinoff, 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.
Full textMotorola. MC68881/MC68882 floating-point coprocessor user's manual. 2nd ed. Englewood Cliffs, N.J: Prentice Hall, 1989.
Find full textIEEE Computer Society. Standards Committee. Working group of the Microprocessor Standards Subcommittee. and American National Standards Institute, eds. IEEE standard for binary floating-point arithmetic. New York, N.Y: Institute of Electrical and Electronics Engineers, Inc, 1985.
Find full textIEEE Computer Society Standards Committee. Working group of the Microprocessor Standards Subcommittee. and American National Standards Institute, eds. IEEE standard for binary floating-point arithmetic. New York, NY: Institute of Electrical and Electronics Engineers, 1985.
Find full textinc, Motorola, ed. MC68881/MC68882 floating-point coprocessor user's manual. 2nd ed. Englewood Cliffs, N.J: Prentice Hall, 1989.
Find full textCenter, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Find full textCenter, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Find full textCenter, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Find full textCenter, Langley Research, ed. Defining the IEEE-854 floating-point standard in PVS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1995.
Find full textCenter, 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.
Find full textCenter, 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.
Find full textIEEE Computer Society. Technical Committee on Microprocessors and Microcomputers. and IEEE Standards Board, eds. IEEE standard for radix-independent floating-point arithmetic. New York, NY: Institute of Electrical and Electronics Engineers, 1987.
Find full textInstruments, Texas. TMS320 floating-point DSP assembly language tools: User's guide. [S.l.]: Texas Instruments, 1995.
Find full textBarrett, Geoff. Formal methods applied to a floating point number system. Oxford: Oxford University Computing Laboratory, Programming Research Group, 1987.
Find full textWorkshop, 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.
Find full textUnited States. National Aeronautics and Space Administration., ed. On the accuracy of solving triangular systems in parallel. [Washington, DC]: National Aeronautics and Space Administration, 1988.
Find full textMacKenzie, Donald. Negotiating arithmetic, construction proof: The sociology of mathematics and information technology. Edinburgh: Research Centre for Social Sciences, University of Edinburgh, 1991.
Find full textE, Swartzlander Earl, ed. Computer arithmetic. Los Alamitos, CA: IEEE Computer Society Press, 1990.
Find full textMcLean, David I. Experimental response and analysis of the Evergreen Point Floating Bridge. [Olympia, Wash.]: Washington State Dept. of Transportation, 2003.
Find full textDevices, Analog. 32/40-Bit IEEE floating-point DSP microprocessor ADSP-21020. Norwood, MA: Analog Devices, 1995.
Find full textIEEE Computer Society. Standards Committee. and 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.
Find full textZimmer, Michael Lee. A VLSI design of a radix-4 floating point FFT butterfly. Monterey, Calif: Naval Postgraduate School, 1991.
Find full textCenter, 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.
Find full textIEEE Computer Society. Technical Committee on Microprocessors and Microcomputers. and 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.
Find full textEly, Jeffrey Stewart. Prospects for using variable precision interval software in C++ for solving some contemporary scientific problems. Ann Arbor, Mich: UMI Dissertation Services, 1993.
Find full textHayashi, Takayuki. A 1 V floating-point analog-to-digital converter for portable communication devices. Ottawa: National Library of Canada, 1998.
Find full textCarrenõ, 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.
Find full textN, Levitt Karl, Cohen G. C, and 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.
Find full textNational Renewable Energy Laboratory (U.S.) and 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.
Find full textY, Li, and 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.
Find full textRothberg, Edward. Improved load distribution in parallel sparse Cholesky factorization. [Moffett Field, Calif.]: Research Institute for Advanced Computer Science, NASA Ames Research Center, 1994.
Find full textK, Kaushik Dinesh, Smith Barry F, and Langley Research Center, eds. Prospects for CFD on petaflops systems. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.
Find full textK, Kaushik Dinesh, Smith Barry F, and Langley Research Center, eds. Prospects for CFD on petaflops systems. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1997.
Find full textYu, 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.
Find full textKulisch, Ulrich. Computer arithmetic and validity. Berlin: De Gruyter, 2013.
Find full textComputer arithmetic and validity: Theory, implementation, and applications. Berlin: Walter de Gruyter, 2008.
Find full textBuck, Shelley. Floating Point. WriteWords Press, 2011.
Find full textWehm, Darusha. Floating Point. In Potentia Press, 2016.
Find full textStakem, Patrick. Floating Point Computation. Independently Published, 2016.
Find full textmiku, Sami Loy, Bryan Krauss, James Moore, and Sean Hurley. Floating. point: 0x02. Independently Published, 2019.
Find full textFloating Point Computation. PRRB Publishing, 2013.
Find full textFirenze, D. P., Stieg Retlin, and Jessica Burns. Floating. point: 0x01. Independently Published, 2019.
Find full textMetcalf, Michael, John Reid, and Malcolm Cohen. Floating-point exception handling. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198811893.003.0018.
Full text