刘键

作品数：36被引量：10H指数：2
导出分析报告
供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
发文主题：分布式程序设计并行性死锁操作系统更多>>
发文领域：自动化与计算机技术理学电子电信一般工业技术更多>>
发文期刊：《计算机应用与软件》《计算机应用研究》《计算机研究与发展》《计算机工程与设计》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
含过程任务图的调度
《计算机工程与科学》1997年第1期1-4,共4页刘键 张静 
我们在Ｆｏｒｔｒａｎ程序并行转换系统ＨＺＰＡＲＡ－Ⅱ的研究中遇到了含过程任务图的情形，对此我们提出了一种有效的调度方法。该方法可在Ｏ（ｎ＊ｅ）的时间内完成调度。
关键词：任务图 进程调度 CP调度法 分布式算法 
一种关于DO－loop并行划分的新观点与新方法被引量：1
《计算机学报》1996年第7期520-529,共10页刘键 谢卫 朱晓梅 谷秋艳 
本文提出了一个分配相关新概念以及与此相应的基于迭代空间等价分类的ＤＯ－ｌｏｏｐ并行划分的新观点与新方法．这种方法的主要特点是：①是关于以ＤＯ－ｌｏｏｐ并行划分的一个一般的统一的方法，能解决所有ＤＣ－ｌｏｏｐ的并行划分...
关键词：分配相关 链接点 DO-loop 并行划分 计算机 
基于可执行条件的非循环结构并行性识别
《计算机与数字工程》1996年第6期1-7,共7页刘键 汤洪波 
探讨了顺序程序中非循环结构并行性的识别问题,提出并实现了一种新的可执行条件的导出方法,在层次任务图(HTG)上,通过一次对全国所有路径的搜索,利用任务节点间的相关性(包括数据相关和控制相关),就可以生成所有任务节点的可执行条件。...
关键词：非循环结构 可执行条件 并行性识别 编译程序 
全自动并行化编译系统中的运行控制
《计算机工程与科学》1996年第4期79-83,共5页黄凯 刘键 
并行化编译系统将串行程序划分成若干个相对独立的模块并行执行。将串行程序转换成并行程序之后,在它们的执行过程中需要进行运行控制。本文主要讨论在并行化编译系统的运行控制中,并行模块的启动以及它们之间的数据通信。
关键词：并行化 编译系统 运行控制 
一种分支程序的调度方法
《计算机工程与科学》1996年第4期16-22,共7页张静 刘键 
本文对分支程序的调度进行了研究,提出了一种行之有效的静态调度方法—MP 调度法。该方法基于分支的执行频度,采用多阶段调度的思想,分为实例生成、实例调度、调度表的合并等三个阶段。该法在静态调度中考虑了动态因素,得到了较好的调...
关键词：任务图 进程调度 分支程序 并行程序 
顺序程序并行转换系统HZPARA中可重用算法库及其管理系统
《计算机应用研究》1996年第3期32-34,共3页彭国强 刘中柱 刘键 
国家八六三资助
本文介绍了顺序程序并行转换系统ＨＺＰＡＲＡ中可重用算法库及其管理系统的设计思想，软构件的分类、查询、管理维护方法，为用户挖掘算法级并行性提供了方便。
关键词：HZPARA 软件重用 算法库 管理系统 程序设计 
分布式实时处理形式开发技术导论
《计算机科学》1995年第6期62-73,共12页刘键 朱晓梅 
国家自然科学基金
本文从程序设计的实质开始,讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题,提出了我们的看法并且论述了形式方法的分类,结合若干典型例子,对各类方法的特点也作了一些介绍。
关键词：软件开发 实时处理 程序设计 形式开发法 
开放系统技术的探讨被引量：1
《计算机工程与设计》1995年第3期37-40,共4页胡贯荣 刘键 
开放系统是当前计算机界的一大热门话题和技术重点，本文阐述了开放系统技术的主要问题以及当前开放系统发展的现状，意在进一步认识开放系统。
关键词：开放系统 互操作性 可移植性 
分布式目录管理的设计与实现
《计算机与数字工程》1995年第2期1-4,共4页刘键 胡贯荣 李胜利 
分布式全局目录管理是分布式文件系统的重要模块之一,本文阐述了基于局域网UNIX改造而成的分布式UNIX目录管理的设计与实现技术,提出了超级虚根的改进方案与基于代理进程的文件服务技术。
关键词：分布式 目录管理 代理进程 操作系统 文件服务 
分布式实时系统事件关系模型
《计算机与数字工程》1995年第2期31-37,共7页朱晓梅 刘键 
分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大,分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础,因而必须开发出相应的系统说明方法。...
关键词：分布式 实时系统 事件关系模型 规范说明 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部