检索结果-内蒙古大学图书馆

一、引言 1.1 自动并行编译的提出并行程序设计基本上有两种途径:显式途径和隐式途径。研究者设计了很多的并行程序设计语言,这就是所谓的“显式途径”。但是,并没有一种并行程序设计语言成为流行的语言,主要的问题在于并行程序的编制困难,对程序员的要求高。相比较而言,隐式途径,即自动并行编译技术就有许多的优势。用户使用串行语言编制程序。

关键词： Java语言并行编译系统 JAPS 表达式分离

来源：评论

学校读者我要写书评

暂无评论

一个分层的实时视频传输系统模型及其实现

引用

电子学报 2000年第11期28卷 46-49页

作者：魏明亮付培荣李冀李成锴茅兵谢立南京大学计算机系软件新技术国家重点实验室南京210093

本文提出了一个分层的实时视频传输系统模型CRR .在CRR中 ,作者设计了一个高效的应用级的Mul ticast协议RTMTP ,利用逻辑时钟和缓冲队列的处理保证视频传输的实时性 ;加入了分层的反馈调整机制以改进对网络流量的管理 ,避免了传统模... 详细信息

本文提出了一个分层的实时视频传输系统模型CRR .在CRR中 ,作者设计了一个高效的应用级的Mul ticast协议RTMTP ,利用逻辑时钟和缓冲队列的处理保证视频传输的实时性 ;加入了分层的反馈调整机制以改进对网络流量的管理 ,避免了传统模型中集中处理、灵活性较差的流量控制 ;通过Repeater实现了QoS的层次化 ,还解决了Multicast报文的转发问题 .最后介绍了CRR模型的实现技术。

关键词：多媒体通信实时视频传输组播流量控制

来源：评论

学校读者我要写书评

暂无评论

JAPS中的并行任务支撑平台PTSP

引用

计算机科学 2000年第7期27卷 5-7,81页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、... 详细信息

1 概述在现代计算技术中,分布并行处理越来越成为一种关键性的技术.这种由许多小任务合作解决大问题的方法,在过去几年发挥着越来越重要的作用,从高性能科学计算到日常事务的应用程序,都广泛接受和采纳分布并行处理,这是由于对高性能、低代价及强计算能力的需求所导致的,而大规模并行处理机(MPP)

关键词： JAPS PTSP 并行任务支撑平台并行编译

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具PRT的研究

引用

计算机科学 2000年第3期27卷 47-50,46页

作者：杨朝晖王云峰郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精... 详细信息

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。

关键词：程序正确性精化演算支撑工具 PRT 程序结构

来源：评论

学校读者我要写书评

暂无评论

JAPS中任务调度协议的设计与实现

引用

计算机科学 2000年第12期27卷 16-19,6页

作者：李晓明陈道蓄谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在... 详细信息

1 背景和系统概述在并行编译系统中,主要的目标是分析程序中的依赖关系。通过依赖分析得到的结果将源程序划分成可以并行执行的部分,然后在一定的运行时支撑平台上并行执行。并行执行的基本要求是程序的并行语义和串行语义必须一致。在以NOW基础的并行计算系统中,由于通信开销较大,一般需要发掘在任务层次上的并行性。

关键词： JAPS 任务调度协议并行编译系统

来源：评论

学校读者我要写书评

暂无评论

程序切片技术的研究与应用

引用

计算机科学 2000年第1期27卷 31-35页

作者：张勇翔李必信郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeise... 详细信息

软件逆向工程和维护通常是一种繁复的任务,它需要对程序的大量阅读,透切理解,耗费大量的人力物力。正是基于这种情况,产生了大量有关程序理解的技术,而程序切片技术是其中比较突出的一种。程序切片技术(Program slicing)最早由MarkWeiser提出,他论述了通过遍历程序依赖图(ProgramDependence Graph,PDG)得到过程内切片(intrapro cedural slice)的技术。此后,Horwitz通过将PDG扩展为系统依赖图(System Dependence Graph,SDG)

关键词：程序切片面向对象软件逆向工程软件维护

来源：评论

学校读者我要写书评

暂无评论

一个协同开发框架中的用户协同层模型

引用

计算机科学 2000年第3期27卷 22-25页

作者：黄丽雯李成锴周笑波谢立南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言计算机支持协同工作CSCW(Computer-Support-ed Cooperative Work)以辅助人与人在日常工作中的交互为目的,支持一组用户参与一个共同的任务,并提供给他们访问共享环境的接口,由此为这个用户群提供协同支持。它反映了人们对计算机... 详细信息

1 引言计算机支持协同工作CSCW(Computer-Support-ed Cooperative Work)以辅助人与人在日常工作中的交互为目的,支持一组用户参与一个共同的任务,并提供给他们访问共享环境的接口,由此为这个用户群提供协同支持。它反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。对于计算机支持协同工作要求尽可能体现用户之间的协同以方便用户的协同工作。

关键词： CSCW 用户协同层模型 Java语言计算机网络

来源：评论

学校读者我要写书评

暂无评论

虚拟驾驶环境中混合交通控制的设计与实现

引用

计算机科学 2000年第2期27卷 76-78,87页

作者：张旦钱蔚王莞徐福培南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

1 引言汽车驾驶模拟器(简称模拟器)是将计算机仿真技术应用于教学的一个教学仿真系统。它使用实车驾驶室的环境,并实时地生成虚拟环境来模拟驾驶训练中的声音和视景效果,从而给学员以在真车实景中训练的感受。虚拟驾驶环境就是在汽车驾... 详细信息

1 引言汽车驾驶模拟器(简称模拟器)是将计算机仿真技术应用于教学的一个教学仿真系统。它使用实车驾驶室的环境,并实时地生成虚拟环境来模拟驾驶训练中的声音和视景效果,从而给学员以在真车实景中训练的感受。虚拟驾驶环境就是在汽车驾驶模拟器中构造的虚拟环境。

关键词：虚拟驾驶环境汽车驾驶模拟器混合交换控制

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：