您的位置: 专家智库 > >

任国林

作品数:11 被引量:33H指数:4
供职机构:东南大学计算机科学与工程学院更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇装卸
  • 2篇计算机
  • 2篇计算机专业
  • 2篇功能模块
  • 2篇API
  • 2篇程序设计
  • 1篇调度
  • 1篇调式
  • 1篇信道
  • 1篇信息处理
  • 1篇虚拟化
  • 1篇研究型
  • 1篇研究型人才
  • 1篇研究型人才培...
  • 1篇一致性
  • 1篇应用程序
  • 1篇人文
  • 1篇人文内涵
  • 1篇软件工程
  • 1篇软件开发

机构

  • 11篇东南大学

作者

  • 11篇任国林
  • 5篇沈军
  • 3篇程正潮
  • 1篇王晓蔚
  • 1篇付赛平
  • 1篇刘其奇
  • 1篇徐造林
  • 1篇张杰智
  • 1篇杨全胜
  • 1篇姜晓玲
  • 1篇李彬

传媒

  • 3篇计算机技术与...
  • 2篇计算机应用研...
  • 1篇电脑开发与应...
  • 1篇东南大学学报...
  • 1篇计算机工程
  • 1篇现代计算机
  • 1篇软件世界
  • 1篇计算机教育

年份

  • 1篇2009
  • 2篇2008
  • 1篇2007
  • 1篇2006
  • 1篇2000
  • 3篇1995
  • 1篇1994
  • 1篇1993
11 条 记 录,以下是 1-10
排序方式:
支持功能模块动态装卸的通用菜单系统API被引量:1
1995年
本文在分析现有菜单(MENU)辅助设计工具的缺陷的基础上,详细论述了一个通用菜单系统应用程序接口(API)软件包的设计思想,特点和有关实现技术,并给出了该API软件包的函数列表和应用示例。该API软件包采用抽象程序设计技术,支持功能模块的动态装卸和菜单系统的动态维护,并首次采用动态接口挂接技术,大大增加了系统的灵活性和维护性,提高了软件开发效率。
沈军程正潮任国林
关键词:程序设计
计算机专业研究型人才培养的专业内涵与人文内涵探讨被引量:4
2009年
当前,人才培养分为职业技能型、应用技术型与研究型三种,本文分析了研究型人才应该具有的专业素质与人文素质,阐述了如何在该类型人才培养中体现出专业的内涵与人文的内涵。
杨全胜王晓蔚任国林徐造林
关键词:研究型人才人文内涵本科教育
Linux内核基于对称多处理机的实现分析被引量:7
2006年
SMP(对称多处理机)是一种紧耦合、共享存储的系统模型。Linux内核为了支持SMP体系结构,必须要修改基于UP(单处理机)的内核代码。文中详细分析了SMP的体系结构,并对Linux内核中SMP的启动以及如何实现多处理器的进程调度进行了详细的分析,最后阐述了SMP中出现的一致性问题及解决方案,解决了Linux内核在对称多处理机上的实现。
李彬任国林
关键词:进程调度自旋锁一致性
一种新的表格框架生成算法及其实现被引量:1
1995年
首先分析指出了现有两大类表格框架生成算法之缺点,提出了一种克服了其缺点,吸取其优,点的新的表格框架算法。同时,经分析归纳,提出五种表原,用此可拼接所有表格,提高表格生成效率数倍。该算法的另一特点即对栏格宽度、高度及表之大小无量的限制,仅有形的定义,动态性特强。整个过程呈动态线性过程,非静态循环过程。
沈军任国林
关键词:信息处理程序设计
FDPE:一个支持二阶段软件模型的CASE环境
1993年
FDPE是一个以软件过程自动化为目标的集成化CASE环境.它以语法和语义都得到良好定义的形式化规范描述语言FDP为核心,将软件过程分为两个阶段:由需求形成规范的阶段和由规范变换为程序的阶段.FDPE采用了图形编辑、规范验证、程序变换、软件重用等方面一系列先进技术,实现了计算机系统对软件过程的支持,为用户提供了一个舒适的软件开发环境.本文介绍FDPE的组成、功能及特点.
程正潮沈军任国林
关键词:软件工程软件开发环境
一种新的表格框架生成算法及其实现被引量:6
1994年
本文首先分析了现有的两大类表格框架生成算法,指出了它们存在的缺点。然后提出了一种新的表格框架生成算法,这种新算法既吸取了现有表格框架生成算法的优点,又克服了其缺点。同时,对表格进行了分析和归纳,提出了五种表元。由此五种表元可以拼接成所有表格。从而提高了表格生成的效率,扩大了表格的适应能力和通用性。最后,给出了新算法实现的关键子程序。
沈军任国林
支持功能模块动态装卸的通用菜单系统API
1995年
本文在分析现有菜单(MENU)辅助设计工具的缺陷的基础上,详细论述了一个通用菜单系统应用程序接口(API)软件包的设计思想、特点和有关实现技术,并给出了该API软件包的函数列表和应用示例。
沈军程正潮任国林
关键词:应用程序功能模块
基于IBM1350机群的Linpack快速测试被引量:2
2007年
Linpack是目前测试机群浮点运算性能的通用标准。文中旨在解决Linpack采用通用参数配置时因盲目配置参数多而导致测试周期长的缺陷,提出了一种可大幅度减少测试周期的基于最优化路径的Linpack参数配置策略。IBM1350机群浮点性能的快速测试显示该研究达到了预先设计要求。参数配置规律的深入分析表明该策略对于其它机群性能测试具有借鉴意义。
姜晓玲任国林
关键词:LINPACK
一种基于信道不可靠环境的协调式检查点协议被引量:4
2008年
在分布式计算环境中经常使用检查点/恢复策略来进行容错。文中主要研究在信道不可靠的环境中通过协调使相互通信的各进程所做的检查点保持全局一致性的方法。通过分析中途消息与信道可靠性之间的关系以及已有检查点协议对于中途消息处理方法,提出了一种应用于信道不可靠环境下的协调式检查点方法,其消息复杂度为O(N)且不引入其他的计算负担,只通过一次同步即可达到全局一致性状态,相比于以往的协调式检查点协议大大减小了时间开销,提高了在不可靠信道环境中做全局一致检查点的效率。
张杰智任国林
计算机专业开设“计算机综合课程设计”课被引量:2
2000年
在对我国各大学计算机专业的课程设置进行了比较充分的调查之后,结合多年本科生 教学经验,本着提高学生综合素质的目的,提出在计算机专业开设“计算机综合课程设 计”课程,并给出了课程的设计与实现方案。目前,该课程已列入东南大学计算机系 1999年本科培养方案。
任国林刘其奇
关键词:计算机专业综合课程设计
共2页<12>
聚类工具0