首页> 外文OA文献 >Solving constraints on the invisible bits of the intermediate result for floating-point verification

【2h】

Solving constraints on the invisible bits of the intermediate result for floating-point verification

机译：解决对浮点验证的中间结果的不可见位的约束

代理获取

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

页面导航

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

著录项

作者
Merav Aharoni; Sigal Asaf; Ron Maharik; Ilan Nehama; Ilya Nikulshin; Abraham Ziv;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Verifying floating-point programs with constraint programming and abstract interpretation techniques [J] . Olivier Ponsini, Claude Michel, Michel Rueher Automated software engineering . 2016,第2期

机译：使用约束编程和抽象解释技术验证浮点程序
2. The invisible fish: hydrodynamic constraints for predator-prey interaction in fossil fish Saurichthys compared to recent actinopterygians The invisible fish: hydrodynamic constraints for predator-prey interaction in fossil fish Saurichthys compared to recent actinopterygians The invisible fish: hydrodynamic constraints for predator-prey interaction in fossil fish Saurichthys compared to recent actinopterygians [J] . J?rg W. Schneider, Steffen Pacholak, Ilja Kogan, Biology Open . 2015,第12期

机译：看不见的鱼：化石鱼Saurichthys与近代放线翅目中的食肉动物-猎物相互作用的水动力约束看不见的鱼：化石鱼Saurichthys与近代放线翅目中的食肉动物-猎物相互作用的水动力约束化石鱼Saurichthys与最近的放线翅目鸟类相比
3. Verifying Bit-Manipulations of Floating-Point [J] . Lee Wonyeol, Sharma Rahul, Aiken Alex ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第6期

机译：验证浮点的位操作
4. Solving constraints on the invisible bits of the intermediate result for floating-point verification [C] . Aharoni, M., Asaf, . 2005

机译：解决中间结果的不可见位的约束以进行浮点验证
5. A constraint-based approach to verification of programs with floating-point numbers. [D] . Acosta Zapien, Carlos Eduardo. 2007

机译：基于约束的方法来验证具有浮点数的程序。
6. Horses Solve Visible but Not Invisible Displacement Tasks in an Object Permanence Paradigm [O] . Miléna Trösch, Anna Flamand, Manon Chasles, 2020

机译：马在物体永久范式范围中解决了可见但不是不可见的位移任务
7. Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations [O] . 2008

机译：求解小数浮点运算的中间结果的约束

Solving constraints on the invisible bits of the intermediate result for floating-point verification

著录项

引文网络

相似文献

相关主题

期刊订阅