论文部分内容阅读
本文对软件流水领域二维数组数据相关性分析算法进行了研究.文章扩展了一般λ测试技术,解决了二维数组的数据相关性判定问题,获得了比传统方法更加精确有效的结果.
软件流水领域二维数组数据相关性分析算法研究
【摘 要】
：
本文对软件流水领域二维数组数据相关性分析算法进行了研究.文章扩展了一般λ测试技术,解决了二维数组的数据相关性判定问题,获得了比传统方法更加精确有效的结果.
【机 构】
：
清华大学计算中心,北京,100084
【出 处】
：
2005年全国理论计算机科学学术年会
【发表日期】
：
2005年期
其他文献
30多年来,中国农业的经营体制一直以家庭承包为主.近年,随着城镇化和农地流转速度的加快,中国的种植业一直存在着走向规模、集约还是维持农户经营的争论.rn3月末,总理李克强
本文对部分状态空间的建模及其验证进行了研究.文章提出了一个统一的框架,在一个维度上扩充Krinke结构,一个维度上扩充LTS,另一个维度上扩充到部分状态空间.文章选择u演算为
本文提出了将SPIN应用到同步时序逻辑中以辅助硬件设计,并成功地将其应用到两个具体的同步时序逻辑电路中,且进行了验证.这有力地说明了SPIN在一定程度上辅助硬件设计的可行
CE:随着中国经济进入转型期,中国私募股权市场也从高峰期进入调整阶段,凯雷近年在中国的投资策略是否有所调整?鲁宾斯坦:中国政府的目标显而易见,就是鼓励内需、发展科技以及
Cloud computing is always adopted to enhance the computing capability of mobile systems, especially when the mobile users prefer to use some computation intensi
本文中通过对同步仲裁器硬件电路的PROMELA建模,井用SPIN来验证该PROMEI－A模型是否满足电路所需的性质,以使SPIN这一优秀的软件验证技术更广泛地用于硬件电路的辅助设计中.
本文针对相似度的调整问题进行了初步探讨,分别从内容、字符两个方面,分析和设计了相似度可调的匹配算法.它是对现有的相似匹配算法的一种补充和增强.算法通用性好,便于移植,
2013年,新奥集团董事局主席王玉锁干了三件事:织成一张网、布局国际化、开放管理.rn往年,新奥都会在8月7日召开企业的技术大会,而今年,王玉锁把这个会推到了年底,“我估计这