论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
检查点技术可以使应用程序快速恢复至正确状态并减少系统故障带来的计算损失,保证长运算时间作业的可完成性,是提高机群系统可用性的重要手段。为了使应用程序在系统出现故障
【机 构】
：
中国科学院计算技术研究所
【出 处】
：
中国科学院计算技术研究所
【发表日期】
：
2006年01期
其他文献
数字水印技术是多媒体数据版权保护的重要方法,近年来得到广泛的研究和关注。数字水印技术由于其不可察觉性、可证明性和健壮性的特点,是后验式身份验证和信息跟踪的有效方法
遗传算法是一种借鉴生物界自然选择和进化机制发展起来的高度并行、随机、自适应搜索算法，已经广泛应用于各种领域。但是传统遗传算法在解决规模较大、比较复杂的问题时，存在计
数字家庭是指以计算机、通信和消费电子技术为基础，通过互联互通协议把家庭中的信息设备有机结合成一个整体的智能化网络系统。目前数字家庭标准主要有数字生活网络联盟(DLNA)
Internet现已成为社会重要的信息基础设施之一,它和人们的生活紧密地联系在一起,是人们远距离传递和共享信息的重要媒体。同时,随着计算机技术的发展,价格低廉、体积小巧的各
数据库作为科学研究、电子商务、电子政务、军事等社会各领域的重要信息的载体，其自身安全也越来越受到人们的重视。数据库安全技术包括标识和鉴别、访问控制、信息流控制、推
随着计算机技术和网络技术的飞速发展，网络安全问题也越来越引起人们的关注和重视。入侵检测系统(IDS)可以对系统或者网络资源进行实时检测，及时发现系统或网络的入侵者，也可以
位置管理是移动通信中最重要的问题之一，网络的位置管理方法严重地影响着移动网络的性能。从移动通信诞生起，人们对位置管理方法的研究就一直没有停止。位置管理主要解决移动终
本文总结了目前精确模式串匹配算法的研究现状，介绍并实现了现有的主要高性能算法。这些算法包括单模式精确串匹配算法：KMP算法、BM算法、PK算法和QS算法；多模式精确串匹配算法：A
作为OMG提出的新一代软件开发方法学，MDA(模型驱动架构)将软件开发抽象层次从代码提高到了模型。模型转换技术是实现MDA的关键，其中，PSM(平台相关模型)到代码的转换是模型转换技