陶彬贤

作品数：3被引量：4H指数：1
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：JAVAJAVA程序程序切片系统依赖图并发更多>>
发文领域：自动化与计算机技术电气工程更多>>
发文期刊：《计算机工程与应用》《计算机科学与探索》《计算机科学》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Slithice:一个基于系统依赖图的Java程序切片工具被引量：3
《计算机工程与应用》2014年第2期31-34,共4页钱巨 陶彬贤 
国家自然科学基金(No.60903026;No.61100034)
当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切...
关键词：JAVA 程序切片 静态 
Java程序自动锁分解重构被引量：1
《计算机科学与探索》2013年第5期451-459,共9页陶彬贤 张磊 钱巨 
国家自然科学基金Nos.60903026;61100034~~
许多并发程序存在同步粒度过粗的问题,可以通过锁分解等代码重构来逐步演化同步结构,提高程序并行性。然而,手工重构一方面识别重构契机较为困难,另一方面代码转换也容易出错。为克服手工重构中存在的问题,提出了一种针对Java程序的自...
关键词：JAVA 并发 同步 锁分解 重构 
一种利用指向组合优化依赖图构建的方法
《计算机科学》2013年第1期139-143,共5页张磊 陶彬贤 钱巨 
国家自然科学基金(60903026)资助
指针的动态性使得程序分析中一个指针变量往往被认为有多个可能的指向目标,构成多个指向关系。现有的依赖图构建方法虽然较全面地考虑了指针的多指向性,但并未考虑指向关系之间的可组合性,因此精度上仍存在许多不足。为此,提出了一种利...
关键词：依赖图 指针 组合 别名 程序切片 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部