李丰

作品数：10被引量：72H指数：4
导出分析报告
供职机构：华为技术有限公司更多>>
发文主题：操作符查询语句操作数数据查询程序语句更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《小型微型计算机系统》《软件学报》《计算机工程》《计算机学报》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金创新研究群体科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向数据仓库周期性查询的增量优化方法被引量：2
《软件学报》2017年第8期2126-2147,共22页康炎丽 李丰 王蕾 
国家高技术研究发展计划(863)(2015AA011505);国家自然科学基金(61303053;61402445;61402303;61521092)~~
大数据蕴含着巨大的价值.分析类查询是获取数据价值的一种重要手段.为及时把握分析结果的变化,查询需要周期性地重复.为此,将不可避免地引入对旧数据的重复分析.目前,以重用历史数据的中间结果、优化冗余计算为核心思路的增量分析技术,...
关键词：数据仓库 周期性查询 增量优化 中间结果重用 
污点分析技术的原理和实践应用被引量：48
《软件学报》2017年第4期860-882,共23页王蕾 李丰 李炼 冯晓兵 
国家自然科学基金(61303053;61402303)~~
信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技...
关键词：污点分析 信息流分析 软件安全 静态分析与动态分析 ANDROID WEB 
基于Intel Xeon Phi的稀疏矩阵向量乘性能优化被引量：1
《小型微型计算机系统》2016年第4期818-823,共6页张爱民 安虹 姚文军 梁伟浩 江霞 李丰 
国家"八六三"高技术研究发展计划项目(2012AA010901;2012AA010902)资助
稀疏矩阵向量乘(Sp MV)是线性求解系统等科学计算中重要的计算核心.鉴于传统的稀疏矩阵向量乘算法在Intel Xeon Phi众核集成架构上存在SIM D利用率低,不规则访存开销高及负载不均衡的问题,难以发挥其运算能力.本文针对Intel Xeon Phi的...
关键词：稀疏矩阵向量乘 数据布局重组 INTEL XEON PHI 分块压缩存储 
OpenACC到MIC平台上并行程序的自动翻译及优化被引量：5
《小型微型计算机系统》2016年第4期824-829,共6页江霞 安虹 梁伟浩 张爱民 李丰 
国家"八六三"高技术研究发展计划项目(2012AA010902;2012AA010901)资助
随着异构系统在高性能计算领域的流行,各种为异构平台设计的编程模型被提出,比如CUDA、Open CL等,而这些原生的编程模型存在着编程复杂、优化困难和可移植性差等问题.Open ACC标准通过添加编译制导语句指示编译器将相关的代码段或循环...
关键词：异构系统 OPEN ACC MIC 自动翻译 优化 
一种场景敏感的高效错误检测方法被引量：2
《软件学报》2014年第3期472-488,共17页衷璐洁 霍玮 李龙 李丰 冯晓兵 张兆庆 
国家自然科学基金(61100011;61202055;61303053);国家自然科学基金创新研究群体科学基金(60921002);国家高技术研究发展计划(863)(2012AA010901)
定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测...
关键词：定值-引用错误 路径敏感错误检测 错误目标触发场景 场景敏感 程序分析 
一种基于最小调试边界的断点自动生成技术
《软件学报》2013年第7期1455-1468,共14页李丰 霍玮 陈聪明 李龙 衷璐洁 冯晓兵 
国家自然科学基金(61100011;60921002);国家重点基础研究发展计划(973)(2011CB302504);国家高技术研究发展计划(863)(2012AA010901);国家核高基重大专项(2011ZX01028-001-002)
时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度....
关键词：调试 断点 最小调试边界 错误定位 依赖分析 
基于传播引擎的指针引用错误检测被引量：4
《计算机学报》2013年第2期432-444,共13页衷璐洁 霍玮 李丰 陈聪明 冯晓兵 张兆庆 
自然科学基金青年科学基金项目(61100011);国家"九七三"重点基础研究发展规划项目基金(2011CB302504);国家"八六三"高技术研究发展计划项目基金(2012AA010901);国家自然科学基金创新研究群体科学基金(60921002);核高基国家重大科技专项基金项目(2011ZX01028-001-002)资助~~
指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传...
关键词：空指针引用 错误属性格 上下文敏感 静态检测 传播引擎 
一种提高时序安全属性静态检测实用性的方法被引量：2
《计算机学报》2012年第2期244-256,共13页霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家自然科学基金青年科学基金项目(61100011);国家自然科学基金创新研究群体科学基金项目(60921002);国家"核高基"重大专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
关键词：有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 
面向无线传感器网络应用的自适应调试方法被引量：8
《计算机学报》2011年第7期1195-1213,共19页李丰 霍玮 冯晓兵 
国家"九七三"重点基础研究发展规划项目基金(2011CB302504);国家核高基重大专项项目(2009ZX01036-001-002);国家自然科学基金创新研究群体科学基金(60921002)资助~~
传感网技术是物联网得以实现的重要基础.然而,受到资源有限以及程序行为不确定等因素的影响,无线传感器网络上编程和调试的难度尤甚于普通的分布式程序.文中提出了一种面向无线传感器网络程序的源码级错误诊断方法.该方法采用基于全局...
关键词：物联网 无线传感器网络 依赖分析 确定性重放 调试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部