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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

510 篇 会议
49 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

464 篇 工学
- 413 篇 软件工程
- 359 篇 计算机科学与技术...
- 21 篇 电子科学与技术（可...
- 21 篇 控制科学与工程
- 9 篇 信息与通信工程
- 5 篇 机械工程
- 4 篇 电气工程
- 4 篇 生物工程
- 3 篇 动力工程及工程热...
- 3 篇 生物医学工程（可授...
- 2 篇 力学（可授工学、理...
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 农业工程
- 1 篇 冶金工程
87 篇 理学
- 78 篇 数学
- 12 篇 系统科学
- 7 篇 统计学（可授理学、...
- 4 篇 生物学
- 2 篇 物理学
- 2 篇 化学
- 1 篇 大气科学
- 1 篇 地质学
26 篇 管理学
- 19 篇 管理科学与工程(可...
- 14 篇 工商管理
- 7 篇 图书情报与档案管...
3 篇 经济学
- 3 篇 应用经济学
3 篇 法学
- 3 篇 社会学
2 篇 教育学
- 2 篇 教育学
2 篇 农学
- 2 篇 作物学

主题

74 篇 performance
72 篇 parallel process...
62 篇 parallel program...
44 篇 algorithms
42 篇 languages
35 篇 design
26 篇 parallel algorit...
25 篇 gpu
14 篇 computer program...
13 篇 parallel computi...
13 篇 parallel
12 篇 experimentation
12 篇 measurement
10 篇 mpi
10 篇 transactional me...
9 篇 graphics process...
9 篇 theory
9 篇 concurrency
8 篇 synchronization
7 篇 multithreading

机构

13 篇 carnegie mellon ...
7 篇 indiana univ blo...
4 篇 univ wisconsin d...
4 篇 univ chinese aca...
4 篇 univ illinois ur...
4 篇 swiss fed inst t...
4 篇 mit csail united...
4 篇 shanghai jiao to...
4 篇 mit comp sci & a...
4 篇 rice university
4 篇 univ rochester r...
4 篇 purdue univ w la...
3 篇 univ of tokyo
3 篇 tsinghua univ de...
3 篇 massachusetts in...
3 篇 ohio state univ ...
3 篇 carnegie mellon ...
3 篇 inria rocquencou...
3 篇 itmo univ st pet...
3 篇 tsinghua univ pe...

作者

9 篇 chen haibo
8 篇 hoefler torsten
8 篇 blelloch guy e.
8 篇 agrawal kunal
7 篇 garland michael
7 篇 leiserson charle...
6 篇 sun yihan
6 篇 zhai jidong
6 篇 shun julian
6 篇 mellor-crummey j...
5 篇 rainey mike
5 篇 miller barton p.
5 篇 krishnamoorthy s...
5 篇 tsigas philippas
5 篇 padua david
5 篇 nikolopoulos dim...
5 篇 lam monica s.
5 篇 valero mateo
5 篇 scott michael l.
4 篇 taura kenjiro

语言

521 篇 英文
39 篇 其他

检索条件"任意字段=2003 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"

共 560 条记录，以下是541-550 订阅

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

详细简洁

排序：

Multi-model parallel programming in psyche 90

Multi-model parallel programming in psyche

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Scott, Michael L. LeBlanc, Thomas J. Marsh, Brian D. Computer Science Department University of Rochester RochesterNY14627 United States

ISBN: (纸本)0897913507

Many different parallel programming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been used to implement parallel applications. Unfortunately, operating systems and languages designed for parallel programming typically support only one model. Multi-model parallel programming is the simultaneous use of several different models, both across programs and within a single program. This paper describes multi-model parallel programming in the Psyche multiprocessor operating system. We explain why multi-model pro-grarnming is desirable and present an operating system interface designed to support it. Through a series of three examples, we illustrate how die Psyche operating system supports different models of parallelism and how the different models are able to interact. © 1990 acm.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

Real-time, concurrent checkpoint for parallel programs 90

Real-time, concurrent checkpoint for parallel programs

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Li, Kai Naughton, Jeffrey F. Plank, James S. Computer Science Department Princeton University United States Computer Science Department University of Wisconsin United States

ISBN: (纸本)0897913507

We have developed and implemented a checkpointing and restart algorithm for parallel programs running on commercial uniprocessors and shared-memory multipro cessors. The algorithm runs concurrently with the target program, interrupts the target program for small, fixed amounts of time and is transparent to the checkpointed program and its compiler. The algorithm achieves its efficiency through a novel use of address translation hardware that allows the most time-consuming operations of the checkpoint to be overlapped with the running of the program being checkpointed. © 1990 acm.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

A Chare Kernel implementation of a parallel prolog compiler 90

A Chare Kernel implementation of a parallel prolog compiler

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Ramkumar, Balkrishna Kalé, Laxmikant V. Dept. of Computer Science University of Illinois at Urbana-Champaign UrbanaIL61801 United States

ISBN: (纸本)0897913507

We have designed and implemented a compiler for the parallel execution of Prolog programs as a machine independent application on top of a run time environment for parallel programming called the Chare Kernel. The compiler is based on the Reduce-OR process model for the AND and OR parallel execution of Prolog programs and hence exploits both OR and independent AND parallelism found in Prolog programs. We describe the salient features of the parallel Prolog compiler from the viewpoint of its implementation as a Chare Kernel application. The responsibilities of process creation, load balancing, queueing strategies for work pool management, memory management and interprocess communication are all assumed by the Chare Kernel thereby eliminating these concerns at the application level. We discuss the effectiveness of this separation for a large application like the parallel Prolog compiler. The machine independence property makes the compiler easy to port on all machines, both shared and nonshared, that support the Chare Kernel. The compiler has been implemented on a variety of machines, including the Encore Mnltimax, the Sequent Symmetry, the Intel iPSC/2 hypercube and the Alliant FX/8. We briefly discuss its performance on a range of benchmarks exhibiting AND, OR and AND/OR parallelism on two of these machines. The speedups obtained are linear, demonstrating the effectiveness of the Chare Kernel as a simple, elegant, yet powerful environment for parallel programming. © 1990 acm.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

Design and distributed implementation of the parallel logic language shared prolog 90

Design and distributed implementation of the parallel logic ...

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Ambriola, V. Ciancarini, P. Danelutto, M. Dipartimento di Informatica Università di Pisa Italy Dipartimento di Matematica e Informatica Università di Udine Italy

ISBN: (纸本)0897913507

The parallel logic language Shared Prolog embeds Prolog as its sequential component. A program in Shared Prolog is composed of a set of logic agents, i.e. Prolog programs, that communicate associatively via a shared workspace called blackboard. The distinct features that characterize Shared Prolog with respect to other parallel (logic) languages are: scheduling of agents and granularity of parallelism explicitly controlled;Prolog embedded in the language;intrinsic modularity;associative send/receive of messages among agents with a simple operational semantics in terms of assert/retract of clauses. The model of communication puts Shared Prolog in the Linda family of parallel languages. The current prototype implementation is exposed. The architecture of the system is a distributed network of extended Prolog interpreters running under Unix and communicating via Internet sockets, and was obtained refining a specification written in SP itself. © 1990 acm.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

An implementation of a barotropic numerical weather prediction model in the functional language SISAL 90

An implementation of a barotropic numerical weather predicti...

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Chang, Pau S. Egan, Gregory K. Jt. Roy. Melbourne Inst. of Technol. and Cmw. Scientific and Industrial Research Organisation Parallel Systems Architecture Project Australia Royal Melbourne Institute of Technology Dept of Communication and Electrical Engineering 124 La Trobe St. Melbourne3000 Australia Department of Computer Systems Engineering Swinburne Institute of Technology School of Electrical Engineering John Street Hawthorn3122 Australia

ISBN: (纸本)0897913507

Numerical Weather Prediction (NWP) is acknowledged as being of vital importance to economy. The demand that NWP places on computing system performance has increased dramatically since the introduction of computer systems and is siili growing. This paper describes the implementation of a one-level barotropic spectral NWP model using the high level functional language SISAL. Our initial approach was a direct transliteration from FORTRAN to SISAL, the result of which was a large amount of array copying and loss of parallelism. The algorithm of the model was then rearranged to enable effective exploitation of parallelism by an optimising SISAL compiler. The parallel implementation technique and its potential for modeling with larger model sizes are discussed, and the improved results for an Encore Multimax multiprocessor are presented. © 1990 acm.

关键词： High level languages

来源：评论

学校读者我要写书评

暂无评论

A multi-level load balancing scheme for or-parallel exhaustive search programs on the multi-PSI 90

A multi-level load balancing scheme for or-parallel exhausti...

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Fumichi, Masakazu Taki, Kazuo Ichiyoshi, Nobuyuki Information Systems and Electronics Development Lab. Mitsubishi Electric Corporation 5-1-1 Ofuna Kamakura247 Japan Institute for New Generation Computer Technology 1-4-28 Mita Minato-ku Tokyo108 Japan

ISBN: (纸本)0897913507

Good load balancing is the key to deriving maximal performance from multiprocessors. Several successful dynamic load balancing techniques on tightly-coupled multiprocessors have been developed. However, load balancing is more difficult on loosely-coupled multiprocessors because inter-processor communication overheads cost more. Dynamic load balancing techniques have been employed in a few programs on loosely-coupled multiprocessors, but they are tightly built into the particular programs and not much attention is paid to scalability. We have developed a dynamic load balancing scheme which is applicable to OR-parallel programs in general. Processors are grouped, and work loads of groups and processors are balanced hierarchically. Moreover, it is scalable to any number of processors because of this multi-level hierarchical structure. The scheme is tested for the all-solution exhaustive search Pentomino program on the mesh-connected loosely-coupled multiprocessor Multi-PSI, and speedups of 28.4 times with 32 processors and 50 times with 64 processors have been attained. © 1990 acm.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Modeling concurrency in parallel debugging 90

Modeling concurrency in parallel debugging

引用

2nd acm sigplan symposium on principles and practice of parallel programming, PPOPP 1990

作者： Hseush, Wenwey Kaiser, Gail E. Columbia University Department of Computer Science New YorkNY10027 United States

ISBN: (纸本)0897913507

We propose a debugging language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. The debugging paradigm is for the programmer to describe the expected program behavior and for the debugger to compare the actual program behavior during execution to detect program errors. We classify DPEs into five subclasses according to syntactic criteria, and characterize their semantics in terms of a hierarchy of extended Petri Net models. The characterization demonstrates the power of DPEs for modeling parallelism. We present predecessor automata as a mechanism for implementing the third subclass of DPEs, which expresses bounded parallelism. Predecessor automata extend finite state automata to provide efficient event recognizers for parallel debugging. We briefly describe the application of DPEs to race conditions, deadlock and starvation. © 1990 acm.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the acm sigplan symposium on principles and practice of parallel programming, PPOPP

Proceedings of the ACM SIGPLAN Symposium on Principles and P...

引用

1988 acm/sigplan Conference on parallel programming: Experience with Applications, Languages and Systems, PPEALS 1988

ISBN: (纸本)0897912764

The proceedings contain 21 papers. The topics discussed include: non-intrusive and interactive profiling in parasight;using data partitioning to implement a parallel assembler;efficient interprocedural analysis for program parallelization and restructuring;restructuring lisp programs for concurrent execution;compiling Fortran 8x array features for the connection machine computer system;compiling C∗ programs for a hypercube multicomputer;automatic discovery of parallelism: a tool and an experiment;an open environment for building parallel programming systems;parallel discrete-event simulation of FCFS stochastic queueing networks;Qlisp: experience and new directions;program development for a systoiic array;experiences with Poker;Soar/PSM-E: investigating match parallelism in a learning production system;applications experience with Linda;on the implementation of applicative languages on shared-memory, MIMD multiprocessors;large-scale parallel programming: experience with the BBN butterfly parallel processor;the parallel decomposition and implementation of an integrated circuit global router;and characterizing the synchronization behavior of parallel programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Qlisp: Experience and new directions

Qlisp: Experience and new directions

引用

1988 acm/sigplan Conference on parallel programming: Experience with Applications, Languages and Systems, PPEALS 1988

作者： Goldman, Ron Gabriel, Richard P. Lucid Inc. United States

ISBN: (纸本)0897912764

Qlisp, a dialect of Common Lisp, has been proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming at the medium-grain level. An initial version of Qlisp has been implemented on a multiprocessor and a number of experiments with it conducted. This paper describes the implementation, reports on some of the experiments, and presents some new constructs that are suggested from programming experience with Qlisp. © 1988 acm.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

Communication-sensitive heuristics and algorithms for mapping compilers

Communication-sensitive heuristics and algorithms for mappin...

引用

1988 acm/sigplan Conference on parallel programming: Experience with Applications, Languages and Systems, PPEALS 1988

作者： Stramm, Bernd Berman, Francine University of California San Diego United States

ISBN: (纸本)0897912764

The mapping problem arises when parallel algorithms are implemented on parallel machines. When the number of processes exceeds the number of available processing elements, the mapping problem includes the contraction problem. In this paper, we identify communication-sensitive heuristics which promote good contractions for graph-based parallel algorithms on non-shared memory multiprocessors. We present algorithms which utilize these heuristics and discuss their performance on a group of diverse benchmarks. © 1988 acm.

关键词： parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共56页 << < 47 48 49 50 51 52 53 54 55 56 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：