论文部分内容阅读
程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中,本文在文献[3,4]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法使之适用于互斥机制的并发程序.
计算有互斥机制的并发程序的程序切片
【摘 要】
：
程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中,本文在文献[3,4]的基础上考虑到互斥
【机 构】
：
湖南大学计算机与通信学院(湖南长沙)
【出 处】
：
第十届全国容错计算机学术会议
【发表日期】
：
2003年期
其他文献
本试验采用真菌蛋白溶液浸种和叶面喷施,在西瓜、辣椒、番茄和豇豆中使用,结果表现出能使秧苗生长健壮,保花保果,提高坐果率,减轻某些病害的发生和增加产量的作用,这结果也间
护生实习的过程是其理论和实践相结合，由知识向能力转化的过程。我院作为一级甲等医院，手术室主要承担妇科、产科、外科骨科等相关科室的手术任务，相对更适合护生实习大纲手术室
【本刊讯】Moxa日前宣布,其VPort 36-1MP强固型H.264枪式IP摄像机,已经成功入选2012 IFSEC International大奖入围决赛名单。IFSEC International Award是一年一度的国际性的
根据灰色系统理论中的灰色局势决策原理,利用目标赋权获得加权局势决策方法,综合芋10个主要性状指标,分析列出了各参试品种的优劣次序,结果与生产实际一致.
义务教育阶段的数学教育要面向全体学生，数学教育的目的在于提高学生的数学素养。数学素养不只是用计算能力的高低和解决书问题能力的大小来衡量的。学生学会数学地思考问题，用数学的方法理解解释实际问题，能从现实的情境中看出数学问题，这是具有数学素养的重要标志。《数学课程标准》第一次明确地把数感作为小学生数学学习的目标提了出来，这对每个小学数学教师来说，如何理解数感，如何在教学过程中帮助学生建立数感，是值得研
随着软件应用的越来越广泛,计算机软件的可靠性变得越来越重要,据统计,在硬件软件混合系统中,系统失效的主要原因来源于计算机软件的失效,因此,系统中的软件的可靠性是提高系
会议
任务型教学模式秉承以人的发展为本的教育理念，能最大限度地调动和发挥学生的内在潜能。从任务型教学的内涵，设计原则和模式设计等几方面阐述了一些拙见，以供商榷。 一、任务型教学模式的内涵 首次将“任务型”教学付诸于实践的学者是普拉布 教授。1979年，他在印度中南部的班加罗尔把当时看来很激进的理论假设应用于教学实践。这种教学模式包括三个环节：前任务、任务环和语言要点。其中任务环是核心部分，任务的设计
本论文主要研究多模块软件系统的可靠性分配技术的设计与实现技术,全面分析并讨论了软件可靠性分配的三种模式框架:RCCM模式框架、BCRM模式框架和BCUM模式框架,从实用角度扩