汇总 发表于 2025-3-26 23:44:10

http://reply.papertrans.cn/67/6693/669250/669250_31.png

Climate 发表于 2025-3-27 03:42:09

http://reply.papertrans.cn/67/6693/669250/669250_32.png

名字的误用 发表于 2025-3-27 05:26:40

Numerical Validation in Current Hardware ArchitecturesInternational Dagstu

性冷淡 发表于 2025-3-27 12:20:58

http://reply.papertrans.cn/67/6693/669250/669250_34.png

金桌活画面 发表于 2025-3-27 17:29:22

http://reply.papertrans.cn/67/6693/669250/669250_35.png

Constrain 发表于 2025-3-27 19:07:51

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021y, to enable more widespread sharing and collaboration among researchers and developers of the technology, and to enable easier checking that computer codes have been correctly programmed. During the late 1990’s, the first author of this report led such a project to introduce an interval data type i

confederacy 发表于 2025-3-27 22:56:14

http://reply.papertrans.cn/67/6693/669250/669250_37.png

cartilage 发表于 2025-3-28 02:13:30

http://reply.papertrans.cn/67/6693/669250/669250_38.png

bypass 发表于 2025-3-28 07:46:57

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Rangepically IEEE double format) and fast floating point operations as well as exact dot product computations. Due to floating point limitations it is not an arbitrary precision arithmetic. However, it typically allows computations using several hundred mantissa digits..A set of new modified staggered ar

微尘 发表于 2025-3-28 11:23:48

http://reply.papertrans.cn/67/6693/669250/669250_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Numerical Validation in Current Hardware Architectures; International Dagstu Annie Cuyt,Walter Krämer,Peter Markstein Conference proceeding