论文部分内容阅读
传统的静态程序切片和动态程序切片技术很难有效解决并发程序中数据共享错误定位问题。文中基于扩展的定义使用关系构造静态并发序列切片和动态并发序列切片,并通过实例验证了并发序列切片在定位数据共享错误上的有效性。
并发序列切片
【摘 要】
：
传统的静态程序切片和动态程序切片技术很难有效解决并发程序中数据共享错误定位问题。文中基于扩展的定义使用关系构造静态并发序列切片和动态并发序列切片,并通过实例验证
【机 构】
：
南通大学计算机科学与技术学院
【出 处】
：
科技创新与应用
【发表日期】
：
2015年35期
【基金项目】
：
南通市应用研究计划项目(BK2014056),江苏省高校自然科学基金项目(15KJB520030),南通大学自然科学基金项目(14Z008)
其他文献
我国传统乳制品历史悠久,富含着丰富的乳酸菌菌种资源,但优良菌株的筛选、直投式发酵剂制备工艺及以此为基础的益生产品开发相对落后,基于这种情况,本论文从传统乳制品、发酵
通过概述 ITS的功能模块组成及它们间的关系 ,指出了 ATMS在 ITS中的重要地位 .然后从不同的角度讨论了 ITS,ATMS的体系结构及其发展 .在此基础上 ,分析了当前 ATMS存在的若
为了对中国古代农民职业教育有比较全面的认识,在文献资料的基础上,对中国古代农业职业教育的特点和途径进行探讨。中国古代农民职业教育有起源久远、受众面广、内容丰富、方
随着医学模式转变为生理-心理-社会的模式，护理模式也由“以疾病为中心”转化为“以病人为中心”的整体护理。健康教育是整体护理的重要组成部分，也是评价整体护理效果的标准之
柴油机零部件的是柴油机安全高效运转的关键,在现代工程、机械项目对于质量的要求越来越高的发展局面下,有必要进一步优化改进柴油机零部件的性能,从而确保柴油机更为有效的
主要通过介绍敞开式硬岩掘进机刀盘的结构形式和工作原理，详细分析了刀盘装配中的技术难点，并根据其结构特点详细介绍和论证了刀盘装配的合理可行的装配方案，针对装配方案中的技
伴随着我国民用航空事业的飞速发展,航空运输成为人们出行的一种灵活便捷的方式,受到了人们的青睐。在这种情况下,空管飞行冲突问题不断增加,对于空中交通管制部门的工作提出
库尔勒香梨是我国优良的地方梨品种之一，是我国的主要出口创汇果品。近年来，香梨腐烂病逐年加重，成为影响香梨生产的主要障碍。分析了库尔勒香梨腐烂病发生规律、发病条件，提出了
电力是我国的支柱型产业之一,为了提高电能利用率,必须有效控制输配电和用电工程的线路损耗,出现线路电能损耗主要有三个主要原因,分别是线损管理意识不到位,没有完善的管理