刘英

作品数：3被引量：5H指数：1
导出分析报告
供职机构：北京大学数学科学学院信息科学系更多>>
发文主题：JAVA语言JAVA面向对象程序自动并行化程序设计更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金高等学校骨干教师资助计划吉林省科委基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于线程的Java程序自动并行转换技术被引量：4
《软件学报》2001年第3期390-397,共8页刘英 刘磊 张乃孝 
国家自然科学基金资助项目!(6 99830 0 1);教育部骨干教师基金资助项目&&
Java程序的并行化研究是一个重要课题 .提出一种 Java程序的自动并行转换技术 ,并充分利用 Java语言本身提供的多线程机制 ,通过操作冲突性检测等方法将串行化的 Java程序自动转化成并行化程序 .使得转化后的并行化程序在多处理机操作...
关键词：面向对象 程序设计 线程 程序自动并行化 JAVA语言 
面向Java的实用别名分析技术被引量：1
《计算机研究与发展》2000年第5期595-600,共6页刘英 刘磊 
别名分析对程序分析起着十分重要的作用 ,不进行别名分析或分析算法选择不当 ,可能会影响分析结果的可信度 ,甚至会导致分析结果的完全不正确 .因此给出了一种适用于 Java程序的别名分析技术 ,并给出了分析算法的形式化描述 .
关键词：别名分析 程序分析 JAVA语言 面向对象 
面向Java操作的可交换性检测技术被引量：1
《吉林大学自然科学学报》2000年第1期37-42,共6页刘磊 刘英 张晓东 
吉林省科委基金资助
提出一种判断 Java程序中的操作是否可交换执行的检测技术 ,给出可交换性操作的基本概念 ,并用函数式语言对检测算法进行描述 .
关键词：操作 可交换性 JAVA语言 自动并行化 程序 检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部