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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

46 篇 期刊文献
44 篇 会议
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

87 篇 工学
- 84 篇 计算机科学与技术...
- 22 篇 电气工程
- 17 篇 软件工程
- 2 篇 信息与通信工程
- 1 篇 控制科学与工程
4 篇 理学
- 4 篇 数学
2 篇 管理学
- 2 篇 管理科学与工程(可...

主题

91 篇 parallel program...
7 篇 mpi
7 篇 high performance...
5 篇 parallel program...
5 篇 runtime systems
5 篇 hpc
5 篇 openmp
4 篇 message passing
4 篇 openacc
4 篇 heterogeneous co...
4 篇 cloud computing
4 篇 kokkos
3 篇 component models
3 篇 productivity
3 篇 c plus plus meta...
3 篇 active messages
3 篇 programming
3 篇 signal processin...
3 篇 nested paralleli...
3 篇 embedded systems

机构

4 篇 barcelona superc...
3 篇 evidence srl pis...
3 篇 univ politecn ca...
2 篇 barcelona superc...
2 篇 chapman univ ora...
2 篇 csic iiia artifi...
2 篇 thales res & tec...
2 篇 queens univ belf...
2 篇 swiss fed inst t...
2 篇 nvidia corp sant...
2 篇 univ tennessee c...
2 篇 oak ridge natl l...
2 篇 bsc barcelona
1 篇 univ pisa dipart...
1 篇 univ bologna iis...
1 篇 univ politecn ca...
1 篇 barcelona superc...
1 篇 seoul natl univ ...
1 篇 univ calif davis...
1 篇 sky comput. chel...

作者

8 篇 badia rosa m.
5 篇 labarta jesus
4 篇 gai paolo
4 篇 marongiu andrea
4 篇 ayguade eduard
3 篇 marozzo fabrizio
3 篇 denny joel
3 篇 gonzalez-tallada...
3 篇 quinones eduardo
3 篇 benini luca
3 篇 talia domenico
3 篇 vetter jeffrey s...
3 篇 jimenez-gonzalez...
3 篇 scordino claudio
3 篇 martorell xavier
3 篇 tejedor enric
3 篇 lee seyong
3 篇 filgueras antoni...
3 篇 valero-lara pedr...
3 篇 alvarez carlos

语言

89 篇 英文
1 篇 德文
1 篇 中文

检索条件"主题词=PARALLEL PROGRAMMING MODELS"

共 91 条记录，以下是51-60 订阅

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

详细简洁

排序：

Concurrent Kleene Algebra with Tests 1

引用

14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS)

作者： Jipsen, Peter Chapman Univ Orange CA 92866 USA

ISBN: (数字)9783319062518

ISBN: (纸本)9783319062501;9783319062518

Concurrent Kleene algebras were introduced by Hoare, Moller, Struth and Wehrman in [HMSW09, HMSW09a, HMSW11] as idem-potent bisemirings that satisfy a concurrency inequation and have a Kleene-star for both sequential and concurrent composition. Kleene algebra with tests (KAT) were defined earlier by Kozen and Smith [KS97]. Concurrent Kleene algebras with tests (CKAT) combine these concepts and give a relatively simple algebraic model for reasoning about operational semantics of concurrent programs. We generalize guarded strings to guarded series-parallel strings, or gsp-strings, to provide a concrete language model for CKAT. Combining nondeterministic guarded automata [Koz03] with branching automata of Lodaya andWeil [LW00] one obtains a model for processing gsp-strings in parallel, and hence an operational interpretation for CKAT. For gsp-strings that are simply guarded strings, the model works like an ordinary nondeterministic guarded automaton. If the test algebra is assumed to be {0, 1} the language model reduces to the regular sets of bounded-width sp-strings of Lodaya and Weil. Since the concurrent composition operator distributes over join, it can also be added to relation algebras with transitive closure to obtain the variety CRAT. We provide semantics for these algebras in the form of coalgebraic arrow frames expanded with concurrency.

关键词： Concurrent Kleene algebras Kleene algebras with tests parallel programming models series-parallel strings relation algebras with transitive closure

来源：评论

学校读者我要写书评

暂无评论

Scaling Crowd Simulations in a GPU Accelerated Cluster 6th

Scaling Crowd Simulations in a GPU Accelerated Cluster

引用

