您的位置: 专家智库 > >

江西省自然科学基金(0511041)

作品数:5 被引量:15H指数:3
相关作者:薛锦云徐文胜万剑怡石海鹏郑宇军更多>>
相关机构:江西师范大学江西省高性能计算技术重点实验室中国科学院软件研究所更多>>
发文基金:江西省自然科学基金国家自然科学基金江西师范大学青年成长基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...

主题

  • 4篇编程
  • 2篇面向对象
  • 2篇面向对象语言
  • 2篇泛型
  • 2篇泛型编程
  • 2篇编程模式
  • 2篇JAVA实现
  • 2篇并行编程
  • 2篇并行编程模式
  • 1篇形式化
  • 1篇形式化方法
  • 1篇自动化

机构

  • 5篇江西师范大学
  • 1篇中国科学院软...
  • 1篇江西省高性能...

作者

  • 2篇薛锦云
  • 2篇万剑怡
  • 2篇徐文胜
  • 1篇石海鹤
  • 1篇陈艳琼
  • 1篇何首武
  • 1篇李晓英
  • 1篇郑宇军
  • 1篇于程远
  • 1篇石海鹏

传媒

  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇江西师范大学...
  • 1篇计算机与现代...
  • 1篇计算机科学

年份

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