论文部分内容阅读
为了缓解模型检测并发程序中出现的状态爆炸问题,将并发程序建模成异步动态下推网络,同时将异步动态下推网络转化为异步下推网络,在异步下推网络下提出一种基于自动机的符号可达算法。该算法能避免精确搜索每一个状态空间,有效地缓解了状态爆炸。
基于自动机的并发程序符号可达分析
【摘 要】
：
为了缓解模型检测并发程序中出现的状态爆炸问题,将并发程序建模成异步动态下推网络,同时将异步动态下推网络转化为异步下推网络,在异步下推网络下提出一种基于自动机的符号
【机 构】
：
桂林电子科技大学计算机科学与工程院
【出 处】
：
桂林电子科技大学学报
【发表日期】
：
2013年4期
【基金项目】
：
广西研究生教育创新计划（2011105950812M19）
其他文献
目的观察医用藻酸盐棉片在治疗儿童利特尔区（Littell＇s）鼻出血及鼻腔黏膜恢复中的应用效果。方法选择65例患儿,共计74侧鼻孔出血,随机分为观察组（33例,37侧鼻孔,藻酸盐填塞）;对照
Chirp超宽带（UWB）具有低功耗、低成本、高处理增益等优点。但是由于面临具体实现、频带效率以及多径环境等一系列问题．基于Chirp超宽带的多址技术受到很大的限制。本文提出的一
针对传统算法求解动态拓扑网络可靠度会对没有受到拓扑变化影响的最小路集进行重新计算的问题,在Kuo的边扩展算法基础上,提出一种基于OBDD的动态拓扑网络2-终端可靠度算法。
Ad Hoc网络的可生存性分析方法主要集中在利用马尔可夫链,分析考虑故障的一跳路由可生存性或者不考虑故障的多跳路由可生存性。经过分析Ad Hoc网络在考虑故障情况下多跳路由
经过广泛的实际调研发现,当前很多高等院校设置了经济类统计专业人才培养专业。在以提高学生综合素质和努力改善办学质量的要求下,经济统计专业人才培养还存在一些问题。针对
目的探究冰冻病理技术在甲状腺乳头状癌诊断中的应用效果。方法选取2005年4月至2017年6月于我院经组织活检、实验室检查等确诊为甲状腺乳头状癌的69例患者为研究对象,分别对
高职院校的图书馆可以作为校内实训基地,为多门学科提供项目教学服务。图书馆的管理可以应用在管理类课程的项目教学中,如人力资源管理,针对目前图书馆人力资源管理的困境,将
饭店的主要产品是服务,而饭店的服务对象是具有复杂心理活动的旅客。要做好旅游饭店的服务工作,就必须想方设法满足旅客对饭店的各种需求。本文深入分析了旅客对饭店服务需求