期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
反编译中的复合条件分支识别算法 被引量：2
1
作者 韦韬 毛剑 邹维 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第1期37-43,共7页
首次对复合条件分支编译后的结构进行形式化描述,应用图论方法提出了复合分支网络概念,并在此基础上提出了一种新的识别算法。通过理论分析并采用该算法对多个典型样本进行实验,均显示该算法与现有算法相比,识别正确性有明显改善。
关键词 逆向工程 信息安全 反编译 控制流分析 复合条件分支
在线阅读 下载PDF
一种支持条件分支的语义Web服务组装方式及执行
2
作者 江岭 崔光佐 《计算机应用》 CSCD 北大核心 2007年第7期1720-1724,共5页
Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基... Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基于知识库的执行引擎支持带有条件分支控制结构的组装结果的执行。 展开更多
关键词 语义 WEB服务组装 条件分支 执行引擎
在线阅读 下载PDF
基于CUDA的GPU条件分支分歧聚合优化策略
3
作者 刘素芹 王鑫 +2 位作者 安仲奇 杨娜利 王俊爽 《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第3期174-180,共7页
分析NVIDIA GPU底层处理SIMD条件分支分歧的方式及其对程序性能产生的影响。在软件层级提出两种利用'聚合'思想的SIMD条件分支分歧优化策略:循环推迟和循环提前。策略将不同SIMD道中选择相同路径的条件分支'聚合'到同... 分析NVIDIA GPU底层处理SIMD条件分支分歧的方式及其对程序性能产生的影响。在软件层级提出两种利用'聚合'思想的SIMD条件分支分歧优化策略:循环推迟和循环提前。策略将不同SIMD道中选择相同路径的条件分支'聚合'到同一步循环中,减少了SIMD操作的实际次数。使用CUDA对这两种策略进行的试验结果表明,在满足策略使用条件的前提下能够取得预想中的加速比。该策略实现难度较低、可操作性较强。 展开更多
关键词 SIMD 条件分支分歧 聚合 循环推迟 循环提前
在线阅读 下载PDF
带条件分支的指令级循环优化新方法
4
作者 汤志忠 王剑 《软件学报》 EI CSCD 北大核心 1995年第A01期148-156,共9页
分解式软件流水ＤＥＳＰ是我们最近提出来的一种对无分支循环进行有效调度的新方法，它通过把循环地分解为两个子问题，把无分支调度问题转化为无环路图的调度，从而运用图论中一些经典的复杂度为多项式的方法来解决。在本文中，我们把... 分解式软件流水ＤＥＳＰ是我们最近提出来的一种对无分支循环进行有效调度的新方法，它通过把循环地分解为两个子问题，把无分支调度问题转化为无环路图的调度，从而运用图论中一些经典的复杂度为多项式的方法来解决。在本文中，我们把ＤＥＳＰ方法扩展成可以优化带条件分支的循环，称为全局分解式软件流水方法－ＧＤＥＳＰ。 展开更多
关键词 循环调度 条件分支 软件流水 循环优化
在线阅读 下载PDF
五维微分系统的Hopf分支方向
5
作者 杨丽丽 《科学技术与工程》 2008年第8期1943-1945,共3页
给出了五维微分系统周期解的稳定性及分支方向的一般判据。
关键词 Hopf分支条件 分支方向 五维微分系统
在线阅读 下载PDF
代码翻译中Case语句的识别和恢复 被引量：2
6
作者 苏铭 赵荣彩 齐宁 《计算机应用》 CSCD 北大核心 2005年第10期2439-2440,2443,共3页
提出了在开发IA-64二进制翻译系统中采用的n-条件分支跳转表和目标地址恢复技术。着重论述了该技术的核心———过程内切片和表达式替换,以及针对IA-64特性的改进算法。
关键词 n-条件分支 程序切片 二进制翻译
在线阅读 下载PDF
一种相互独立性测试算法
7
作者 袁小龙 沈绪榜 《计算机研究与发展》 EI CSCD 北大核心 1997年第S1期218-221,共4页
高级综合技术的研究在当前倍受关注．在进行操作调度与资源分配时，为了节省资源，提高设计质量，应对含有条件结构的流图进行相互独立性测试．通过对相互独立性测试问题进行研究，给出了一种相互独立性测试算法．经实验证明，该算法具... 高级综合技术的研究在当前倍受关注．在进行操作调度与资源分配时，为了节省资源，提高设计质量，应对含有条件结构的流图进行相互独立性测试．通过对相互独立性测试问题进行研究，给出了一种相互独立性测试算法．经实验证明，该算法具有速度快、效率高的特点，应用在高级综合系统中时，可极大地提高综合设计的质量． 展开更多
关键词 高级综合 相互独立性测试 CDFG模型 条件分支
在线阅读 下载PDF
异构计算平台图像边缘检测算法优化研究 被引量：5
8
作者 魏秋明 梁军 +2 位作者 鲍泓 王晶 李论 《计算机工程》 CAS CSCD 北大核心 2017年第5期240-247,共8页
随着实际应用中图像数据规模的增大和分辨率的提高,图像边缘检测算法的性能成为制约图像实时处理的关键。从向量化访存、数据本地化以及条件分支优化3个方面出发,结合算法特性和底层硬件架构特征,研究Canny边缘检测算法在NVIDIA Tegra K... 随着实际应用中图像数据规模的增大和分辨率的提高,图像边缘检测算法的性能成为制约图像实时处理的关键。从向量化访存、数据本地化以及条件分支优化3个方面出发,结合算法特性和底层硬件架构特征,研究Canny边缘检测算法在NVIDIA Tegra K1异构计算平台上的GPU性能优化。实验结果表明,与基于Open CV3.0CPU的Canny边缘检测算法相比,优化后的Canny边缘检测算法在不同图像数据规模下可达13.2倍~17.8倍的性能加速比,具有较好的检测性能。 展开更多
关键词 图像边缘检测 异构计算平台 向量化访存 数据本地化 条件分支优化
在线阅读 下载PDF
一种嵌入式系统软件水印识别器的VLSI实现
9
作者 罗江 沈海斌 《机电工程》 CAS 2007年第8期11-13,共3页
提出了一种基于分支软件水印方案识别器的VLSI实现。硬件形式的识别器一般难以获取嵌入式系统内部的函数返回地址,通过改进获取指纹信息分支函数(FBF)入口的方法,使得只需要根据系统的程序指针和指令字就可以完成FBF函数入口的识别,使... 提出了一种基于分支软件水印方案识别器的VLSI实现。硬件形式的识别器一般难以获取嵌入式系统内部的函数返回地址,通过改进获取指纹信息分支函数(FBF)入口的方法,使得只需要根据系统的程序指针和指令字就可以完成FBF函数入口的识别,使原有方法更适用于嵌入式系统。最后针对所支持的指令集进行了仿真测试,并对设计实现进行了逻辑综合。性能分析表明,硬件形式识别器识别速度远远超过软件的识别速度。 展开更多
关键词 嵌入式系统 软件水印 无条件分支 超大规模集成电路
在线阅读 下载PDF
一种改进的验证工作流控制逻辑正确性的方法
10
作者 巩垒 王海洋 黄富洁 《计算机应用》 CSCD 北大核心 2003年第9期25-27,共3页
许多工作流管理系统可能建立错误的工作流模型,导致工作流的执行出现异常。建立了一个基于双分支条件有向图的工作流模型,提出了一种验证整个工作流控制逻辑正确性的方法。实验结果表明,该方法是可行的。
关键词 工作流 工作流控制逻辑正确性 工作流模型 双分支条件有向图
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部