并发控制流检测技术综述

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jamyi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
并发控制流检测技术是防止由于单粒子反转事件而导致运行系统发生故障的有效手段,目前主要采用以控制流图为基础的结点签名技术。本文首先介绍并发控制流检测技术的分类标准;然后按照技术发展的脉络,从软硬结合、纯软件两方面介绍控制流检测技术的典型方法,对其进行分析评价;最后提出基于目前的方法并发控制流检测技术还需要解决的问题及新的发展方向。
其他文献
人机交互显示屏为司乘人员和列车维护人员提供列车实时的状态信息,是列车正常运行的重要保证之一。针对人机交互显示屏软件开发过程中存在的重复构建、重复测试、集成开发环
国内信用卡市场最近颇为热闹,首先是“花旗浦发卡”一改居高临下的姿态,宣布双双降低普卡和金卡申请门槛,并决定将发卡城市由目前仅限于上海和广州增加到10个城市;其次是素有“贵
基于接收信号强度的室内定位方法的精确度受环境影响较大,回归算法在不同的场景中定位误差也受影响。提出了一种基于加权混合回归的室内定位算法。离线阶段,首先利用K-means+
单独招生政策的推广给高职高专学校课堂教学带来了新的挑战,借助信息技术的强大功能,实施信息化教学是应对当前问题、改善授课效果的有效途径。以供热通风与空调工程技术专业
工业化、城镇化、信息化和农业现代化同步推进是当前中国社会变迁的时代底色,因此,征地拆迁过程中的冲突不仅是一个利益补偿的问题,更牵涉到一场广泛而深刻的社会变迁过程中
在已达到消灭血吸虫病标准的泰兴市和已达到基本消灭标准的昆山市各为8000余人的2个社区,分别发现隐匿性血吸虫感染111例和74例,预期人群感染检出率分别为2.4%及1.69%。患者检
语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服
本文给出了一个面向移动数字娱乐的肖像漫画生成系统。该系统的输入是一张真实人脸照片,输出为具有娱乐效果的夸张人脸肖像。主要研究内容包括:第一,人脸照片的肖像插图画的生成。文中采用了Unsharp Mask锐化处理结合色彩缩放运算的方法,本方法不仅考虑到移动设备用户对计算速度的要求,而且能保留人脸的绝大部分特征,从而更为有效地生成人脸的肖像插图画。第二,人脸表情变形以产生人物的幽默漫画。对基于特征的变
本文基于知识即划分的观点,证明了论域中所有知识构成一个距离空间,研究了知识距离空间中知识距离的一些性质,并应用知识距离度量信息系统中知识的粗糙熵。这些结果有利于更加深
据报道,肿节风能抑制多种致病菌及日本血吸虫宿主的细胞及体液免疫功能。已有学者将类固醇类激素、免疫抑制剂及某些抗菌素用于血吸虫感染鼠,发现它们能在不同程度上增强宿主