6th International Conference on Supercomputing in Mexico (ISUM)

作者： Perez, Hugo Hernandez, Benjamin Rudomin, Isaac Ayguade, Eduard Univ Politecn Cataluna BarcelonaTECH Barcelona Spain Barcelona Supercomp Ctr Barcelona Spain Oak Ridge Natl Lab Oak Ridge TN USA

ISBN: (纸本)9783319322438;9783319322421

Programmers need to combine different programming models and fully optimize their codes to take advantage of various levels of parallelism available in heterogeneous clusters. To reduce the complexity of this process, we propose a task-based approach for crowd simulation using OmpSs, CUDA and MPI, which allows taking the full advantage of computational resources available in heterogeneous clusters. We also present the performance analysis of the algorithm under different workloads executed on a GPU Cluster.

关键词： Crowds Simulation Visualization parallel programming models Accelerators Heterogeneous architecture GPU cluster HPC

来源：评论

学校读者我要写书评

暂无评论

A container-iterator parallel programming model

引用

7th International Conference on parallel Processing and Applied Mathematics

作者： Zumbusch, Gerhard Univ Jena Inst Angew Math D-07743 Jena Germany

ISBN: (纸本)9783540681052

There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain specific programming models, a splitting into a distributed data container and parallel data iterators is proposed. Data distribution is implemented in application specific libraries. Data iterators are directly analysed and compiled automatically into parallel code. Target architectures of the source-to-source translation include shared (pthreads, Cell SPE), distributed memory (MPI) and hybrid programming styles. A model applications for grid based hierarchical numerical methods and an auto-parallelizing compiler are introduced.

关键词： parallel programming models automatic parallelization domain specific code generation parallel numerical methods multigrid MPI Posix threads Cell processor

来源：评论

学校读者我要写书评

暂无评论

FPGA Framework Improvements for HPC Applications 22

FPGA Framework Improvements for HPC Applications

引用

22nd International Conference on Field Programmable Technology (ICFPT)

作者： Filgueras, Antonio Vidal, Miquel Jimenez-Gonzalez, Daniel Alvarez, Carlos Martorell, Xavier Univ Politecnica Catalunya Barcelona Spain Barcelona Supercomputing Ctr Barcelona Spain

ISBN: (纸本)9798350359114

In modern FPGA devices, place and route has become an increasingly difficult task due to an increase in resources and device complexity. This results in an exponential increase of implementation possibilities. Such a huge search space causes tools to have a hard time providing a good solution. This is even more challenging in chiplet-based devices due to their topology. In the same way, off-chip memory resources have grown both in size and number of modules. These resources are presented to the user as raw memory interfaces requiring the user to manage how accelerator kernels access off-chip memory to make effective use of the available bandwidth. Efficient usage of memory resources becomes a critical challenge as the more computational resources are added to a design the more pressure they impose on the memory subsystem. This work proposes new features to the OmpSs@FPGA programming model in order to mitigate these issues in a transparent way for programmers.

关键词： Cholesky decomposition design and automation tools FPGA FPGA design tools high-level synthesis HLS HPC matrix multiply n-body ompss parallel programming models power efficiency spectra

来源：评论

学校读者我要写书评

暂无评论

ExaMPI: A Modern Design and Implementation to Accelerate Message Passing Interface Innovation 6th

ExaMPI: A Modern Design and Implementation to Accelerate Mes...

引用

6th Latin American Conference on High Performance Computing (CARLA)

作者： Skjellum, Anthony Ruefenacht, Martin Sultana, Nawrin Schafer, Derek Laguna, Ignacio Mohror, Kathryn Univ Tennessee Chattanooga TN 37403 USA Auburn Univ Auburn AL 36849 USA Univ Edinburgh EPCC Edinburgh Midlothian Scotland Tennessee Technol Univ Cookeville TN USA Lawrence Livermore Natl Lab Livermore CA USA

ISBN: (纸本)9783030410056;9783030410049

