咨询与建议

限定检索结果

文献类型

  • 835 篇 会议
  • 428 篇 期刊文献
  • 4 册 图书
  • 2 篇 学位论文
  • 2 件 标准

馆藏范围

  • 1,271 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 565 篇 工学
    • 356 篇 计算机科学与技术...
    • 283 篇 电气工程
    • 158 篇 软件工程
    • 45 篇 信息与通信工程
    • 38 篇 控制科学与工程
    • 24 篇 电子科学与技术(可...
    • 15 篇 仪器科学与技术
    • 8 篇 机械工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 材料科学与工程(可...
    • 4 篇 生物医学工程(可授...
    • 4 篇 网络空间安全
    • 3 篇 航空宇航科学与技...
    • 2 篇 动力工程及工程热...
    • 2 篇 化学工程与技术
    • 2 篇 核科学与技术
    • 2 篇 生物工程
  • 197 篇 理学
    • 154 篇 数学
    • 33 篇 物理学
    • 5 篇 系统科学
    • 3 篇 科学技术史(分学科...
    • 2 篇 化学
    • 2 篇 大气科学
    • 1 篇 生物学
  • 23 篇 管理学
    • 20 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
  • 4 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 1,271 篇 floating-point a...
  • 306 篇 hardware
  • 135 篇 digital arithmet...
  • 133 篇 fixed-point arit...
  • 120 篇 computer archite...
  • 117 篇 application soft...
  • 115 篇 field programmab...
  • 95 篇 delay
  • 94 篇 signal processin...
  • 94 篇 digital signal p...
  • 91 篇 costs
  • 85 篇 digital filters
  • 83 篇 algorithm design...
  • 82 篇 roundoff errors
  • 78 篇 signal processin...
  • 74 篇 microprocessors
  • 73 篇 very large scale...
  • 69 篇 adders
  • 69 篇 dynamic range
  • 66 篇 quantization

机构

  • 12 篇 sorbonne univ cn...
  • 9 篇 univ manchester ...
  • 7 篇 signal processin...
  • 6 篇 univ texas austi...
  • 6 篇 department of el...
  • 5 篇 department of el...
  • 5 篇 computer science...
  • 5 篇 intel corp austi...
  • 5 篇 intel corp hills...
  • 5 篇 intel corporatio...
  • 5 篇 sorbonne univ li...
  • 4 篇 austrian acad sc...
  • 4 篇 mpi sws kaisersl...
  • 4 篇 laboratory of im...
  • 4 篇 department of co...
  • 4 篇 princeton univ d...
  • 4 篇 lawrence livermo...
  • 4 篇 ens lyon lip lab...
  • 4 篇 department of ec...
  • 4 篇 cnrs laas toulou...

作者

  • 36 篇 muller jean-mich...
  • 17 篇 graillat stef
  • 15 篇 m.j. schulte
  • 14 篇 higham nicholas ...
  • 12 篇 mary theo
  • 12 篇 joldes mioara
  • 10 篇 lauter christoph
  • 10 篇 melquiond guilla...
  • 10 篇 boldo sylvie
  • 9 篇 jezequel fabienn...
  • 9 篇 brisebarre nicol...
  • 9 篇 liu b
  • 9 篇 darulova eva
  • 8 篇 ogita takeshi
  • 8 篇 laguna ignacio
  • 8 篇 ozaki katsuhisa
  • 8 篇 seok-bum ko
  • 8 篇 louvet nicolas
  • 8 篇 martel matthieu
  • 8 篇 lefevre vincent

语言

  • 1,200 篇 英文
  • 63 篇 其他
  • 6 篇 中文
  • 2 篇 德文
检索条件"主题词=floating-point arithmetic"
1271 条 记 录,以下是1-10 订阅
排序:
Hierarchical search algorithm for error detection in floating-point arithmetic expressions
收藏 引用
JOURNAL OF SUPERCOMPUTING 2024年 第1期80卷 1183-1205页
作者: Zhang, Zuoyan Xu, Jinchen Hao, Jiangwei Qu, Yang He, Haotian Zhou, Bei Informat Engn Univ 62 Sci AnenueHigh Tech Zone Zhengzhou 450001 Henan Peoples R China
Scientific and engineering applications rely on floating-point arithmetic to approximate real numbers. Due to the inherent rounding errors in floating-point numbers, error propagation during calculations can accumulat... 详细信息
来源: 评论
Error in Ulps of the Multiplication or Division by a Correctly-Rounded Function or Constant in Binary floating-point arithmetic
收藏 引用
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING 2024年 第2期12卷 656-666页
作者: Brisebarre, Nicolas Muller, Jean-Michel Picot, Joris CNRS Lab LIP ENS Lyon F-69342 Lyon France ENS Lyon Lab LIP F-69342 Lyon France
Assume we use a binary floating-point arith-metic and that RN is the round-to-nearest function. Also assume that c is a constant or a real function of one or more variables, and that we have at our disposal a correctl... 详细信息
来源: 评论
Enabling floating-point arithmetic in the Coq Proof Assistant
收藏 引用
JOURNAL OF AUTOMATED REASONING 2023年 第4期67卷 1-30页
作者: Martin-Dorel, Erik Melquiond, Guillaume Roux, Pierre Univ Toulouse Toulouse INP IRIT CNRSUT3 Toulouse France Univ Paris Saclay LMF CNRS ENS Paris SaclayInria Gif Sur Yvette France Univ Toulouse ONERA DTIS Toulouse France
floating-point arithmetic is a well-known and extremely efficient way of performing approximate computations over the real numbers. Although it requires some careful considerations, floating-point numbers are nowadays... 详细信息
来源: 评论
Formal Verification of Emulated floating-point arithmetic in Falcon  1
收藏 引用
19th International Workshop on Security on Advances in Information and Computer Security (IWSEC)
作者: Hwang, Vincent Max Planck Inst Secur & Privacy Bochum Germany
We show that there is a discrepancy between the emulated floating-point multiplication in the submission package of the digital signature Falcon and the claimed behavior. In particular, we show that some floating-poin... 详细信息
来源: 评论
A Provably Robust Algorithm for Triangle-triangle Intersections in floating-point arithmetic
收藏 引用
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 2022年 第2期48卷 17-17页
作者: Mccoid, Conor Gander, Martin J. Univ Geneva Rue Conseil Gen 7-9 CH-1205 Geneva Switzerland
Motivated by the unexpected failure of the triangle intersection component of the Projection Algorithm for Nonmatching Grids (PANG), this article provides a robust version with proof of backward stability. The new tri... 详细信息
来源: 评论
Generation of test matrices with specified eigenvalues using floating-point arithmetic
收藏 引用
NUMERICAL ALGORITHMS 2022年 第1期90卷 241-262页
作者: Ozaki, Katsuhisa Ogita, Takeshi 307 Fukasaku Minuma Ku Saitama Saitama 3378570 Japan 2-6-1 Zempukuji Suginami Ku Tokyo 1678585 Japan
This paper concerns test matrices for numerical linear algebra using an error-free transformation of floating-point arithmetic. For specified eigenvalues given by a user, we propose methods of generating a matrix whos... 详细信息
来源: 评论
Formally verified 32-and 64-bit integer division using double-precision floating-point arithmetic  29
Formally verified 32-and 64-bit integer division using doubl...
收藏 引用
29th IEEE Symposium on Computer arithmetic (ARITH)
作者: Monniaux, David Pain, Alice Univ Grenoble Alpes VERIMAG Grenoble INP CNRS F-38000 Grenoble France
Some recent processors are not equipped with an integer division unit. Compilers then implement division by a call to a special function supplied by the processor designers, which implements division by a loop produci... 详细信息
来源: 评论
Algorithms for Stochastically Rounded Elementary arithmetic Operations in IEEE 754 floating-point arithmetic
收藏 引用
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING 2021年 第3期9卷 1451-1466页
作者: Fasi, Massimiliano Mikaitis, Mantas Orebro Univ Sch Sci & Technol S-70182 Orebro Sweden Univ Manchester Dept Math Manchester M13 9PL Lancs England
We present algorithms for performing the five elementary arithmetic operations (+, -, x, divided by, and root) in floating point arithmetic with stochastic rounding, and demonstrate the value of these algorithms by di... 详细信息
来源: 评论
A Multiple Precision floating-point arithmetic Unit Based on the RISC-V Instruction Set
A Multiple Precision Floating-Point Arithmetic Unit Based on...
收藏 引用
Electronic Information Engineering and Computer Technology (EIECT), International Conference on
作者: Jianxin Chen Hong Hao Shuai Wang Lele Li Xinxin Zhao Fan Yu Jing Wang Guilong Xu Zongqi Sun Kai Jiang Inspur Academy of Science and Technology Inspur Group Co. Ltd Jinan China
With the advancements in image processing and machine learning, greater challenges have been posed to parallel computing, especially in the realm of floating-point arithmetic. In the face of increasingly complex appli... 详细信息
来源: 评论
Acceleration of Complex Matrix Multiplication Using Arbitrary Precision floating-point arithmetic
Acceleration of Complex Matrix Multiplication Using Arbitrar...
收藏 引用
International Conference on Engineering and Emerging Technologies (ICEET)
作者: Tomonori Kouya Shizuoka Institute of Science and Technology Fukuroi Japan
Efficient multiple precision linear numerical computation libraries such as MPLAPACK are critical in dealing with ill-conditioned problems. Specifically, there are optimization methods for matrix multiplication, such ... 详细信息
来源: 评论