江西省自然科学基金(0511041)
- 作品数：5 被引量：15H指数：3
- 相关作者：薛锦云徐文胜万剑怡石海鹏郑宇军更多>>
- 相关机构：江西师范大学江西省高性能计算技术重点实验室中国科学院软件研究所更多>>
- 发文基金：江西省自然科学基金国家自然科学基金江西师范大学青年成长基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 泛型编程扩展及其JAVA实现被引量：4
- 2007年
- 本文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以Java语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语言类泛型编程的首例。
- 徐文胜薛锦云
- 关键词：泛型编程面向对象语言
- 泛型编程与JAVA实现被引量：3
- 2007年
- 该文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以JAVA语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语言类泛型编程的首例.
- 徐文胜
- 关键词：泛型编程面向对象语言
- 基于模式的并行编程环境中任务队列模式的研究与实现被引量：1
- 2008年
- 并行程序的设计是并行计算的难点之一。本文在基于模式的并行编程方法的基础上,对一种典型的并行计算与通信模式-任务队列模式进行了深入的研究,并在基于模式的并行编程环境中对该模式进行了实现。本文将通过两个典型的应用实例说明在基于模式的并行编程环境中使用任务队列模式进行问题的并行求解与并行程序开发的过程,并从实现效率和可编程性方面对使用任务队列模式的并行程序和传统的MPI/PVM实现的并行程序进行了分析与比较。
- 于程远万剑怡陈艳琼
- 关键词：并行编程模式
- 基于模式的CPPVM并行编程方法被引量：3
- 2008年
- 在对现有并行编程方法研究的基础上,提出一种基于模式的CPPVM并行编程方法。介绍该方法中并行编程模式的设计与实现,以2个典型应用实例说明使用其进行问题的并行求解与并行程序开发的过程。该方法对于降低并行程序的开发难度,提高并行编程的可靠性与开发效率具有重要意义。
- 李晓英万剑怡何首武
- 关键词：并行编程模式
- 算法程序变换研究与进展被引量：4
- 2007年
- 开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。
- 石海鹤石海鹏郑宇军薛锦云
- 关键词：自动化形式化方法
