咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献
  • 2 篇 学位论文

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 工学
    • 5 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 5 篇 浮点异常
  • 1 篇 验证
  • 1 篇 二进制翻译
  • 1 篇 区间算术
  • 1 篇 计算机系统
  • 1 篇 异常处理
  • 1 篇 动静结合
  • 1 篇 间接跳转
  • 1 篇 标志位优化
  • 1 篇 符号执行
  • 1 篇 浮点数
  • 1 篇 浮点运算
  • 1 篇 松耦合关联
  • 1 篇 抽象语法树
  • 1 篇 异常检测
  • 1 篇 浮点部件
  • 1 篇 安全指令识别
  • 1 篇 程序重写

机构

  • 1 篇 国防科学技术大学
  • 1 篇 湘南学院
  • 1 篇 西安市69信箱
  • 1 篇 清华大学
  • 1 篇 解放军信息工程大...
  • 1 篇 西北工业大学
  • 1 篇 华东师范大学

作者

  • 1 篇 郑宝
  • 1 篇 佘建功
  • 1 篇 袁浩
  • 1 篇 田杭沛
  • 1 篇 张殿辉
  • 1 篇 曾翀
  • 1 篇 夏四清
  • 1 篇 吴松林
  • 1 篇 胡玉龙
  • 1 篇 曾宇永

语言

  • 5 篇 中文
检索条件"主题词=浮点异常"
5 条 记 录,以下是1-10 订阅
排序:
基于程序重写与区间运算的浮点异常检测
收藏 引用
计算机工程与设计 2016年 第6期37卷 1520-1525页
作者: 袁浩 华东师范大学上海市高可信计算重点实验室
研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算机系统浮点异常的处理
收藏 引用
小型微型计算机系统 1996年 第4期17卷 57-62页
作者: 张殿辉 夏四清 西安市69信箱 陕西 西安 710024 西安市69信箱 陕西 西安
本文简要介绍了计算机系统浮点数及浮点异常的基本概念,以IRIS工作站为例讨论了浮点异常的处理方法。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
X微处理器FPU异常处理设计与FPU验证
X微处理器FPU异常处理设计与FPU验证
收藏 引用
作者: 郑宝 国防科学技术大学
学位级别:硕士
X微处理器是一款高性能CISC微处理器,其浮点部件(FPU)具有非常强大的数值计算和处理能力,支持IEEE754-85标准中定义的数据类型,基本运算功能,舍入方式和精度控制方式;浮点异常检测和处理是保证浮点部件正常工作的主要部件之一,是设计和... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
面向SW64的二进制翻译关键技术研究
面向SW64的二进制翻译关键技术研究
收藏 引用
作者: 胡玉龙 解放军信息工程大学
学位级别:硕士
国产CPU的研制对于摆脱我国核心技术依赖国外的现状,增强我国的信息安全建设,提高国家核心竞争力具有重大的意义。SW64是我国自主研发的一款高性能通用处理器,采用了先进的RISC技术指令架构,兼容了国际上高性能的ALPHA芯片指令集。为了... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
一种高精度、高指令密集度开放式异常处理方法
收藏 引用
中国集成电路 2008年 第8期17卷 57-60,56页
作者: 田杭沛 曾宇永 佘建功 吴松林 曾翀 西北工业大学计算机学院 湘南学院 清华大学计算机系
根据IEEE754/854标准,微处理器浮点单元的异常类型繁多,产生异常的原因和处理方式也比较复杂。因此浮点单元的设计中经常面临异常难以捕获的问题。本文提出一种高精度、高指令密集度开放式异常处理方法,保证了异常检测的完备性,减少了... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论