刘英
- 作品数：3 被引量：8H指数：2
- 供职机构：北京大学数学科学学院信息科学系更多>>
- 发文基金：国家自然科学基金高等学校骨干教师资助计划吉林省科委基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向Java的实用别名分析技术被引量：1
- 2000年
- 别名分析对程序分析起着十分重要的作用 ,不进行别名分析或分析算法选择不当 ,可能会影响分析结果的可信度 ,甚至会导致分析结果的完全不正确 .因此给出了一种适用于 Java程序的别名分析技术 ,并给出了分析算法的形式化描述 .
- 刘英刘磊
- 关键词：别名分析JAVA语言面向对象
- 基于线程的Java程序自动并行转换技术被引量：6
- 2001年
- Java程序的并行化研究是一个重要课题 .提出一种 Java程序的自动并行转换技术 ,并充分利用 Java语言本身提供的多线程机制 ,通过操作冲突性检测等方法将串行化的 Java程序自动转化成并行化程序 .使得转化后的并行化程序在多处理机操作系统的支持下 ,能在共享内存的多处理机系统上运行 ,从而提高了程序的运行效率 .
- 刘英刘磊张乃孝
- 关键词：面向对象程序设计线程程序自动并行化JAVA语言
- 面向Java操作的可交换性检测技术被引量：2
- 2000年
- 提出一种判断 Java程序中的操作是否可交换执行的检测技术 ,给出可交换性操作的基本概念 ,并用函数式语言对检测算法进行描述 .
- 刘磊刘英张晓东
- 关键词：可交换性JAVA语言自动并行化
