【摘 要】
：
程序可以看作由很多计算组成（例如一个循环或一个平直代码片断）,它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片（Program S
【机 构】
：
中国科学院计算技术研究所计算机系统结构重点实验室,中国科学院研究生院
【基金项目】
：
国家高技术研究发展计划（863）项目（2008AA01Z115）资助
论文部分内容阅读
程序可以看作由很多计算组成（例如一个循环或一个平直代码片断）,它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片（Program Slicing）是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性
其他文献
基于k跳簇的特殊结构,提出了一种k跳分簇Ad Hoc网络协作框架。簇首根据启发式规则选择合适的簇间协作网关节点,自适应地管理簇间协作关系。相邻的协作＂网关节点＂与簇首协作,管
现有的4种符合ISO标准的FSM方法均不能考虑到对象的交互性和对象的行为,无法正确地度量面向对象系统的功能规模。在分析面向对象方法的软件开发过程的基础上,结合面向对象系
介绍了一种利用形状的骨架信息进行形状识别和分类的方法。利用从形状中提取的骨架接合节点信息,将形状相似性问题转化为骨架接合节点距离的计算。采用神经网络的方法,根据输入形状的骨架接合节点距离判断出形状所属类别。该方法可以很好地处理非刚性物体形状识别问题,与现有方法相比,具有更好的形状识别效果。
提出了一种应用于快速移动环境的上下文感知优化链路状态协议CAOLSR（Context-aware Opti mized Link State Routing Protocol）。CAOLSR采用了一种上下文信息机制,将节点间相对
提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别
现有的直接匿名认证方案吸取了群签名、身份托管、证书系统等技术来实现匿名证明,存在着执行效率慢、安全性差等缺点;而新型XTR公钥密码体制运算速度快,安全性强。基于XTR公
分形维数一个最重要的特性是其维数大小与人眼感觉图像表面的粗糙程度有很大的相关性,分形在图像的纹理分析、图像的分割与分类等方面有着很多成功的运用。在基于分形理论提出的分形维数的估计方法中,差分盒法是一种经常被使用的分形维数估计技术。研究发现差分盒法对细致纹理的最小二乘法线性拟合度比较好,但是对较为粗糙的纹理其最小二乘法的线性拟合度不够理想,估计出的分形维数往往失真。为了解决这个问题,提出了一种网格重
介绍了一种基于虚拟仪器的在线电导率仪,给出了系统的硬件结构及软件设计思路。采用LabVIEW软件编程,完成仪器标定、数据处理、显示及存储。其操作简单,界面友好,有良好的应