作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
对VC+ +程序中的实数运算,进行了代码底层的剖析,给出分析结论的同时,提出了VC+ +编译优化链影响实数运算正确性问题的解决对策,及其实现方法.同时提出了程序设计者为提高软件的可靠度,应特别关注会影响程序实数运算正确性的若干情况.
推荐文章
应用Petri网改进BPEL程序的正确性
组合Web服务
可执行流程语言
Petri网
变迁触发序列
程序正确性验证的代数方法及其研究进展
程序正确性
终止性
不动点
秩函数
MANET路由协议的正确性分析
MANET
路由协议
形式验证
正确性
主动实时嵌套事务的正确性
主动实时嵌套事务
事务结构相关性
事务时间正确性
事务行为正确性
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 改善实数运算正确性的研究与对策
来源期刊 计算机应用与软件 学科 工学
关键词 编译 优化链 实数 FPU 正确性
年,卷(期) 2007,(12) 所属期刊栏目 算法
研究方向 页码范围 187-188,198
页数 3页 分类号 TP3
字数 2663字 语种 中文
DOI 10.3969/j.issn.1000-386X.2007.12.072
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 陆虹 上海第二工业大学计算机与信息学院 9 24 3.0 4.0
2 陶霖 上海第二工业大学计算机与信息学院 6 10 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (4)
参考文献  (2)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
编译
优化链
实数
FPU
正确性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导