A Two-Phase Approach for Conditional Floating-Point Verification

机译：有条件浮点验证的两相方法

代理获取

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

页面导航

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

著录项

作者
Debasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions [J] . ROBERTO BAGNARA, MICHELE CHIARI, ROBERTA CORI, ACM transactions on software engineering and methodology . 2021,第1期

机译：使用Math.H / CMATH函数验证浮点C / C ++程序的实用方法
2. A 6.2-GFlops Floating-Point Multiply-Accumulator With Conditional Normalization [J] . Vangal S.R., Hoskote Y.V., Borkar N.Y., IEEE Journal of Solid-State Circuits . 2006,第期

机译：具有条件归一化的6.2-GFlops浮点乘法累加器
3. A 6.2-GFlops Floating-Point Multiply-Accumulator With Conditional Normalization [J] . Vangal S.R., Hoskote Y.V., Borkar N.Y., IEEE Journal of Solid-State Circuits . 2006,第10期

机译：具有条件归一化的6.2-GFlops浮点乘法累加器
4. A Two-Phase Approach for Conditional Floating-Point Verification [C] . Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems . 2021

机译：有条件浮点验证的两相方法
5. A constraint-based approach to verification of programs with floating-point numbers. [D] . Acosta Zapien, Carlos Eduardo. 2007

机译：基于约束的方法来验证具有浮点数的程序。
6. Increasing adoption rates at animal shelters: a two-phase approach to predict length of stay and optimal shelter allocation [O] . Janae Bradley, Suchithra Rajendran 2021

机译：增加动物避难所的采用率：一种预测住宿时间和最佳住房分配的两相方法
7. Deductive Verification of Floating-Point Java Programs in KeY [O] . Rosa Abbasi, Jonas Schiffl, Eva Darulova, 2021

机译：在关键中的浮点Java程序的演绎验证
8. Conditional Event Algebras and Conditional Probability Logics. Basic Formulationsand a Product Space Approach to Conditional Events [R] . Calabrese, P. G., Goodman, I. R. 1995

机译：条件事件代数和条件概率逻辑。基本配方和有条件事件的产品空间方法

A Two-Phase Approach for Conditional Floating-Point Verification

著录项

引文网络

相似文献

相关主题

期刊订阅