標(biāo)題: Titlebook: Handbook of Floating-Point Arithmetic; Jean-Michel Muller,Nicolas Brunie,Serge Torres Book 2018Latest edition Springer International Publi [打印本頁(yè)] 作者: Suture 時(shí)間: 2025-3-21 18:11
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic影響因子(影響力)
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic被引頻次
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic被引頻次學(xué)科排名
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic年度引用
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic年度引用學(xué)科排名
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic讀者反饋
書(shū)目名稱(chēng)Handbook of Floating-Point Arithmetic讀者反饋學(xué)科排名
作者: 物質(zhì) 時(shí)間: 2025-3-21 21:58
https://doi.org/10.1007/978-3-662-41143-8er, obtaining the correct rounding of the result may require considerable design effort and the use of nonarithmetic primitives such as leading-zero counters and shifters. This chapter details the implementation of these algorithms in hardware, using digital logic.作者: CHURL 時(shí)間: 2025-3-22 01:59
https://doi.org/10.1007/978-3-663-05914-1and accurately is important for many applications. Many very different methods have been used for evaluating them: polynomial or rational approximations, shift-and-add algorithms, table-based methods, etc.作者: harbinger 時(shí)間: 2025-3-22 05:56 作者: intention 時(shí)間: 2025-3-22 12:06
Thomas Bieger,Nils Bickhoff,Kurt Redingifferent that writing portable yet reasonably efficient numerical software was extremely difficult. For instance, as pointed out in?[.], sometimes a programmer had to insert multiplications by 1.?0 to make a program work reliably.作者: Palter 時(shí)間: 2025-3-22 15:23
Floating-Point Formats and Environmentifferent that writing portable yet reasonably efficient numerical software was extremely difficult. For instance, as pointed out in?[.], sometimes a programmer had to insert multiplications by 1.?0 to make a program work reliably.作者: 細(xì)節(jié) 時(shí)間: 2025-3-22 17:53 作者: mortuary 時(shí)間: 2025-3-23 00:05 作者: LVAD360 時(shí)間: 2025-3-23 04:24 作者: Valves 時(shí)間: 2025-3-23 06:41
Languages and Compilersng to obtain a standard-compliant behavior from their programs, but it is also useful for understanding how performance may be improved by relaxing standard compliance and also what traps one may fall into.作者: 發(fā)炎 時(shí)間: 2025-3-23 10:55 作者: 大量 時(shí)間: 2025-3-23 14:40
Hardware Implementation of Floating-Point Arithmeticer, obtaining the correct rounding of the result may require considerable design effort and the use of nonarithmetic primitives such as leading-zero counters and shifters. This chapter details the implementation of these algorithms in hardware, using digital logic.作者: 伴隨而來(lái) 時(shí)間: 2025-3-23 21:59 作者: Encapsulate 時(shí)間: 2025-3-23 23:04
Interval Arithmetic more or less efforts to obtain them. This is a historical reason for introducing interval arithmetic, as stated in the preface of R. Moore’s PhD dissertation?[427]: “.” and discretization and truncation errors.作者: 揭穿真相 時(shí)間: 2025-3-24 05:54
978-3-030-09513-0Springer International Publishing AG, part of Springer Nature 2018作者: burnish 時(shí)間: 2025-3-24 09:48 作者: Hallmark 時(shí)間: 2025-3-24 14:28
https://doi.org/10.1007/978-3-658-18846-7A., roughly speaking, a radix-. floating-point number . is a number of the form . where . is the . of the floating-point system, . such that | . | < . is the . of ., and . is its ..作者: 粗野 時(shí)間: 2025-3-24 17:13 作者: Congruous 時(shí)間: 2025-3-24 19:17 作者: 剛毅 時(shí)間: 2025-3-25 00:53
Software Implementation of Floating-Point ArithmeticT. has presented the basic paradigms used for implementing floating-point arithmetic in hardware. However, some processors may not have such dedicated hardware, mainly for cost reasons. When it is necessary to handle floating-point numbers on such processors, one solution is to implement floating-point arithmetic in software.作者: Generosity 時(shí)間: 2025-3-25 03:43
Jean-Michel Muller,Nicolas Brunie,Serge TorresProvides a complete overview of a topic that is widely used to implement real-number arithmetic on modern computers, yet is far from being fully exploited to its full potential.Techniques are illustra作者: Ingenuity 時(shí)間: 2025-3-25 09:27 作者: 量被毀壞 時(shí)間: 2025-3-25 13:47
https://doi.org/10.1007/978-3-662-60790-9, such as the ones given in the successive IEEE 754 standards. Thanks to these standards, we now have an accurate definition of floating-point formats and operations. The behavior of a sequence of operations becomes at least partially for more details on this). We therefore can build algorithms and proofs that refer to these specifications.作者: fastness 時(shí)間: 2025-3-25 18:05 作者: 思想靈活 時(shí)間: 2025-3-25 21:16
Zum Ausstande der Bergarbeiter im Ruhrbezirkion, subtraction, multiplication, division, and square root. We will also study the fused multiply-add (FMA) operator. We review here some of the known properties and algorithms used to implement each of those operators. Chapter?. and Chapter?. will detail some examples of actual implementations in, respectively, hardware and software.作者: 越自我 時(shí)間: 2025-3-26 03:55 作者: 思考才皺眉 時(shí)間: 2025-3-26 05:39
https://doi.org/10.1007/978-3-658-36494-6deed, floating-point arithmetic introduces numerous special cases, and examining all the details would be tedious. As a consequence, the verification process tends to focus on the main parts of the correctness proof, so that it does not grow out of reach.作者: Malfunction 時(shí)間: 2025-3-26 12:08
https://doi.org/10.1007/978-3-322-88415-2fficient. There are reasonably rare cases when the binary64/decimal64 or binary128/decimal128 floating-point numbers of the IEEE 754 standard are too crude as approximations of the real numbers. Also, at the time of writing these lines, the binary128 and decimal128 formats are very seldom implemented in hardware.作者: Entrancing 時(shí)間: 2025-3-26 15:36 作者: RUPT 時(shí)間: 2025-3-26 20:05 作者: Filibuster 時(shí)間: 2025-3-26 23:19
Algorithms for the Basic Operationsion, subtraction, multiplication, division, and square root. We will also study the fused multiply-add (FMA) operator. We review here some of the known properties and algorithms used to implement each of those operators. Chapter?. and Chapter?. will detail some examples of actual implementations in, respectively, hardware and software.作者: Fester 時(shí)間: 2025-3-27 01:59
Complex Numbersous calculations that use complex numbers in terms of real numbers only. However, this will frequently result in programs that are larger and less clear. A good complex arithmetic would make numerical programs devoted to these problems easier to design, understand, and debug.作者: forager 時(shí)間: 2025-3-27 05:59 作者: 闡釋 時(shí)間: 2025-3-27 11:11 作者: Pulmonary-Veins 時(shí)間: 2025-3-27 16:47
Introduction different ways of approximating real numbers on computers have been introduced. One can cite (this list is far from being exhaustive): fixed-point arithmetic, logarithmic?[., .] and semi-logarithmic?[.] number systems, intervals?[.], continued fractions?[., .], rational numbers?[.] and possibly inf作者: antenna 時(shí)間: 2025-3-27 18:27 作者: 遵循的規(guī)范 時(shí)間: 2025-3-28 00:04 作者: 機(jī)械 時(shí)間: 2025-3-28 02:48 作者: 秘密會(huì)議 時(shí)間: 2025-3-28 09:24
Languages and Compilerser, we discuss the practical issues encountered when trying to implement such algorithms in actual computers using actual programming languages. In particular, we discuss the relationship between standard compliance, portability, accuracy, and performance. This chapter is useful to programmers wishi作者: 考古學(xué) 時(shí)間: 2025-3-28 10:42 作者: 喧鬧 時(shí)間: 2025-3-28 14:41 作者: 諄諄教誨 時(shí)間: 2025-3-28 21:40
Evaluating Floating-Point Elementary Functionsponentials and logarithms of radices ., 2, or 10, etc. They appear everywhere in scientific computing. Therefore, being able to evaluate them quickly and accurately is important for many applications. Many very different methods have been used for evaluating them: polynomial or rational approximatio作者: Leisureliness 時(shí)間: 2025-3-29 00:26 作者: 小步舞 時(shí)間: 2025-3-29 06:01
Interval Arithmeticng exactly the roundoff error. However, an approach based on interval arithmetic can provide results with a more or less satisfactory quality and with more or less efforts to obtain them. This is a historical reason for introducing interval arithmetic, as stated in the preface of R. Moore’s PhD diss作者: 的’ 時(shí)間: 2025-3-29 09:13
Verifying Floating-Point Algorithmsdeed, floating-point arithmetic introduces numerous special cases, and examining all the details would be tedious. As a consequence, the verification process tends to focus on the main parts of the correctness proof, so that it does not grow out of reach.作者: tenuous 時(shí)間: 2025-3-29 15:20
Extending the Precisionfficient. There are reasonably rare cases when the binary64/decimal64 or binary128/decimal128 floating-point numbers of the IEEE 754 standard are too crude as approximations of the real numbers. Also, at the time of writing these lines, the binary128 and decimal128 formats are very seldom implemente作者: HOWL 時(shí)間: 2025-3-29 18:40 作者: ellagic-acid 時(shí)間: 2025-3-29 22:12 作者: deactivate 時(shí)間: 2025-3-30 01:45
