【摘 要】
：
依赖性分析是一种重要的程序分析手段．针对多线程共享变量通信机制，本文在提出一种新的并发程序表示一线程交互可达图（tIRG）的基础上，从全局分析并发程序的依赖关系，构建了以程序状
【机 构】
：
东南大学计算机科学与工程学院,江苏省软件质量研究所
【基金项目】
：
国家自然科学基金（No.60373066,No.60425206）
论文部分内容阅读
依赖性分析是一种重要的程序分析手段．针对多线程共享变量通信机制，本文在提出一种新的并发程序表示一线程交互可达图（tIRG）的基础上，从全局分析并发程序的依赖关系，构建了以程序状态和语句二元组为节点的并发程序依赖图（MSDG）．与传统的以语句为节点的并发程序依赖图相比，MSDG图中依赖关系不仅精确，且具有可传递性，对其遍历可获得高精度的并发程序切片，精度和效率较其它高精度切片方法有显著提高．
其他文献
摘 要：《建筑摄影》课程是建筑设计技术专业的一门选修课课，摄影艺术与摄影技术是一样重要。课程使学生掌握一门艺术的创作方式与独特的审美眼光，并成为一种有效的专业学习工具。 关键词：《建筑摄影》课程；教学；审美评价 1 《建筑摄影》课程 《建筑摄影》课程是建筑设计技术专业的一门选修课课，通过学习，学生能够掌握基本的摄影理论与技巧，还能从建筑专业的视角去影像记录。同时，学生通过该课程的学习，能够将
谢肇淛是晚明福建文坛著名诗人、学者,也是我国古代文学史上一位值得重视的作家。谢肇淛一生著述甚丰,尤其是他的很多小说作品在当时的社会广泛传播,影响很大。其中《五杂俎
1.前言<建筑法>第四十八条规定:"建筑施工企业必须为从事危险作业的职工办理意外伤害保险,支付保险费."这是我国安全生产、劳动和社会保障体制的一项重要改革,为我们建筑施工
针对高校《国际商务谈判》双语课程考试形式与方法陈旧的问题,作者提出了该课程考试改革的一些想法,包括考试的多种形式的尝试,具体实施程序以及考试后的反馈机制,以便于对该
传统的2维图像置乱变换一般用于正方形图像处理,对宽高不等的矩形图像,需进行正方形扩展,或使用高维置乱变换阵置乱.本文对此问题做了改进,提出了一种新颖的2维非等长图像置乱变换,给出了周期存在判据,用以选择合适的置乱系数,使得在不增加额外存储空间和计算代价的基础上,可用于非等长图像置乱,并且存在可恢复周期.实验表明所提方法的有效性和可行性.
新中国成立60年来的反封建斗争取得了显著成就。然而,由于种种原因,封建主义残余影响在我国目前的社会生活中仍然存在,严重阻碍了现代化建设的进程。肃清封建主义残余影响仍
提出了一种基于图像梯度矢量场的双向广义动态图像模型(GFBD-GDIM)光流计算方法.本文方法:在图像梯度场上进行光流估计以减弱光照变化带来的影响;将一个大的运动矢量分解为两个不同方向的子矢量进行估计,有助于减小估计误差,提高计算精度;采用广义动态图像模型(GDIM)对图像梯度场的变化进行建模,可使模型适用于更加一般的场合.图像序列实验表明,本文方法可以获得更加精确和鲁棒的运动矢量估计.
用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题，用户3A使用网格，即Any time，Any place，and on Any device，体现了用户对网格使用的基本需求．本文给出了用户3A