全国容错计算学术会议18年回顾

来源 :第十届全国容错计算机学术会议 | 被引量 : 0次 | 上传用户:wuyuetian530
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文回顾十届全国容错计算学术会议18年来的有关情况及我国改革开放以来容错计算基础研究和技术发展,较全面地反映了中国计算机学会容错计算专业委员会的工作.包括全国容错计算学术会议之缘起、历届会议概况及特色、全国容错计算学术会议对我国容错计算领域的影响、全国容错计算学术会议和国外的交流以及国际影响、以及对未来的展望五部分.
其他文献
自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可满足问题核的算法问题,并对目前存在的识别极
集成电路供电网络包括电源线/地线网络两部分,其设计得是否合适决定了晶体管能否得到足够高的供电电压,因此供电网络测试是集成电路测试的一个重要分支.在简述供电网络测试的
韩国:多管齐下抑制高房价亚洲金融危机过后,韩国的住宅市场进入了一个复苏繁荣的发展周期。全国住宅平均价格指数从1998年10月的61.8%猛增到2002年12月的93.7%,涨幅超过50%。
这两年的冬天对于以色列总理沙龙来说,是艰苦和漫长的:2005年12月底因为小中风入院,去年11月又因心脏感染病情加重从重症监护病房转出——对于许多身体有恙的人来说,冬天都是
随着人们生活水平的提高和人口老年化对医疗保健需求的扩大,对护理的需求日益增加,国际护士短缺,护理人才流动的全球化为护理教育提供了新课题,探讨五年制涉外护理专业人才培养,改
广域网环境下的大规模分布式系统与集簇式分布式系统相比,具有不同特性.现有乐观消息日志方法不能满足广域网环境下大规模分布式系统的容错需要,表现为开销大,效率低.本文给
基于路由网络代数(Routing network algebra简称RNA)提出了一种新的路由振荡检测方法.通过建立路由振荡与路由网络"活锁"的对应关系,把路由振荡检测归结为检测网络元素的相关
BCH纠错编码是线性分组码的一种,有较好的纠错能力,信息隐藏是近年来信息安全领域出现的新技术.本文讨论将BCH纠错编码与信息隐藏技术结合应用,并通过编程进行模拟实验,得到
会议
民众对抗生素的不良反应认识不足是造成抗生素滥用一个不可忽视的因素,应对策略是开展全民宣传教育[1],普及抗生素知识和合理使用的重要性。抗生素认知度的提高,以及对滥用所造
5月11日下午,国家卫生部、全国妇联和总后卫生部在北京召开了庆祝“5·12”国际护士节暨全国卫生系统护理专业“巾帼文明岗”和“巾帼建功标兵”表彰大会。军队卫生系统20个