GT Pequan公司

走向现代浮点环境

Jeudi 2015年11月19日
干预方：奥尔加·库普里亚诺娃（AriC，ENS de Lyon）
 
这项工作研究了两种扩大电流的方法浮点环境：首先是支持多个每个数学函数的实现版本（基本为exp、log和special as erf、Γ），第二个是提供IEEE754混合不同根的输入和输出的操作。作为每个数学函数的各种实现的数量是大型的，这项工作的重点是代码生成。我们的代码生成器针对各种各样的功能：它生成用户特定功能的参数化实现。所以它可以被视为黑盒函数生成器。自从2008年IEEE754标准的修订版可以混合数字在一次操作中具有不同的精度。然而，没有允许用户将不同根数混合在一起的机制操作。