【摘 要】
：
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一
论文部分内容阅读
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一。基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法。首先通过数据流分析技术提取所有可能影响程序执行的寄存器活跃区间,然后基于活跃区间的路径表达式分析其执行时间和出现频率,最后在此基础上计算在寄存器软错误影响下的程序可靠性。实验表明,该方法的分析结果与AVF分析法保持一致,同时其结果还指出相关的寄存器活跃区间的执行时间和出现频率,
其他文献
目前已有一些蠕虫检测系统利用蠕虫传播特性进行检测,误报率高,不能对大范围网络进行检测。为此,首先对蠕虫传播模型进行了分析和优化,提出了新蠕虫分布式传播模型。针对该模
“虚拟运营商到底发展了多少用户”成了近一阶段媒体关注的焦点话题。9月12日，工信部网站发文称，自今年5月起移动转售业务用户数已达20多万。目前，我国移动通信转售用户数已达到
近日，甘肃省农村信用社手机银行业务在兰州市城关区联社、七里河联社、西固联社、红古联社、安宁联社、皋兰联神和凉州区联社、金JIlp（联社、敦煌合行、甘州合行、嘉峪关合行正
【摘 要】本文针对高职院校学生党支部建设中理想信念受冲击、教育管理体系不完善、战斗堡垒作用发挥不明显等问题，以柳州职业技术学院机电工程学院为例，探索党支部“1+3+X”工作模式的实践，提出具体的实施措施：以政治引领为抓手，打造一门精品党课，完善教育管理体系;以激发学生党支部活力为着眼点，构建“学习型、服务型、创新型”三型党支部;以“党建+X”为学生党支部建设创新点，多元化、多渠道创新党建工作。
在去年下半年的北京车展上,Honda发布了CM300和NSS350两款新车,两款车都备受关注,尤其是定位为都市高端踏板车的NSS350,受众非常广泛,这款车也是车友们非常希望Honda引进的一
传统的形态滤波以及广义形态滤波、自适应加权广义滤波、基于多结构元素的广义形态滤波、基于多方向的广义滤波和基于多尺度的广义滤波在考虑形态学滤波时基本上只兼顾到某一方面或者说只对某一方面的不足进行了改进,不论哪一种滤波方式都没有完全消除噪声。提出了一种基于自适应遗传算法的多结构多尺度形态学滤波方法,主要考虑了滤波窗口的大小、结构元素的种类和方向以及结构元素的优化选择问题,采用遗传算法对结构元素进行优化
一场大规模线上教学掀起了探索线上教学模式与效果的热潮,各中小学教师纷纷回顾与总结线上教学的实践经验与心得,普遍认为有效互动是保障线上教学效果的重要因素,关注如何有
公安高等院校必须牢牢把握立德树人的根本任务,抓好课程思政改革,按照习总书记提出的"对党忠诚、服务人民、执法公正、纪律严明"总要求打造公安院校课程思政的灵魂。围绕"对
基于标准k-8湍流模型，在介质为常温水的环境下，针对管径为52mm，等效直径比0．69的双锥流量计进行FLUENT三维管道模拟实验，研究其压力损失情况。在保证有效流通面积相等的条件下，得到
日前，由中国金融出版社主办的“金融移动支付技术创新研讨会”在北京召开。会议交流了移动支付技术创新的成果与经验，研究了相关基础设施建设、业务模式发展和金融标准制定，探讨