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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

164 篇 期刊文献
105 篇 会议
5 篇 学位论文
1 册 图书

馆藏范围

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

日期分布

学科分类号

255 篇 工学
- 188 篇 计算机科学与技术...
- 114 篇 软件工程
- 86 篇 电气工程
- 17 篇 信息与通信工程
- 13 篇 控制科学与工程
- 6 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 电子科学与技术（可...
- 2 篇 仪器科学与技术
- 2 篇 石油与天然气工程
- 2 篇 核科学与技术
- 1 篇 冶金工程
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 航空宇航科学与技...
- 1 篇 环境科学与工程（可...
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 网络空间安全
24 篇 理学
- 13 篇 数学
- 6 篇 物理学
- 3 篇 化学
- 3 篇 生物学
- 2 篇 天文学
- 1 篇 地理学
- 1 篇 系统科学
16 篇 管理学
- 15 篇 管理科学与工程(可...
- 2 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
1 篇 文学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

275 篇 distributed prog...
21 篇 parallel program...
19 篇 distributed syst...
16 篇 concurrent progr...
13 篇 concurrency
10 篇 programming lang...
9 篇 java
9 篇 distributed appl...
9 篇 computer science...
8 篇 synchronization
7 篇 mapreduce
7 篇 marshalling
7 篇 scala
7 篇 cloud computing
7 篇 scientific compu...
6 篇 modules
6 篇 actor model
6 篇 erlang
6 篇 serialisation
5 篇 parallel process...

机构

4 篇 ecole polytech f...
4 篇 imperial coll lo...
3 篇 gran sasso sci i...
3 篇 univ ciencias & ...
3 篇 kth royal inst t...
3 篇 univ calif davis...
2 篇 sharda univ dept...
2 篇 technion israel ...
2 篇 tech univ darmst...
2 篇 ibm corp thomas ...
2 篇 typesafe inc ca ...
2 篇 indiana univ per...
2 篇 tech univ darmst...
2 篇 univ pisa comp s...
2 篇 univ cambridge c...
2 篇 univ kentucky de...
2 篇 imt inst adv stu...
2 篇 vrije univ bruss...
2 篇 univ maryland co...
2 篇 lulea univ techn...

作者

8 篇 haller philipp
5 篇 yoshida nobuko
5 篇 salvaneschi guid...
4 篇 weisenburger pas...
4 篇 miller heather
3 篇 duong tan
3 篇 broll brian
3 篇 lee huamani enri...
3 篇 song kunfang
3 篇 de meuter wolfga...
3 篇 tonci nicolo
3 篇 odersky martin
3 篇 maroti miklos
3 篇 roman-gonzalez a...
3 篇 neykova rumyana
3 篇 andrews gr
3 篇 de bosschere k
3 篇 ciancarini p
3 篇 cook rp
3 篇 ledeczi akos

语言

256 篇 英文
18 篇 其他
1 篇 中文

检索条件"主题词=distributed programming"

共 275 条记录，以下是161-170 订阅

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

详细简洁

排序：

InContext: Simple Parallelism for distributed Applications 11

InContext: Simple Parallelism for Distributed Applications

引用

20th International Symposium on High Performance distributed Computing

作者： Yoo, Sunghwan Lee, Hyojeong Killian, Charles Kulkarni, Milind Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA

ISBN: (纸本)9781450305525

As networking services, such as DHTs, provide increasingly complex functionality, providing acceptable performance will require parallelizing their operations on individual nodes. Unfortunately, the event-driven style in which these applications have traditionally been written makes it difficult to reason about parallelism, and providing safe, efficient parallel implementations of distributed systems remains a challenge. In this paper, we introduce a declarative programming model based on contexts, which allows programmers to specify the sharing behavior of event handlers. Programs that adhere to the programming model can be safely parallelized according to an abstract execution model, with parallel behavior that is well-defined with respect to the expected sequential behavior. The declarative nature of the programming model allows conformance to be captured as a safety property that can be verified using a model checker. We develop a prototype implementation of our abstract execution model and show that distributed applications written in our programming model can be automatically and efficiently parallelized. To recover additional parallelism, we present an optimization to the implementation based on state snapshots that permits more events to proceed in parallel. We evaluate our prototype implementation through several case studies and demonstrate significant speedup over optimized sequential implementations.

关键词： distributed programming Mace

来源：评论

学校读者我要写书评

暂无评论

Performance Improvements of Parallel Applications thanks to MPI-4.0 Hints 34

Performance Improvements of Parallel Applications thanks to ...

引用

34th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

作者： Moraru, Maxim Roussel, Adrien Taboada, Hugo Jaillet, Christophe Perache, Marc Krajecki, Michael Univ Reims LICIIS F-51097 Reims France CEA DAM DIF LRC DIGIT F-91297 Arpajon France Univ Paris Saclay CEA Lab Informat Haute Peiformance Calcul & Simulat Bruyeres Le Chatel France CEA DAM DIF F-91297 Arpajon France Univ Reims LRC DIGIT LICIIS F-51097 Reims France

ISBN: (数字)9781665451550

ISBN: (纸本)9781665451550

HPC systems have experienced significant growth over the past years, with modern machines having hundreds of thousands of nodes. Message Passing Interface (MPI) is the de facto standard for distributed computing on these architectures. On the MPI critical path, the message-matching process is one of the most time-consuming operations. In this process, searching for a specific request in a message queue represents a significant part of the communication latency. So far, no miracle algorithm performs well in all cases. This paper explores potential matching specializations thanks to hints introduced in the latest MPI 4.0 standard. We propose a hash-table-based algorithm that performs constant time message-matching for no wildcard requests. This approach is suitable for intensive point-to-point communication phases in many applications (more than 50% of CORAL benchmarks). We demonstrate that our approach can improve the overall execution time of real HPC applications by up to 25%. Also, we analyze the limitations of our method and propose a strategy for identifying the most suitable algorithm for a given application. Indeed, we apply machine learning techniques for classifying applications depending on their message pattern characteristics.

关键词： HPC distributed programming MPI Matching MPI 4.0 Sessions

来源：评论

学校读者我要写书评

暂无评论

distributed image processing tool for a WindowsNT network

Distributed image processing tool for a WindowsNT network

引用

Conference on Parallel and distributed Methods for Image Processing

作者： Fung, YF Heung, TH Ercan, MF Hong Kong Polytechnic Univ. (Hong Kong)

ISBN: (纸本)0819425885

distributed computing provides a cost-effective solution for computation intensive problems. With the emerging of networking operating system for personal computer (PC), such as WindowsNT, it is now feasible to develop distributed computing on a network of PCs. In addition, the computing power delivered by a PC is kept increasing whilst the cost is decreasing. Implying that the performance/cost factor for a PC is high and tile computing power delivered by the network is enormous. In this paper, we describe a software system which enables users to develop distributed computing program using the SPMD (Single Program Multiple Data) paradigm very quickly under the WindowsNT operating system. The programming model for the system is simple and a user can control the system through a graphical interface. The results show that our system provides a reasonable speedup in solving Image processing problems.

关键词： image processing distributed programming fast ethernet

来源：评论

学校读者我要写书评

暂无评论

Relating Functional and Imperative Session Types 23rd

Relating Functional and Imperative Session Types

引用

23rd International Conference on Coordination Models and Language (COORDINATION)

作者： Saffrich, Hannes Thiemann, Peter Univ Freiburg Freiburg Germany

ISBN: (纸本)9783030781415;9783030781422

Imperative session types provide an imperative interface to session-typed communication in a functional language. Compared to functional session type APIs, the program structure is simpler at the surface, but typestate is required to model the current state of communication throughout. Most work on session types has neglected the imperative approach. We demonstrate that the functional approach subsumes previous work on imperative session types by exhibiting a typing and semantics preserving translation into a system of linear functional session types. We further show that the untyped backwards translation from the functional to the imperative calculus is semantics preserving. We restrict the type system of the functional calculus such that the backwards translation becomes type preserving. Thus, we precisely capture the difference in expressiveness of the two calculi and conclude that the lack of expressiveness in the imperative calculus is solely due to its type system.

关键词： Session types distributed programming Translation

来源：评论

学校读者我要写书评

暂无评论

Modified Time Stepping Method for Field-Circuit Problems Based on Vector Magnetic Potential

Modified Time Stepping Method for Field-Circuit Problems Bas...

引用

International Symposium on Electrodynamic and Mechatronic System (SELM)

作者： Zimon, J. Strzelczyk, P. Opole Univ Technol Dept Ind Elect Engn Fac Elect Engn Automat & Informat PL-45758 Opole Poland

ISBN: (纸本)9781467355902;9781467355889

The aim of this project is to develop an application which allows the user to automatize solving problems based on differential equations. The user of the application which was created especially for this thesis should have the possibility of defining equations by the graphical block diagramming interface. The application includes two different kinds of solving methods: local and distributed one. In these two cases every part of solving algorithm (which can work independently) is parallelized. The FEMM program was included in the solver module as an external one. A modification of FEMM program source has been done. Thus, the new LUA language features (shared memory and sockets communication commands) have been added.

关键词： numerical calculations field-circuit analysis parallel programming distributed programming advanced object-oriented programming techniques

来源：评论

学校读者我要写书评

暂无评论

distributed implementation of a heterogeneous simulation of urban road traffic

Distributed implementation of a heterogeneous simulation of ...

引用

19th European Conference on Modelling and Simulation (ECMS 2005)

作者： Avram, C Boel, R Tech Univ Cluj Napoca Cluj Napoca 400027 Romania

ISBN: (纸本)1842331159

Efficient control of urban traffic requires the implementation of a sufficiently accurate model allowing prediction of the effects of various control actions (such as adaptation of red-green phases at different intersections). Given the size of the plant it is important that one can use a distributed implementation of this simulation model. The computational efficiency is also improved by using a heterogeneous model, where some parts of the network are represented by a macroscopic model, other parts by a microscopic model. Long road sections with fairly homogeneous traffic conditions are represented by time driven macroscopic models describing the evolution over time of flow, speed and density of vehicles in different locations. In other parts of the plant it is more efficient to use event driven microscopic models representing the times at which individual cars cross certain boundaries. This is the case for short sections of road and for intersections. This paper presents a Java implementation of such a modular distributed simulator for a large system built up from many interacting components of long road segments, short road segments, and intersections, together with the boundary conditions at the edges of the plant. Each component represents some randomness in the evolution of the plant. We also discuss how to connect time driven and event driven components to each other in a computationally efficient way.

关键词： road traffic models road traffic simulation distributed programming

来源：评论

学校读者我要写书评

暂无评论

CONTENTS AND METHODOLOGY OF MIDDLEWARE programming FOR DISTANCE LEARNING IN MASTER PROGRAMS

CONTENTS AND METHODOLOGY OF MIDDLEWARE PROGRAMMING FOR DISTA...

引用

1st International Conference on Computer Supported Education

作者： Garcia-Sanchez, Felipe Garcia-Sanchez, Antonio-Javier Garcia-Haro, Joan Tech Univ Cartagena Dept Informat Technol & Commun Cartagena Spain

ISBN: (纸本)9789898111821

This paper deals with a well-known problem, the learning of distributed programming languages, especially when they are included in distance programs. In particular, the course is focused on middleware learning in a master program, in which students that access to it have heterogeneous programming level and skills. Therefore, a real scenario and a real case study are presented, where students must rationalize their effort. An emphasis is placed on those students that offer more weaknesses. Moreover, this paper presents the students evaluation process, and summarizes the results obtained after the course had been developed.

关键词： distributed programming Distance Learning Master Program

来源：评论

学校读者我要写书评

暂无评论

NNexus: towards an automatic linker for a massively-distributed collaborative corpus

NNexus: towards an automatic linker for a massively-distribu...

引用

International Conference on Collaborative Computing

作者： Gardner, James Krowne, Aaron Xiong, Li Emory Univ Dept Math & Comp Sci Atlanta GA 30322 USA Emory Univ Woodruff Lib Atlanta GA 30322 USA

ISBN: (纸本)9781424404285

Collaborative online encyclopedias such as Wikipedia and PlanetMath are becoming increasingly popular. In order to understand an article in a corpus a user must understand the related and underlying concepts through linked articles. In this paper, we introduce NNexus, a generalization of the automatic linking component of *** and the first system that automates the process of linking encyclopedia entries into a semantic network of concepts. We discuss the challenges, present the conceptual models as well as specific mechanisms of NNexus system, and discuss some of our ongoing and completed works.

关键词： Internet distributed programming groupware program compilers NNexus *** Wikipedia automatic linker collaborative online encyclopedias massively-distributed collaborative corpus

来源：评论

学校读者我要写书评

暂无评论

ACS from development to operations 4

ACS from development to operations

引用

Conference on Software and Cyberinfrastructure for Astronomy IV

作者： Caproni, Alessandro Colomer, Pau Jeram, Bogdan Sommer, Heiko Chiozzi, Gianluca Manas, Miguel M. European Southern Observ Karl Schwarschild Str 2 D-85748 Garching Germany GTD Syst & Software Engn Paseo Garcia Faria 17 E-08005 Barcelona Spain

ISBN: (纸本)9781510602052;9781510602069

The ALMA Common Software (ACS), provides the infrastructure of the distributed software system of ALMA and other projects. ACS, built on top of CORBA and Data Distribution Service (DDS) middleware, is based on a Component-Container paradigm and hides the complexity of the middleware allowing the developer to focus on domain specific issues. The transition of the ALMA observatory from construction to operations brings with it that ACS effort focuses primarily on scalability, stability and robustness rather than on new features. The transition came together with a shorter release cycle and a more extensive testing. For scalability, the most problematic area has been the CORBA notification service, used to implement the publisher subscriber pattern because of the asynchronous nature of the paradigm: a lot of effort has been spent to improve its stability and recovery from run time errors. The original bulk data mechanism, implemented using the CORBA Audio/Video Streaming Service, showed its limitations and has been replaced with a more performant and scalable DDS implementation. Operational needs showed soon the difference between releases cycles for Online software (i.e. used during observations) and Offline software, which requires much more frequent releases. This paper attempts to describe the impact the transition from construction to operations had on ACS, the solution adopted so far and a look into future evolution.

关键词： Alma Common Software CORBA distributed programming software infrastructure framework

来源：评论

学校读者我要写书评

暂无评论

CUDA-For-Clusters: A System for Efficient Execution of CUDA Kernels on Multi-core Clusters

引用

18th International Conference on Euro-Par Parallel Processing

作者： Prabhakar, Raghu Govindarajan, R. Thazhuthaveetil, Matthew J. Univ Calif Los Angeles Los Angeles CA 90095 USA Indian Inst Sci Supercomp Educ & Res Ctr Bangalore Karnataka India

ISBN: (纸本)9783642328206

Rapid advancements in multi-core processor architectures coupled with low-cost, low-latency, high-bandwidth interconnects have made clusters of multi-core machines a common computing resource. Unfortunately, writing good parallel programs that efficiently utilize all the resources in such a cluster is still a major challenge. Various programming languages have been proposed as a solution to this problem, but are yet to be adopted widely to run performance-critical code mainly due to the relatively immature software framework and the effort involved in re-writing existing code in the new language. In this paper, we motivate and describe our initial study in exploring CUDA as a programming language for a cluster of multi-cores. We develop CUDA-For-Clusters (CFC), a framework that transparently orchestrates execution of CUDA kernels on a cluster of multi-core machines. The well-structured nature of a CUDA kernel, the growing popularity, support and stability of the CUDA software stack collectively make CUDA a good candidate to be considered as a programming language for a cluster. CFC uses a mixture of source-to-source compiler transformations, a work distribution run-time and a light-weight software distributed shared memory to manage parallel executions. Initial results on running several standard CUDA benchmark programs achieve impressive speedups of up to 7.5X on a cluster with 8 nodes, thereby opening up an interesting direction of research for further investigation.

关键词： CUDA Multi-Cores distributed programming distributed Systems Clusters Software distributed Shared Memory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：