| 标题 |
 An Interval Compiler for Sound Floating-Point Computations 用于合理浮点计算的区间编译器
相关领域
编译程序
计算机科学
内部函数
浮点型
双精度浮点格式
SIMD公司
并行计算
过程间优化
水准点（测量）
单精度浮点格式
优化编译器
编码（集合论）
区间（图论）
区间算术
算法
数学
循环优化
集合（抽象数据类型）
程序设计语言
有界函数
地理
数学分析
组合数学
大地测量学
|
| 网址 | |
| DOI | |
| 其它 |
期刊： 作者：Joao Rivera; Franz Franchetti; Markus Püschel 出版日期：2021-02-27 |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
嘻嘻哈哈
AllRightReserved
Moonpie
HFH
cdercder
GingerF
OK
Scorpia112
YYY
YifanWang
无极微光
Shaun
CRISPR
KK
Wyatt
CRUSADER
hebo
熊仔一百
lkkkkk
Nexus
皖公网安备34019202002308
