搜索筛选:
搜索耗时1.7683秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：詹海潭,
来源：中国航天第二研究院 航天科工集团第二研究院 年份：2012
嵌入式软件广泛应用于军工、航空航天、医疗等重要行业，随着嵌入式软件在产品系统中的地位和作用日益提高，安全性问题也日益突出。运行时错误(Run-time Errors)是影响嵌入式软...
[期刊论文] 作者：吴世堂,李宁,詹海潭,
来源：计算机工程与设计 年份：2015
为权衡对矩阵运算静态分析的精度和效率，针对程序中表示矩阵的变量，提出一种基于抽象解释的抽象与分析算法，即区间向量抽象域。将矩阵变量抽象为一个区间向量对，即行区间向量和列......
[期刊论文] 作者：王崑声,詹海潭,经小川,李宁,张刚,
来源：北京理工大学学报 年份：2013
提出一种基于属性模型的运行时错误静态分析方法．该方法将运行时的错误按照发生原因进行分类，提取每类错误的属性模式，对属性模式进行形式化建模形成属性有限状态机；并对程序流图......
[期刊论文] 作者：黄明,詹海潭,张伟,经小川,李宁,王潇茵,
来源：空间控制技术与应用 年份：2016
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错...
相关搜索：