The difficulty of deep experimentation with Message Passing Interface (MPI) implementations-which are quite large and complex-substantially raises the cost and complexity of proof-of-concept activities and limits the community of potential contributors to new and better MPI features and implementations alike. Our goal is to enable researchers to experiment rapidly and easily with new concepts, algorithms, and internal protocols for MPI, we introduce ExaMPI, a modern MPI-3.x subset with a robust MPI-4.x roadmap. We discuss design, early implementation, and ongoing utilization in parallel programming research, plus specific research activities enabled by ExaMPI. Architecturally, ExaMPI is a C++17-based library designed for modularity, extensibility, and understandability. The code base supports both native C++ threading with thread-safe data structures and a modular progress engine. In addition, the transport abstraction implements UDP, TCP, OFED verbs, and LibFabrics for high-performance networks. By enabling researchers with ExaMPI, we seek to accelerate innovations and increase the number of new experiments and experimenters, all while expanding MPI's applicability.

关键词： MPI Middleware architecture parallel programming models Performance portability Cost of portability

来源：评论

学校读者我要写书评

暂无评论

Enabling Scalable and Fine-Grained Nested parallelism on Embedded Many-Cores 9

Enabling Scalable and Fine-Grained Nested Parallelism on Emb...

引用

9th IEEE International Symposium on Embedded Multicore/Manycore Systems-on-Chip (MCSoC)

作者： Capotondi, Alessandro Marongiu, Andrea Benini, Luca Univ Bologna DEI I-40126 Bologna Italy Univ Bologna IIS I-40126 Bologna Italy Swiss Fed Inst Technol Zurich ETHZ Zurich Switzerland

ISBN: (纸本)9781479986705

Current high-end embedded systems are designed as heterogeneous systems-on-chip (SoCs), where a general-purpose host processor is coupled to a programmable manycore accelerator (PMCA). Such PMCAs typically leverage hierarchical interconnect and distributed memory with non-uniform access (NUMA). Nested parallelism is a convenient programming abstraction for large-scale cc-NUMA systems, which allows to hierarchically (and dynamically) create multiple levels of fine-grained parallelism whenever it is available. Available implementations for cc-NUMA systems introduce large overheads for nested parallelism management, which cannot be tolerated due to the extremely fine-grained nature of embedded parallel workloads. In particular, creating a team of parallel threads has a cost that increases linearly with the number of threads, which is inherently non scalable. This work presents a software cache mechanism for frequently-used parallel team configurations to speed up parallel thread creation overheads in PMCA systems. When a configuration is found in the cache the cost for parallel team creation has a constant time, providing a scalable mechanism. We evaluated our support on the STMicroelectronics STHORM many-core. Compared to the state-of-the art, our solution shows that: i) the cost for parallel team creation is reduced by up to 67%;ii) the tangible effect on real ultra-fine-grained parallel kernels is a speedup of up to 80%.

关键词： cache storage embedded systems multiprocessing systems parallel programming system-on-chip PMCA STMicroelectronics STHORM many-core SoC distributed memory with nonuniform access embedded many-cores fine-grained parallelism heterogeneous systems-on-chip nested parallelism parallel team configuration parallel thread creation overhead programmable manycore accelerator programming abstraction software cache mechanism Fabrics Instruction sets Message systems parallel processing programming Recruitment Embedded Many-Core Architectures OpenMP parallel programming models Embedded systems Computer based information systems parallel programming instruction sets system-on-chip Multiprocessing systems cache storage parallel PROCESSING (COMPUTERS) programming Textile fabrics parallelism fabric Synclitism THREADS parallel Lines

来源：评论

学校读者我要写书评

暂无评论

Deterministic Synchronization of Multi-Threaded Programs with Operational Transformation 28

Deterministic Synchronization of Multi-Threaded Programs wit...

引用

28th IEEE International parallel & Distributed Processing Symposium Workshops (IPDPSW)

作者： Boelmann, Christopher Schwittmann, Lorenz Weis, Torben Univ Duisburg Essen Distributed Syst Grp Duisburg Germany

ISBN: (纸本)9781479941162

Today's mainstream programming language concepts originate from a time when processes were executed in a single thread and the outcome of computation was deterministic. To deal with multi-threaded execution synchronization mechanisms have to be used to restrict parallel execution to a point where the program produces correct results for all possible interleaving executions. This is constantly leading to deadlocks and race conditions, i.e. undesired non-deterministic behavior. In this paper, we propose a new set of synchronization primitives, Spawn and Merge, that yield deterministic program execution for multi-threaded programs. This means that there are no race conditions when using this synchronization technique and deadlocks can be avoided right away. Concurrent access to data structures is resolved using operational transformation. Using two example scenarios we show how these synchronization primitives can be used and that they are equivalent to semaphores. Furthermore, we evaluate our framework by implementing a network simulator. We show that despite a constant overhead, the performance is comparable to using standard synchronization primitives while yielding deterministic results.

