数据依赖关系

作品数：12被引量：16H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李肯立扈啸刘鹏胡栋陈书明更多>>
相关机构：国防科学技术大学华为技术有限公司南京邮电大学清华大学更多>>
相关期刊：《西北民族大学学报（自然科学版）》《哈尔滨工业大学学报》《吉林大学学报（信息科学版）》《微型电脑应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SCG-Detector:基于图注意力网络的智能合约漏洞检测方法
《电子学报》2024年第12期4101-4112,共12页顾锡国 王志伟 陈翔 何启帆 崔展齐 
江苏省前沿引领技术基础研究专项(No.BK20202001);国家自然科学基金(No.61702041);北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(No.LHCESET202307);北京信息科技大学“勤信人才”培育计划(No.QXTCP B202406)。
随着智能合约被广泛使用,其处理的业务逻辑更加复杂,代码复杂度越来越高,引发了大量安全漏洞.为避免潜在安全漏洞造成的危害,研究人员提出了一系列智能合约漏洞检测方法.但现有方法对合约特征表征不完整,未将合约的语义及结构特征进行...
关键词：智能合约 图注意力网络 合约图 抽象语法树 数据依赖关系 控制依赖关系 
基于故障关联的多故障概率诊断方法被引量：2
《计算机科学》2017年第4期124-130,共7页徐俊洁 陈荣 
国家自然科学基金(61175056)资助
故障软件诊断的必要性在于真实世界中的软件几乎都会包含一个以上的故障。与单故障不同,多个故障的传播及其关联导致软件诊断更复杂,不确定性更高,概率推理因而被用于适应多故障程序的特殊性。提出了一种新的基于变形概率图FCG及其推理...
关键词：多故障 故障关联与不确定性 概率推理 控制和数据依赖关系 变形概率图 
基于OPM的数据依赖关系分析研究
《微型电脑应用》2016年第6期3-7,共5页董宇超 张文生 
国家科技支撑计划项目(编号:2013BAB06B04);中国华能集团公司总部科技项目(编号:HNKJ13-H17-04);江苏水利科技项目(No.2013025)资助
如何对数据起源语义信息进行分析是数据起源追踪领域的关键问题之一。基于OPM,在建立的数据起源依赖关系概念及其操作的基础上,提出了一种数据依赖关系分析方法,利用细化操作和合成操作分析数据依赖关系,并具体给出数据依赖细化算法和...
关键词：数据依赖关系 数据起源 细化操作 合成操作 数据起源开放模型 
基于多线程归并排序算法设计被引量：4
《吉林大学学报（信息科学版）》2015年第1期105-110,共6页孙琳琳 侯秀萍 朱波 孙士明 高灿 
国家科技部863高技术基金资助项目(2011AA040602)
为解决传统递归方式的归并排序算法串行执行效率低的问题,使用数据依赖关系分析方法对归并排序算法进行并行性分析。通过分析发现算法本身具有并行的特征,在多核处理器下使用Open Mp编译制导语句对算法进行直接并行化处理。在数据量较...
关键词：归并排序 多核多线程 OpenMp编译制导语句 数据依赖关系 并行化 
基于人工智能搜索和数据依赖分析的程序并行化被引量：1
《现代电子技术》2013年第6期1-3,共3页王磊 曲卫平 李敬兆 
国家自然科学基金(61170060);安徽省自然科学基金(11040606M135);安徽省高等学校自然科学基金重点项目(KJ2011A083);淮南市科技计划项目(2011A07904)
主要研究了自动并行化中的前端分析技术,引入了人工智能搜索方法,并且对其进行改进,实现了在评估函数支持下进行广度和深度搜索的方法。在前端分析的基础上探讨了传统的数据依赖分析方法,针对其不足之处出现的数组数据流分析技术,对其...
关键词：程序并行化 人工智能搜索 评估函数 数据依赖关系 
基于编译指示的向量化方法被引量：3
《计算机工程》2012年第12期272-275,共4页姚远 赵荣彩 
"核高基"重大专项"支持国产CPU的编译系统及工具链"分课题"自动并行化与二进制翻译系统"(2009ZX01036-001-001-2)
编译器由于程序分析能力不足,无法自动实现循环向量化或者会造成盲目自动向量化。为此,提出一种基于编译指示的向量化方法。通过在代码中插入向量化编译指示语句,指导自动向量化编译工具的处理过程,自动生成高效的向量化代码。测试结果...
关键词：单指令多数据流 自动向量化 数据依赖关系 编译指示 循环不变量 向量寄存器 
SCO-GADL:一种用于科学计算的网格工作流描述语言被引量：3
《计算机科学》2011年第6期28-30,34,共4页黄震春 
863课题(2009AA12Z146);中欧科技合作龙计划二期项目(ID5258);中央级公益性科研院所基本科研业务费专项资金(IFRIT200905)资助
应用开发的难度一直是制约网格技术成为科学计算基础设施的主要因素之一。虽然网格工作流等诸多技术的使用能够在一定程度上降低网格应用开发的难度,但是大多数网格应用所采用的基于流程的应用描述模型仍然是网格应用开发的一个主要障...
关键词：科学计算 网格工作流 应用描述语言 数据依赖关系 
奇异数据类型的编译支持被引量：1
《计算机工程》2007年第3期29-31,共3页胡定磊 陈书明 刘春林 
国家"863"计划基金资助项目(2004AA1Z1040);国家自然科学基金资助项目(60473079)
专用处理器,如DSP等,因主要支持特定应用,其指令集往往只支持有限的数据类型。在采用高级语言为其编程时,若采用了处理器不支持的奇异数据类型,编译器必须在保持语义的前提下将其转化为处理器支持的一段指令。该文提出了一种在VLIW DSP...
关键词：数据类型 代码注释 数据依赖关系 寄存器分配 编译器 
关系数据库模式分解与信息完整性初探
《西北民族大学学报（自然科学版）》2003年第3期42-43,73,共3页刘仁维 
关系数据库设计就是根据数据依赖关系对关系模式分解的规范化过程,在分解过程中会造成信息丢失
关键词：关系数据库 模式分解 信息完整性 据数据依赖关系 信息丢失 规范化程度 
计划驱动的合作
《计算机科学》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,...
关键词：人工智能 分布式计划 合作 数据依赖关系 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部