【摘 要】
：
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检
【基金项目】
：
国家自然科季基金掰助项目（61272108）
论文部分内容阅读
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。
其他文献
文章分析了新形势下高职院校数字媒体技术专业教育教学工作存在的问题,如教材内容实用性不强;教学方法和教学手段单一,互动性差;课程教学和实践环节脱节,与行业接轨困难;师资
新课程改革以来,我国音乐教育事业取得了长足的发展,但在音乐课程教育的发展中,音乐课的教学却存在着一系列问题。本文将通过现代教育技术以及课程教学评价等课程优化方式在
混合高斯模型是最常用的背景建模方法之一,但是它的精确度是以耗时为代价的,且它在RGB颜色空间进行背景建模时,对噪声的处理效果一般。因此,对混合高斯模型进行改进,提出了一种基于YCbCr的自适应混合高斯模型背景建模方法。首先,将建模颜色空间从RGB转换到YCbCr;然后,采用自适应选择策略来确定混合高斯模型的高斯成分个数;最后,将高斯成分按照关键字的值进行排序,以确定背景模型。将提出的建模方法应用于
研究了一种基于LDA分类器的模式识别方法，比较了五种特征参数组合方式，分析了无关联线性判别分析ULDA和PCA两种降维方法，通道数量和窗口长度对肌电信号分类的影响，最后应用LDA分
【摘 要】电子设计自动化简称EDA技术，是将计算机技术应用于电子设计过程中形成的一门技术，属于工科电子类专业的核心课程。在新世纪里，电子产业和电子设计领域的迅速发展，EDA技术应用面不断扩张，各种EDA工具也推陈出新。目前的局面是，任何学校都不可能采购所有层次的EDA工具和软件来对学生进行培养。为了使学生在掌握了高素质设计人员和中初级专门人才所必需的电子技术的基础上，还拥有适应职业变化和继续学习的