关键词： Deterministic Synchronization parallel programming models Spawn and Merge Operational Transformation

来源：评论

学校读者我要写书评

暂无评论

Managing Heterogeneous Resources in HPC Systems 18

Managing Heterogeneous Resources in HPC Systems

引用

9th Workshop on parallel programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM)

作者： Agosta, Giovanni Fornaciari, William Massari, Giuseppe Pupykina, Anna Reghenzani, Federico Zanella, Michele Politecn Milan Dipartimento Elettron Informaz & Bioingn Milan Italy

ISBN: (纸本)9781450364447

To sustain performance while facing always tighter power and energy envelopes, High Performance Computing (HPC) is increasingly leveraging heterogeneous architectures. This poses new challenges: to efficiently exploit the available resources, both in terms of hardware and energy, resource management must support a wide range of different heterogeneous devices and programming models that target different application domains. We present a strategy for resource management and programming model support for heterogeneous accelerators for HPC systems with requirements targeting performance, power and predictability. We show how resource management can, in addition to allowing multiple applications to share a set of resources, reduce the burden on the application developer and improve the efficiency of resource allocation.

关键词： parallel programming models Resource Management Heterogeneous Architectures High Performance Computing

来源：评论

学校读者我要写书评

暂无评论

Accelerating Octo-Tiger: Stellar Mergers on Intel Knights Landing with HPX 18

Accelerating Octo-Tiger: Stellar Mergers on Intel Knights La...

引用

International Workshop on OpenCL (IWOCL)

作者： Pfander, David Daiss, Gregor Marcello, Dominic Kaiser, Hartmut Pflueger, Dirk Univ Stuttgart Stuttgart Germany Louisiana State Univ Baton Rouge LA 70803 USA

ISBN: (纸本)9781450364393

The optimization of performance of complex simulation codes with high computational demands, such as Octo-Tiger, is an ongoing challenge. Octo-Tiger is an astrophysics code simulating the evolution of star systems based on the fast multipole method using adaptive octrees as the central data structure. Octo-Tiger was implemented using high-level C++ libraries, specifically HPX and Vc, which allows its use on different hardware platforms. Recently, we have demonstrated excellent scalability in a distributed setting. In this paper, we study the node-level performance of Octo-Tiger on an Intel Knights Landing platform. We focus on Octo-Tiger's fast multipole method, as it is the computationally most demanding component. By using HPX and a futurization approach, we can efficiently traverse the adaptive octrees in parallel. On the core-level, threads process sub-grids using multiple 1074-element stencils. In numerical experiments, simulating the time evolution of a rotating star on an Intel Xeon Phi 7250 Knights Landing processor, Octo-Tiger shows good parallel efficiency. For the fast multipole algorithm, we achieved up to 408 GFLOPS, resulting in a speedup of 2x compared to a 24-core Skylake-SP platform, using the same high-level abstractions.

关键词： compute accelerators performance engineering parallel programming models high-level abstractions astrophysical simulations

来源：评论

学校读者我要写书评

暂无评论

CSPACER: A Reduced API Set Runtime for the Space Consistency Model 2021

CSPACER: A Reduced API Set Runtime for the Space Consistency...

引用

International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia)

作者： Ibrahim, Khaled Z. Lawrence Berkeley Natl Lab Computat Res Div Berkeley CA 94720 USA

ISBN: (纸本)9781450388429

We present our design and implementation of a runtime for the Space Consistency model. The Space Consistency model is a generalized form of the full-empty bit synchronization for distributed memory programming, where a memory region is associated with a counter that determines its consistency and readiness for consumption. The model allows for efficient implementation of point-to-point data transfers and collective communication primitives as well. We present the interface design, implementation details, and performance results on Cray XC systems. Our runtime adopts a reduced API design to provide low-overhead initiation and processing of communication primitives, enable threaded execution of runtime functions, and provide efficient pipelining, thus improving the computation-communication overlap. We show the performance benefits of using this runtime both at the microbenchmark level and in application settings.

关键词： Runtime Systems parallel programming models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：