运行时验证中的减少监控开销方法研究

来源 :计算机科学 | 被引量 : 1次 | 上传用户:sudyhard
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。
其他文献
网络资源需要在安全策略控制下共享与互操作。针对多异构安全域域间资源互操作的安全问题,提出了一种基于RBAC安全策略的跨域网络资源的安全互操作模型。首先引入域间角色的
3月12日上午,《中国青年社会科学》建设发展座谈会在我校召开。校党委常委、副校(院)长、《中国青年社会科学》编委会主任、主编林江教授,《北京大学学报(哲学社会科学版)》
【正】 营丘是西周齐太公师尚父始建国时的齐国都城。其地理位置自汉代以来即有临淄、昌乐二说之争。各有从者,迄无定论。笔者曾撰文讨论,认为临淄说是正确的。并进一步提出
3-SetPacking参数化计数问题即在一个3-SetPacking实例中统计所有大小为k的不同packing的个数。首先证明了该问题的计算复杂性是#W[1]一难的,表明该问题不大可能存在固定参数
期刊
本文首先阐述了水利水电施工中筑坝工程相关技术,进一步从多个方面提出筑坝工程在水利水电施工中的关键工艺,旨在以筑坝工程关键工艺为切入点提高水利水电施工质量,确保水利
【正】 包括上、下经和“十翼”在内的《周易》,成书于战国中后期的齐国稷下学宫。这是最近出版的《古易新编》一书提出的最新结论。《古易新编》是由王赣、牛力达、刘兆玖三
提出一种基于Chamfer距离的保结构纹理合成方法。使用Chamfer距离度量纹理结构特征的相似度,在查找匹配块的同时计算纹理在颜色空间和结构特征空间的匹配度,从而解决以往纹理
期刊
通过大量的岩心观察和综合分析开展断陷湖盆深水重力流沉积类型、演化过程、形成机制和沉积模式研究。断陷湖盆深水重力驱动沉积作用可分为滑动、滑塌块体搬运沉积和碎屑流、