论文部分内容阅读
针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图（COOPDG）作为中间图表示,然后对不同类型依赖边进行分析,根据在运行时依赖是否出现来决定是否动态地标识COOPDG中相应的边.该方法能降低动态切片在运行时对中间图的更新时间,以及获得切片的反应时间.
基于依赖标识的并发程序动态切片方法
【摘 要】
：
针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图（COOPDG）作为中间图表示,然后对不同类型依赖边进行分析,根据在运行时依赖是否出现来决
【机 构】
：
西北工业大学计算机学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2009年7期
其他文献
文中提出了一种基于结构特征的识别方法,该方法通过去模糊和图像清晰化及目标框定进行预处理,然后通过定位切分和多次分层以及对模糊字符"穿孔"进行特征提取.选取具有描述字符特性能力强、字符间区分度高的特征,通过特征比对,进行钢坯端面字符的实时自动识别,由此降低计算复杂性.实验证明,该方法可有效的降低字符的拒识率和误识率,提高了识别率.
介绍了移动Ad Hoc网络几种典型的地址自动配置方案,从唯一性、健壮性、适应性等方面进行了分析,指出了它们的优缺点,并提出了一种改进方案.仿真分析证明,该方案适用于大型Ad
基于MATLAB／Simulink的平台，设计并实现了16bit100M流水线模数转换器（ADC）系统仿真的理想模型．在充分掌握流水线ADC整体结构基础上，对其基本模块进行建模，充分考虑并加入电路的非理
反倾销程序性规则不仅影响到WTO成员的贸易政策的实施,而且影响着反倾销中各利害关系方的利益。为实现各成员方利益平衡,反倾销调查应遵循正当程序原则。按反倾销正当程序规
对网络处理器的结构设计、验证和性能评估等内容进行研究，设计了一种用于边缘网络应用的网络处理器，并对它进行了FPGA实现和评估分析。该网络处理器采用并发多处理结构，拥有完善
在多Agent技术和信念修正的基础上,提出了一种基于UT平台的重在协作的智能NPC模型.分析了智能NPC的个性特征和生命周期,提出了有个性和特长的智能NPC.在消息的格式和传递层次