期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
向量化中数据依赖关系的强化 被引量:1
1
作者 姚克荣 《计算机学报》 EI CSCD 北大核心 1990年第6期436-440,共5页
本文以数组项为结点的循环向量化分析方法,对“如果一个语句的所有结点(数组的每次出现)都不在递归回路中,则这个语句就能写成向量形式”的论点提出了反面例证,并通过对数据依赖关系进行强化的方法对循环体的部分向量化问题做了重新论述。
关键词 数据依赖关系 向量化 数据 循环
在线阅读 下载PDF
基于人工智能搜索和数据依赖分析的程序并行化 被引量:2
2
作者 王磊 曲卫平 李敬兆 《现代电子技术》 2013年第6期1-3,共3页
主要研究了自动并行化中的前端分析技术,引入了人工智能搜索方法,并且对其进行改进,实现了在评估函数支持下进行广度和深度搜索的方法。在前端分析的基础上探讨了传统的数据依赖分析方法,针对其不足之处出现的数组数据流分析技术,对其... 主要研究了自动并行化中的前端分析技术,引入了人工智能搜索方法,并且对其进行改进,实现了在评估函数支持下进行广度和深度搜索的方法。在前端分析的基础上探讨了传统的数据依赖分析方法,针对其不足之处出现的数组数据流分析技术,对其流程图算法进行描述,并且对终写树和写写树的思想加以实例说明。这一流程经过测试后可以很好地提高程序并行化的效率。 展开更多
关键词 程序并行化 人工智能搜索 评估函数 数据依赖关系
在线阅读 下载PDF
奇异数据类型的编译支持 被引量:1
3
作者 胡定磊 陈书明 刘春林 《计算机工程》 CAS CSCD 北大核心 2007年第3期29-31,共3页
专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP... 专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP编译器中实现对奇异数据类型的处理的方法,包括对含有奇异数据类型的中间代码的注释、调度依赖关系的计算、寄存器分配的改进。该类方法对编译器的改动相对较小,效率较高。 展开更多
关键词 数据类型 代码注释 数据依赖关系 寄存器分配 编译器
在线阅读 下载PDF
SCG-Detector:基于图注意力网络的智能合约漏洞检测方法 被引量:1
4
作者 顾锡国 王志伟 +2 位作者 陈翔 何启帆 崔展齐 《电子学报》 CSCD 北大核心 2024年第12期4101-4112,共12页
随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行... 随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行统一表征,难以准确、全面地检测和识别智能合约中的潜在漏洞和安全风险.为此,本文提出了基于图注意力网络的智能合约漏洞检测方法SCG-Detector(Smart Contract Graph Detector).首先,通过解析合约源代码构建抽象语法树(Abstract Syntax Tree,AST)以表征合约语法结构信息,并在AST上添加表示语义信息的数据依赖关系和控制依赖关系,以构建合约图(Smart Contract Graph,SCG)同时表征合约的语法结构及语义信息;然后,将SCG输入到图注意网络模型中进行训练,利用注意力机制学习合约中漏洞的特征;最后,利用训练好的图注意力网络模型检测合约中是否存在漏洞及所存在漏洞的类型.SCG-Detector在12616个智能合约上进行的实验结果表明,相比于sFuzz、Conkas、ConFuzzius、Mythril、Osiris、Slither、Oyente、MANDO-GURU等8种广泛使用的方法,SCG-Detector的Precision最高提升了26.46%,Recall最高提升了69.64%,F1最高提升了59.57%. 展开更多
关键词 智能合约 图注意力网络 合约图 抽象语法树 数据依赖关系 控制依赖关系
在线阅读 下载PDF
分布内存系统中流水并行代码的自动生成 被引量:4
5
作者 龚雪容 陆林生 赵荣彩 《计算机工程》 CAS CSCD 北大核心 2008年第11期77-79,共3页
并行循环分为DOALL和DOACROSS。DOACROSS循环携带数据依赖,在并行执行时需要通信支持,对于可以精确分析依赖关系的DOACROSS循环可通过流水并行方式提高性能。该文针对流水并行代码的自动生成进行讨论,包括数据依赖关系图和流水关系图的... 并行循环分为DOALL和DOACROSS。DOACROSS循环携带数据依赖,在并行执行时需要通信支持,对于可以精确分析依赖关系的DOACROSS循环可通过流水并行方式提高性能。该文针对流水并行代码的自动生成进行讨论,包括数据依赖关系图和流水关系图的建立、流水并行判别准则和流水代码的自动生成等。实验证明流水并行后能获得较好的加速比。 展开更多
关键词 流水并行 数据依赖关系 流水关系 流水通信
在线阅读 下载PDF
基于编译指示的向量化方法 被引量:3
6
作者 姚远 赵荣彩 《计算机工程》 CAS CSCD 2012年第12期272-275,共4页
编译器由于程序分析能力不足,无法自动实现循环向量化或者会造成盲目自动向量化。为此,提出一种基于编译指示的向量化方法。通过在代码中插入向量化编译指示语句,指导自动向量化编译工具的处理过程,自动生成高效的向量化代码。测试结果... 编译器由于程序分析能力不足,无法自动实现循环向量化或者会造成盲目自动向量化。为此,提出一种基于编译指示的向量化方法。通过在代码中插入向量化编译指示语句,指导自动向量化编译工具的处理过程,自动生成高效的向量化代码。测试结果表明,该方法能够有效提高目标代码的运行性能。 展开更多
关键词 单指令多数据 自动向量化 数据依赖关系 编译指示 循环不变量 向量寄存器
在线阅读 下载PDF
SCO-GADL:一种用于科学计算的网格工作流描述语言 被引量:3
7
作者 黄震春 《计算机科学》 CSCD 北大核心 2011年第6期28-30,34,共4页
应用开发的难度一直是制约网格技术成为科学计算基础设施的主要因素之一。虽然网格工作流等诸多技术的使用能够在一定程度上降低网格应用开发的难度,但是大多数网格应用所采用的基于流程的应用描述模型仍然是网格应用开发的一个主要障... 应用开发的难度一直是制约网格技术成为科学计算基础设施的主要因素之一。虽然网格工作流等诸多技术的使用能够在一定程度上降低网格应用开发的难度,但是大多数网格应用所采用的基于流程的应用描述模型仍然是网格应用开发的一个主要障碍——尤其是对那些通常情况下不擅长编程的科学家们。为了降低网格应用开发的难度,提出了一种基于数据依赖关系的网格应用描述模型,力图使网格应用的描述更加符合科学工作者的思维习惯。在此基础上,设计和实现了一种被称作SCO-GADL的工作流描述语言及其执行引擎。该引擎采用核心-插件体系结构,能够使用在多种网格平台之中,为科学工作者提供一种方便、易用和快捷的网格应用开发工具,以便使网格中聚集的各种资源更加高效地进行科学研究。 展开更多
关键词 科学计算 网格工作流 应用描述语言 数据依赖关系
在线阅读 下载PDF
计划驱动的合作
8
作者 李颖 陈跃新 《计算机科学》 CSCD 北大核心 2001年第10期56-60,共5页
Cooperation is an important mechanism for MultiAgent systems to work effectively. To real-ize it,a distributed plan is introduced in this paper. The constrained relations between subgoals, which have AND/OR relations,... Cooperation is an important mechanism for MultiAgent systems to work effectively. To real-ize it,a distributed plan is introduced in this paper. The constrained relations between subgoals, which have AND/OR relations, can be descrbed in a plan. After negotiating, a steady community will be formed,then the goal will be finished after distributively performing a plan. This kind of cooperation has been realized in the project MasBuilder(MultiAgent Systems Builder). 展开更多
关键词 人工智能 分布式计划 合作 数据依赖关系
在线阅读 下载PDF
基于故障关联的多故障概率诊断方法 被引量:2
9
作者 徐俊洁 陈荣 《计算机科学》 CSCD 北大核心 2017年第4期124-130,共7页
故障软件诊断的必要性在于真实世界中的软件几乎都会包含一个以上的故障。与单故障不同,多个故障的传播及其关联导致软件诊断更复杂,不确定性更高,概率推理因而被用于适应多故障程序的特殊性。提出了一种新的基于变形概率图FCG及其推理... 故障软件诊断的必要性在于真实世界中的软件几乎都会包含一个以上的故障。与单故障不同,多个故障的传播及其关联导致软件诊断更复杂,不确定性更高,概率推理因而被用于适应多故障程序的特殊性。提出了一种新的基于变形概率图FCG及其推理的软件诊断方法。相比于BARINEL方法和经典的贝叶斯网,FCG的特别之处在于采用了无向图上候选故障及其关联关系的贝叶斯推理和Noisy-or推理,而候选故障及其关联可以从程序语句间的控制依赖关系和数据依赖关系中创建。从西门子套件到更大的space,grep程序的实验,无论是在处理单故障还是处理多故障的情况下,实验结果都证明了FCG的有效性,其诊断效果比LOUPE,Ochiai,Tarantula甚至BARINEL方法都准确。 展开更多
关键词 多故障 故障关联与不确定性 概率推理 控制和数据依赖关系 变形概率图
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部