Implementing Taylor models arithmetic with floating-point arithmetic

机译：实现泰勒模型算术与浮点算术

代理获取

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

页面导航

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

著录项

作者
Nathalie Revol;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY [J] . Revol N, Makino K, Berz A Journal of Logic and Algebraic Programming . 2005,第1期

机译：泰勒模型和浮点算术：证明算术运算已在COZY中验证
2. A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic [J] . Amodio Pierluigi, Iavernaro Felice, Mazzia Francesca, Mathematics and computers in simulation . 2017,第nova期

机译：标准和无穷浮点算术初值问题的通用三阶泰勒方法
3. FPGA implementation of an exact dot product and its application in variable-precision floating-point arithmetic [J] . Yuanwu Lei, Yong Dou, Yazhuo Dong, Journal of supercomputing . 2013,第2期

机译：精确点积的FPGA实现及其在可变精度浮点算法中的应用
4. Tackling Gaps in Floating-Point Arithmetic: Unum Arithmetic Implementation on FPGA [C] . Junjie Hou, Yongxin Zhu, Yulan Shen, IEEE International Conference on High Performance Computing and Communications;IEEE International Conference on Smart City;IEEE International Conference on Data Science and Systems . 2017

机译：解决浮点算法中的空白：FPGA上的统一算法实现
5. Caffeinated FPGAs: FPGA Framework for Training and Inference of Convolutional Neural Networks With Reduced Precision Floating-Point Arithmetic [D] . DiCecco, Roberto. 2018

机译：含咖啡因的FPGA：用于训练和推理卷积神经网络的FPGA框架，具有降低的精度浮点算法
6. Simple Cortical and Thalamic Neuron Models for Digital Arithmetic Circuit Implementation [O] . Takuya Nanami, Takashi Kohno 2016

机译：用于数字算术电路实现的简单皮质和丘脑神经元模型
7. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY [O] . Revol N., Makino K., Berz M. 2005

机译：泰勒模型和浮点算术：证明算术运算已在COZY中验证
8. Using Mitrion-C to Implement Floating-Point Arithmetic on a Cray XD1 Supercomputer [R] . Liu, K. K., Cameron, C. B., Sarkady, A. A. 2008

机译：使用mitrion-C在Cray XD1超级计算机上实现浮点运算

Implementing Taylor models arithmetic with floating-point arithmetic

著录项

引文网络

相似文献

相关主题

期刊订阅