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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

486 篇 会议
16 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

209 篇 工学
- 195 篇 计算机科学与技术...
- 97 篇 软件工程
- 42 篇 电气工程
- 12 篇 电子科学与技术（可...
- 8 篇 信息与通信工程
- 6 篇 控制科学与工程
- 6 篇 生物工程
- 4 篇 机械工程
- 3 篇 力学（可授工学、理...
- 3 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 生物医学工程（可授...
54 篇 理学
- 34 篇 数学
- 6 篇 生物学
- 4 篇 系统科学
- 3 篇 物理学
- 3 篇 化学
- 1 篇 大气科学
- 1 篇 统计学（可授理学、...
16 篇 管理学
- 9 篇 管理科学与工程(可...
- 7 篇 图书情报与档案管...
- 5 篇 工商管理
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学

主题

97 篇 programming
82 篇 parallel process...
79 篇 parallel archite...
71 篇 parallel program...
63 篇 concurrent compu...
59 篇 computer archite...
46 篇 hardware
43 篇 computational mo...
39 篇 programming prof...
39 篇 algorithm design...
36 篇 parallel algorit...
34 篇 computer science
26 篇 dynamic programm...
24 篇 runtime
24 篇 heuristic algori...
22 篇 program processo...
22 篇 partitioning alg...
21 篇 costs
21 篇 instruction sets
21 篇 clustering algor...

机构

6 篇 school of comput...
5 篇 school of comput...
4 篇 school of comput...
3 篇 department of co...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of electr...
2 篇 department of co...
2 篇 univ minnesota d...
2 篇 school of scienc...
2 篇 soochow univ sch...
2 篇 college of optoe...
2 篇 school of comput...
2 篇 beijing research...
2 篇 department of co...
2 篇 school of comput...
2 篇 department of co...
2 篇 department of co...
2 篇 department of co...
2 篇 vision computing...

作者

9 篇 zhong cheng
6 篇 cheng zhong
6 篇 jigang wu
5 篇 hui li
4 篇 shikai guo
4 篇 yeh-cheng chen
4 篇 zhang jinxiong
4 篇 yidong li
4 篇 rong chen
4 篇 sivasankaran raj...
3 篇 chen danyang
3 篇 wei liu
3 篇 liu jun
3 篇 ruey-shun chen
3 篇 wang shunxu
3 篇 rajamanickam siv...
3 篇 naixue xiong
3 篇 guangzhong sun
3 篇 tonglai liu
3 篇 guoliang chen

语言

502 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=Seventh International Symposium on Parallel Architectures, Algorithms and Programming"

共 505 条记录，以下是461-470 订阅

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

详细简洁

排序：

Logic semantics for a class of nondeterministic concurrent constraint logic programs

Logic semantics for a class of nondeterministic concurrent c...

引用

Proceedings of the international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： Leung, Ho-Fung Tong, Bo-Ming Chinese Univ of Hong Kong Hong Kong

Maher proposed the ALPS class of committed-choice languages, which can be seen as a further development of concurrent logic programming languages in the direction of CLP(X). However, due to the lack of OR-nondeterminism, ALPS is a class of declarative algorithmic programming languages. In this paper, we present the FENG class of concurrent constraint logic programming languages and give its soundness and completeness results. With the novel feature of constraint based nondeterminism, FENG enriches the semantics of the ALPS and CLP(X). One of the features of FENG is that it supports constraint based nondeterminism. For some class of programs, this much improves the efficiency of program execution. FENG reveals a direction for data-parallel implementations of constraint logic programs. This has been confirmed by our experience in design and implementation of Firebird, a restriction of FENG, on the massively parallel machine DECmpp.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

NCIC's research and development in parallel processing

NCIC's research and development in parallel processing

引用

Proceedings of the international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： Li, Guo-jie Beijing China

National Research Center for Intelligent Computing Systems (NCIC for short) is the unique national hi-tech R/D center for advanced computing technology in China. In this overview we first introduce China's Hi-Tech R&D Programme (863 programme) and NCIC, then we reported the state of the art of parallel processing at NCIC. This article discussed the key technologies being exploited by the representative Chinese R&D teams and the wide applications of parallel computers in China. The key technologies in parallel processing we are attacking and reported in this article include wormhole routing and other efficient switching techniques, the Easter series MPP systems, the Dawning series symmetric and multi-thread multiprocessor, parallel operating systems and parallel file systems, parallel compiler and efficient programming tool. The future research directions at NCIC are also mentioned.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Greedy task clustering heuristic that is provably good

Greedy task clustering heuristic that is provably good

引用

Proceedings of the international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： Palis, Michael A. Liou, Jing-Chiou Wei, David S.L. New Jersey Inst of Technology Newark United States

A simple greedy algorithm is presented for task clustering with duplication (or recomputation) which, for a task graph with arbitrary granularity, produces a schedule whose makespan is at most twice optimal. Furthermore, the quality of the schedule improves as the granularity of the task graph increases. For example, if the granularity is at least 1/2 , the makespan of the schedule is at most 5/3 times optimal. For a task graph with n tasks and e inter-task communication constraints, the algorithm runs in O(n(n lg n + e)) time, which is n times faster than the currently best known algorithm for this problem. Similar algorithms are developed that produce: (1) optimal schedules for coarse grain graphs;(2) 2-optimal schedules for trees with no task duplication;and (3) optimal schedules for coarse grain trees with no task duplication.

关键词： Heuristic programming

来源：评论

学校读者我要写书评

暂无评论

Optimal parallel algorithm for edge-coloring partial k-trees with bounded degrees

Optimal parallel algorithm for edge-coloring partial k-trees...

引用

international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： Xiao Zhou T. Nishizeki Department of System Information Sciences Graduate School of Information Sciences University of Tohoku Sendai Japan

Many combinatorial problems can be efficiently solved for partial k-trees (graphs of treewidth bounded by k). The edge-coloring problem is one of the well-known combinatorial problems for which no NC algorithms have been obtained for partial k-trees. This paper gives an optimal and first NC parallel algorithm to find an edge-coloring of any given partial k-tree using a minimum number of colors if k and the maximum degree /spl Delta/ are bounded.< >

关键词： parallel algorithms Tree graphs Dynamic programming Concurrent computing Partitioning algorithms Polynomials Knee Logic Heuristic algorithms parallel architectures

来源：评论

学校读者我要写书评

暂无评论

A logic semantics for a class of nondeterministic concurrent constraint logic programs

A logic semantics for a class of nondeterministic concurrent...

引用

international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： Ho-Fung Leung Bo-Ming Tong Department of Computer Science Chinese University of Hong Kong Sha Tin Hong Kong China Department of Computer Science University of Arizona Tucson Tucson AZ USA

ISBN: (纸本)0818665076

M.J. Maher (1987) proposed the ALPS class of committed-choice languages, which can be seen as a further development of concurrent logic programming languages in the direction of CLP(X). However, due to the lack of OR-nondeterminism, ALPS is a class of declarative algorithmic programming languages. In this paper, we present the FENG class of concurrent constraint logic programming languages and give its soundness and completeness results. With the novel feature of constraint based nondeterminism, FENG enriches the semantics of the ALPS and CLP(X). One of the features of FENG is that it supports constraint bared nondeterminism. For some class of programs, this improves the efficiency of program execution. FENG reveals a direction for data-parallel implementations of constraint logic programs. This has been confirmed by our experience in design and implementation of Firebird, a restriction of FENG, on the massively parallel machine DECmpp.< >

关键词： Logic programming Computer science Electronic mail Natural languages Computer languages Concurrent computing Yarn parallel machines Delay Modems

来源：评论

学校读者我要写书评

暂无评论

Research on programming languages for massively parallel processing

Research on programming languages for massively parallel pro...

引用

international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： M. Amamiya M. Satoh A. Makinouchi K. Hagiwara T. Yuasa H. Aida K. Ueda K. Araki T. Ida T. Baba Ministry of Education Science and Culture Kyushu University Japan Ministry of Education Science and Culture University of Tohoku Japan Ministry of Education Science and Culture Osaka University Japan Ministry of Education Science and Culture Toyohashi University of Technology Japan Ministry of Education Science and Culture University of Tokyo Japan Ministry of Education Science and Culture Waseda University Japan Ministry of Education Science and Culture Nara Institute of Science and Technology Japan Ministry of Education Science and Culture University of Tsukuba Japan Ministry of Education Science and Culture Utsunomiya University Japan

We are pursuing research on programming languages for massively parallel processing. The objective of the research is the following two points according to the top level research objective of our Massively parallel Processing Principle Research Project: firstly to develop a prototype of a massively parallel programming language and compiler system, which is competitive to commercial language systems like data parallel C, Fortran D or HPF; and secondly to explore a massively parallel computation model, and design an experimental language as an implementation of the newly explored massively parallel computation model.< >

关键词： Computer languages parallel processing Concurrent computing Computational modeling Object oriented modeling parallel programming parallel languages Information processing Educational programs Prototypes

来源：评论

学校读者我要写书评

暂无评论

NCIC's research and development in parallel processing

NCIC's research and development in parallel processing

引用

international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： Guo-Jie Li National Research Center of Intelligent Computer Systems China

ISBN: (纸本)0818665076

National Research Center for Intelligent Computing Systems (NCIC) is the unique national hi-tech R/D center for advanced computing technology in China. We introduce China's Hi- Tech R&D Programme (863 programmes) and NCIC, and we report on the state of the art of parallel processing at NCIC. The article discusses the key technologies being exploited by the representative Chinese R & D teams and the wide applications of parallel computers in China. The key technologies in parallel processing we are attacking are reported and include wormhole routing and other efficient switching techniques, the Easter series, MPP systems, the Dawning series symmetric and multi-thread multiprocessor, parallel operating systems and parallel file systems, parallel compilers and efficient programming tools. Future research directions at NCIC are also mentioned.< >

关键词： Research and development parallel processing Intelligent systems Application software Computer applications Concurrent computing Routing Operating systems File systems Program processors

来源：评论

学校读者我要写书评

暂无评论

Comprehensive operating system for highly parallel machine

Comprehensive operating system for highly parallel machine

引用

international symposium on parallel architectures, algorithms and Networks (ISPAN)

作者： N. Saito H. Tokuda T. Hagino S. Oikawa A. Yonezawa S. Matsuoka S. Inohara Y. Tada H. Sunahara S. Ishii E. Shibayama Y. Shinoda School of Environmental Information Keio University Graduate School of Science University of Tokyo Graduate School of Information Systems University of Electro-Communications Graduate School of Information Science and Technology Tokyo Institute of Technology Japan Advanced Institute of Science and Technology Hokuriku

This paper describes the design and implementation of a comprehensive operating system (COS) for highly parallel machine. This is one of the research themes in the Japanese University Highly parallel Research Project supported by the Special Grant of the Research Funds of Ministry of Education. The target machine is called JUMP-1 originally developed in this project. Several design policies are discussed, and the user service classes are defined. COS architecture is based on the micro kernel, and it includes both Partition OS and Service OS. The development environment is also discussed briefly.< >

关键词： Operating systems parallel machines Kernel Application software Algorithm design and analysis Hardware Information systems Information science parallel programming parallel architectures

来源：评论

学校读者我要写书评

暂无评论

The Multicomputer Toolbox/spl minus/first-generation scalable libraries

The Multicomputer Toolbox/spl minus/first-generation scalabl...

引用

Annual Hawaii international Conference on System Sciences (HICSS)

作者： Skjellum Leung Smith Falgout Still Baldwin Computer Science Department & NSF Engineering Research Center Mississippi State University MS USA Northeast Parallel Architectures Center Syracuse University USA Numerical Mathematics Group Lawrence Livemore National Laboratory UK University of Illinois Urbana-Champaign USA

"First-generation" scalable parallel libraries have been achieved, and are maturing, within the Multicomputer Toolbox. The Toolbox includes sparse, dense, iterative linear algebra, a stiff ODE/DAE solver, and an open software technology for additional numerical algorithms. We have devised C-based strategies for useful classes of distributed data structures, including distributed matrices and vectors. The underlying Zip code message passing system has enabled process-grid abstractions of multicomputers, communication contexts, and process groups, all characteristics needed for building scalable libraries, and scalable application software. A data-distribution-independent approach to building scalable libraries is needed so that applications do not unnecessarily have to redistribute data at high expense. We discuss the strategy used for implementing data-distribution-independent mappings. We also indicate that data-distribution-independent algorithms are sometimes more efficient than fixed-data-distribution counterparts, because redistribution of data can be avoided, and that this question is strongly application dependent.< >

关键词： parallel machines parallel programming Distributed computing Data structures Linear algebra

来源：评论

学校读者我要写书评

暂无评论

A parallel object-oriented framework for stencil algorithms 2

A parallel object-oriented framework for stencil algorithms

引用

2nd international symposium on High Performance Distributed Computing, HPDC 1993

作者： Karpovich, J.F. Judd, M. Strayer, W.T. Grimshaw, A.S. Dept. of Comput. Sci. Virginia Univ. CharlottesvilleVA United States

ISBN: (纸本)0818639008

The authors present an object-oriented framework for constructing parallel implementations of stencil algorithms. This framework simplifies the development process by encapsulating the common aspects of stencil algorithms in a base stencil class so that application-specific derived classes can be easily defined via inheritance and overloading. In addition, the stencil base class contains mechanisms for parallel execution. The result is a high-performance, parallel, application-specific stencil class. The authors present the design rationale for the base class and illustrate the derivation process by defining two subclasses, an image convolution class and a PDE solver. The classes have been implemented in Mentat, an object-oriented parallel programming system that is available on a variety of platforms. Performance results are given for a network of Sun SPARCstation IPCs. © 1993 IEEE.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共51页 << < 42 43 44 45 46 47 48 49 50 51 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：