停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

Dagstuhl研讨会论文集：2008年当前硬件体系结构中的数值验证

>主页 >系列 >达格斯图尔研讨会记录

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/2008P8021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/2008P8021
安妮·A·M·库伊特,沃尔特·克莱默,沃尔夫拉姆·路德,彼得·马克斯坦:
当前硬件架构中的数值验证，6.1.-11.1.2008. 达格斯图尔研讨会记录08021中，德国达格斯图尔宫国际展览中心（IBFI） 2008
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/CuytKLM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/CuytKLM08
安妮·A·M·库伊特,沃尔特·克莱默,沃尔夫拉姆·路德,彼得·马克斯坦:
08021总结-当前硬件架构中的数值验证。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Gudenberg08号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Gudenberg08网址
于尔根·沃尔夫·冯·古登贝格:
区间算法和标准化。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Zimmermann08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Zimmermann08
保罗·齐默尔曼:
在MPFR中实现平方根倒数。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/ZimmerK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/ZimmerK08
迈克尔·齐默,沃尔特·克莱默:
C-XSC中使用无误差变换和BLAS的快速（并行）密集线性区间系统解算器。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/AuerL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/AuerL08
叶卡捷琳娜·奥尔,沃尔夫拉姆·路德:
计算生物力学中的数值验证评估。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/KolbergBC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/KolbergBC08
玛丽亚娜·卢德里兹·科尔伯格,格德·博伦德,达西迪奥·莫莱斯·克劳迪奥:
使用优化的库和并行计算提高已验证线性系统解算器的性能。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/卡萨多C08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/CasadoC08
格雷戈里奥·德·米盖尔·卡萨多,胡安·曼努埃尔·加西亚·查米佐:
一个用于具有有理数的可靠在线算术的软件库。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Dylong08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Dylong08
伊娃·迪隆:
关于区间算法在层次实体建模中的一些应用的注记。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Grimmer08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Grimmer08网站
马库斯·格里默:
扩展C-XSC的范围：用于并行和其他环境的一些工具和应用程序。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/HofschusterKN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/HofschusterKN08
沃纳·霍夫斯切斯特,沃尔特·克莱默,马库斯·奈尔:
C-XSC和密切相关的软件包。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/江S08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/JiangS08
狄江,尼尔·F·斯图尔特:
细分曲面模型上布尔运算的稳健性。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Kieffer08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Kieffer08
米歇尔·基弗:
传感器网络中的分布式参数和状态估计。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/BlomquistHK08会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/BlomquistHK08
弗里斯约夫·布洛奎斯特,沃纳·霍夫斯切斯特,沃尔特·克莱默:
一种改进的交错校正算法，具有更高的精度和非常宽的指数范围。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Kulisch08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Kulisch08
乌尔里希·库利什:
完全区间算法及其实现。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/KolbergKZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/KolbergKZ08
玛丽亚娜·卢德里兹·科尔伯格,沃尔特·克莱默,迈克尔·齐默:
关于使用C-XSC解决SIAM 100位挑战题7的说明。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Markstein08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Markstein08网址
彼得·马克斯坦:
新的IEEE-754浮点算法标准。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Neher08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Neher08网址
马库斯·奈尔:
CoStLy C++类库。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/Popova08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Popova08网址
叶甫盖尼娅·波波娃:
关于Interval软件之间的互操作性。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/PryceCKNS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/PryceCKNS08
约翰·普莱斯,乔治·F·科利斯,R.Baker Kearfott先生,内迪亚科·内迪亚科夫,斯宾塞·史密斯:
IEEE754R基本区间算法第二注。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/RauhMH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/RauhMH08
安德烈亚斯·劳赫,约翰娜·米尼西尼,埃伯哈德·P·霍弗:
为控制工程系统的验证计算机辅助设计和验证开发区间算法环境。
- 看法
  - 电子版@dagstuhl.de（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/LutherCKM08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/LutherCKM08（网址：https://dblp.org/rec/conf/dagstuhl/LutherCKM08）
沃尔夫拉姆·路德,安妮·A·M·库伊特,沃尔特·克莱默,彼得·马克斯坦:
08021摘要集-当前硬件架构中的数字验证。

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。