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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

21 篇 会议
1 篇 期刊文献

馆藏范围

22 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

17 篇 工学
- 16 篇 计算机科学与技术...
- 10 篇 软件工程
- 6 篇 信息与通信工程
- 5 篇 电气工程
- 1 篇 光学工程
- 1 篇 电子科学与技术（可...
10 篇 理学
- 10 篇 数学
- 1 篇 系统科学
4 篇 管理学
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
- 2 篇 图书情报与档案管...
1 篇 经济学
- 1 篇 应用经济学

主题

2 篇 message passing
2 篇 algebra
1 篇 object oriented ...
1 篇 computer circuit...
1 篇 interconnection ...
1 篇 high level langu...
1 篇 parallel program...
1 篇 semantics
1 篇 program compiler...
1 篇 classification (...
1 篇 scheduling
1 篇 constraint theor...

机构

3 篇 department of co...
1 篇 dec cambridge re...
1 篇 institute of ind...
1 篇 dept. of informa...
1 篇 university of to...
1 篇 department of co...
1 篇 department of in...
1 篇 real world compu...
1 篇 department of co...
1 篇 toyohashi univer...
1 篇 department of co...
1 篇 computer science...
1 篇 electrotechnical...
1 篇 tokyo institute ...
1 篇 dept. of informa...
1 篇 real world compu...
1 篇 school of comput...
1 篇 department of in...
1 篇 research institu...
1 篇 department of in...

作者

3 篇 yonezawa akinori
2 篇 ito takayasu
1 篇 kamada tomio
1 篇 sakane hirofumi
1 篇 tomokiyo takashi
1 篇 kijima toshiro
1 篇 kawamoto shin-ic...
1 篇 ishikawa yutaka
1 篇 yoshida nobuko
1 篇 konishi yutaka
1 篇 koike hanpei
1 篇 togashi atsushi
1 篇 ueda kazunori
1 篇 sekiguchi satosh...
1 篇 tokoro mario
1 篇 amamiya makoto
1 篇 konaka hiroki
1 篇 satoh ichiro
1 篇 wakita ken
1 篇 jagannathan sure...

语言

22 篇 英文

检索条件"任意字段=1st International Workshop on Theory and Practice of Parallel Programming, TPPP 1994"

共 22 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Graph notation for concurrent combinators 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Yoshida, Nobuko Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-ku Yokohama223 Japan

ISBN: (纸本)3540591729

We introduce graph notation for concurrent processes which does not use the notion of port names for its formulation. The operators in the algebra of graphs proposed in this paper are quite different from those in the original term representation, making such notions as connection and correspondence of communication ports explicit. We show how basic elements of process calculi such as agents, reduction, and behavioural equivalences are soundly formulated in the new setting. The work is based on the authors’ study on concurrent combinators [9, 10], and can be considered as offering another mathematical representation of the formal notion studied therein. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

I/O mode analysis in concurrent logic programming 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Ueda, Kazunori Department of Information and Computer Science Waseda University 4-1 Okubo 3-chome Shinjuku-ku Tokyo169 Japan

ISBN: (纸本)3540591729

This paper briefly reviews concurrent logic programming and the I/O mode system designed for the concurrent logic language Flat GHC. The mode system plays fundamental roles both in programming and implementation in almost the same way as type systems do but in different respects. It provides us with the information on how data are generated and consumed and thus the view of "data as resources". It statically detects bugs resulting from ill-formed dataflow and advocates the "programming as wiring" paradigm. Well-modedness guarantees the safety of unification, the basic operation in concurrent logic programming. Information on the numbers of access paths to data can be obtained by slightly extending the framework, which can be used for compile-time garbage collection and the destructive update of structures. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

A formalism for remotely interacting processes 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Satoh, Ichiro Tokoro, Mario Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-ku Yokohama223 Japan

ISBN: (纸本)3540591729

An earlier paper [21] introduced process calculi with notions of time suited to express concurrent and distributed real-time computations. However, they cannot sufficiently model asynchronous communication in distributed systems. In this paper we present a process calculus with the ability to express asynchronous message passing with location-dependent transmission delay. It allows us to describe temporal and behavioral properties of asynchronous interactions among remotely located processes. Based on the process calculus, we also develop a "speed-sensitive" order relation for distributed real-time processes. It is formulated based on the notion of bisimulation and can distinguish between behaviorally equivalent processes performing at different speeds. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

The data-parallel C language NCX and its implementation strategies 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Yuasa, Taiichi Kijima, Toshiro Konishi, Yutaka Toyohashi University of Technology Toyohashi441 Japan Aichi College of Technology Gamagori443 Japan

ISBN: (纸本)3540591729

NCX is an extended C language for data-parallelism, which is one of the most important computation models to support realistic applications of massively parallel computers. The design criteria of the language include easy shifting from the C language, low-cost implementation of efficient compilers, and high integrity as a programming language. The language is based on the concept of virtual processors, each being powerful enough to execute the full-set C language. Several features for data-parallel computation, such as inter-processor communication, are added to the language so that they obey the design principles of the base language C. The language is intended to be used on various architectures, and is now being implemented for some machines with different architectures. In order to support low-cost but efficient implementation of NCX, a preprocessor, called NICS, has been developed, which performs common, machine-independent analysis and generates intermediate code. This paper overviews the major extended features of NCX, together with some programming examples, and shows that NCX provides sufficient expressive power for data-parallel computation while it is based on the simple and clear notion of virtual processors. This paper also introduces NICS and shows how it can be used in compiler construction. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Self-describing files + smart modules = parallel program visualization 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Halstead, Robert H. DEC Cambridge Research Lab CambridgeMA02139 United States

ISBN: (纸本)3540591729

Many tools have been built for gathering and visualizing parallel program performance data, but all too often these tools are (1) tied closely to a specific programming system or computing model and (2) monolithic and hard to customize. We attack problem (1) by using SDP, a self-describing file format that allows a flexible representation of performance information. An SDF file can be processed as a sequence of named records containing named fields without sacrificing the efficiency normally associated with custom-designed binary data representations. Descriptive annotations can be included to further document the contents of an SDP file. To attack problem (2), we are implementing a system in which reusable performance analysis and visualization modules can be combined in a wide range of configurations. These modules use SDF for their inputs and outputs and are "smart" in that they automatically use the annotations and mnemonic names present in their input data sets to pick appropriate default behaviors, which can be modified interactively if desired. Key to this design is the classification of performance information into general categories such as "event history" and "histogram," along with the definition of suitable conventions for annotating SDF files containing information of each type. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

First class continuation facilities in concurrent programming language harmony/2 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Wakita, Ken Tokyo Institute of Technology 2-12-1 Meguro-ku Tokyo152 Japan

ISBN: (纸本)3540591729

HARMONY/2 is an Actor based object-oriented concurrent programming language. Its novel features include two frameworks of first class continuations, namely method continuations and message continuations. The article addresses the technical difficulty in integration of first class continuation facilities and concurrency models (Vst problem) and then proposes two frameworks of first class continuation. Both frameworks prevent Vst problem and guarantee system’s soundness. Method continuation framework is a variant of traditional first continuation facility with added delayed installation semantics. It allows the safe use of continuations beyond objects’ boundary and thus enabling construction of arbitrary control structures in concurrent environment. Message continuation framework is based on the observation that a message represents the continuation after the message sending. History sensitive semantics (one-shot property) and dynamic extent property given to message continuations makes the system free of Vst. Two-way characteristics and synchronization semantics enables construction of arbitrary communication structures with high degree of concurrency. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Higher-order concurrent linear logic programming 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Kobayashi, Naoki Yonezawa, Akinori Department of Information Science University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo113 Japan

ISBN: (纸本)3540591729

We propose a typed, higher-order, concurrent linear logic programming called higher-order A CL, which uniformly integrates a variety of mechanisms for concurrent computation based on asynchronous message passing. Higher-order ACL is based on a proof search paradigm according to the principle, proofs as computations, formulas as processes in linear logic. In higher-order ACL, processes as well as functions, and other values can be communicated via messages, which provides high modularity of concurrent programs. Higher-order ACL can be viewed as an asynchronous counterpart of Milner’s higher-order, polyadic v-calculus. Moreover, higher-order ACL is equipped with an elegant ML-style type system that ensures (1) well typed programs can never cause type mismatch errors, and (2) there is a type inference algorithm which computes a most general typing for an untyped term. We also demonstrate a power of higher-order ACL by showing several examples of "higher-order concurrent programming.". © Springer-Verlag Berlin Heidelberg 1995.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

Locality abstractions for parallel and distributed computing 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Jagannathan, Suresh Computer Science Research NEC Research Institute 4 Independence Way PrincetonNJ08540 United States

ISBN: (纸本)3540591729

Temporal and spatial locality are significant concerns in the design and implementation of any realistic parallel or distributed computing system. Temporal locality is concerned with relations among objects that share similar lifetimes and birth dates;spatial locality is concerned with relations among objects that share information. Exploiting temporal locality can lead to improved memory behavior;exploiting spatial locality can lead to improved communication behavior. Linguistic, compiler, and runtime support for locality issues is especially important for unstructured symbolic computations in which lifetimes and sharing properties of objects are not readily apparent. Language abstractions for spatial and temporal locality include mechanisms for grouping related threads of control, allowing programs flexibility to map computations onto virtual processors, reusing dynamic contexts efficiently, and permitting asynchronous garbage collection across multiple processors. These abstractions give users and implementations a large degree of mobility to exploit inherent locality properties found within many dynamic parallel applications. We have investigated a number of these abstractions within a high-level language framework and within compilers targeted for such a framework. In this paper, we discuss several of these abstractions and justify their importance. © Springer-Verlag Berlin Heidelberg 1995.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

Multi-threaded paiLisp with granularity adaptive parallel execution 1st

引用

1st international workshop on theory and practice of parallel programming, tppp 1994

作者： Kawamoto, Shin-Ichi Ito, Takayasu Department of Computer and Mathematical Sciences Graduate School of Information Sciences Tohoku University Sendai980 Japan

ISBN: (纸本)3540591729

This paper describes a new implementation of PaiLisp interpreter PaiLisp/MT on a multi-thread architecture. A P-continuation based PaiLisp interpreter called PaiLisp/FX is implemented on Alliant FX/80 [ItoS93], PaiLisp/FX executes any PaiLisp programs under a non-preemptive scheduling policy and a static task partitioning method called eager task creation(ETC). PaiLisp/MT can be used as an experimental system of granularity adaptive parallel execution of PaiLisp programs to select multiple evaluation strategies. The granularity of programs is estimated by an average execution time and standard deviation of distributions of their execution time according to the granularity of target programs. In case of coarse-grained programs, PaiLisp/MT can execute them under a preemptive scheduling policy and the lazy task creation(LTC). In case of fine-grained programs it can execute them under a non-preemptive scheduling policy and LTC. This kind of adaptation of evaluation strategies can be done according to the granularity of programs and the number of executable processes. Experimental results show that the lazy task creation under the non-preemptive scheduling is very effective for a wide range of parallel programs but the granularity adaptation is useful when a program creates with various degree of granularity. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1995年 907卷 VI页

作者： Ito, Takayasu Yonezawa, Akinori Department of Computer and Mathematical Sciences Graduate School of Information Sciences Tohoku University Sendai Japan Department of Information Science University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo Japan

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共3页 << < 1 2 3 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：