Solving Range Constraints for Binary Floating-Point Instructions

机译：求解二进制浮点指令的范围约束

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Abraham Ziv; Merav Aharoni; Sigal Asaf;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Exploiting Binary Floating-Point Representations for Constraint Propagation [J] . Roberto Bagnara, Matthieu Carlier, Roberta Gori, INFORMS journal on computing . 2016,第1期

机译：利用二进制浮点表示法进行约束传播
2. Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof [J] . Marta Hidalgo, Robert Joan-Arinyo Computer-Aided Design . 2012,第7期

机译：在构造性几何约束求解中计算参数范围：实现和正确性证明
3. Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations [J] . Cristia Maximiliano, Rossi Gianfranco Journal of Automated Reasoning . 2020,第2期

机译：解决有限集和二元关系上的无量词一阶约束
4. Solving range constraints for binary floating-point instructions [C] . Ziv, A., Aharoni, . 2003

机译：解决二进制浮点指令的范围约束
5. Decimal floating-point platform support with the binary integer decimal encoding. [D] . Tsen, Charles. 2009

机译：十进制浮点平台支持二进制二进制十进制编码。
6. Inaugural Article: Long-ranged contributions to solvation free energies from theory and short-ranged models [O] . Richard C. Remsing, Shule Liu, John D. Weeks 2016

机译：开篇文章：理论和短期模型对溶剂化自由能的长期贡献
7. Exploiting Binary Floating-Point Representations for Constraint Propagation [O] . Roberto Bagnara, Matthieu Carlier, Roberta Gori, 2015

机译：利用二进制浮点表示约束传播
8. Exploiting Parallelism in Geometry Processing with General Purpose Processors and Floating-Point SIMD Instructions. [R] . Yang, C., Sano, B., Lebeck, A. R. 2005

机译：利用通用处理器和浮点sImD指令开发几何处理中的并行性。

Solving Range Constraints for Binary Floating-Point Instructions

著录项

引文网络

相似文献

相关主题

期刊订阅