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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

692 篇 会议
64 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

630 篇 工学
- 567 篇 软件工程
- 506 篇 计算机科学与技术...
- 29 篇 控制科学与工程
- 23 篇 电子科学与技术（可...
- 11 篇 信息与通信工程
- 8 篇 电气工程
- 5 篇 机械工程
- 5 篇 生物医学工程（可授...
- 4 篇 生物工程
- 3 篇 动力工程及工程热...
- 3 篇 建筑学
- 3 篇 土木工程
- 2 篇 力学（可授工学、理...
- 2 篇 冶金工程
- 2 篇 农业工程
139 篇 理学
- 125 篇 数学
- 18 篇 系统科学
- 8 篇 统计学（可授理学、...
- 5 篇 生物学
- 3 篇 物理学
- 3 篇 化学
- 1 篇 大气科学
- 1 篇 地质学
46 篇 管理学
- 29 篇 管理科学与工程(可...
- 19 篇 工商管理
- 16 篇 图书情报与档案管...
5 篇 经济学
- 5 篇 应用经济学
5 篇 教育学
- 5 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 农学
- 2 篇 作物学
1 篇 医学

主题

78 篇 parallel process...
74 篇 performance
72 篇 parallel program...
49 篇 languages
48 篇 algorithms
35 篇 design
28 篇 logic programmin...
26 篇 parallel algorit...
25 篇 gpu
23 篇 computer program...
16 篇 computer program...
16 篇 functional progr...
15 篇 semantics
14 篇 parallel computi...
14 篇 concurrency
13 篇 theory
13 篇 parallel
12 篇 experimentation
12 篇 mpi
12 篇 verification

机构

14 篇 carnegie mellon ...
8 篇 indiana univ blo...
6 篇 univ of tokyo
5 篇 imdea software i...
4 篇 univ wisconsin d...
4 篇 univ chinese aca...
4 篇 univ illinois ur...
4 篇 swiss fed inst t...
4 篇 mit csail united...
4 篇 carnegie mellon ...
4 篇 shanghai jiao to...
4 篇 mit comp sci & a...
4 篇 rice university
4 篇 univ rochester r...
4 篇 purdue univ w la...
3 篇 tsinghua univ de...
3 篇 massachusetts in...
3 篇 ohio state univ ...
3 篇 carnegie mellon ...
3 篇 carnegie mellon ...

作者

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

语言

712 篇 英文
45 篇 其他
1 篇 葡萄牙文

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

共 758 条记录，以下是71-80 订阅

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

详细简洁

排序：

Advanced synchronization techniques for task-based runtime systems 21

Advanced synchronization techniques for task-based runtime s...

引用

26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021

作者： Álvarez, David Sala, Kevin Maroñas, Marcos Roca, Aleix Beltran, Vincenç Barcelona Supercomputing Center Barcelona Spain

ISBN: (纸本)9781450382946

Task-based programming models like OmpSs-2 and OpenMP provide a flexible data-flow execution model to exploit dynamic, irregular and nested parallelism. Providing an efficient implementation that scales well with small granularity tasks remains a challenge, and bottlenecks can manifest in several runtime components. In this paper, we analyze the limiting factors in the scalability of a task-based runtime system and propose individual solutions for each of the challenges, including a wait-free dependency system and a novel scalable scheduler design based on delegation. We evaluate how the optimizations impact the overall performance of the runtime, both individually and in combination. We also compare the resulting runtime against state of the art OpenMP implementations, showing equivalent or better performance, especially for fine-grained tasks. © 2021 acm.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

On the parallel I/O optimality of linear algebra kernels: Near-optimal LU factorization 21

On the parallel I/O optimality of linear algebra kernels: Ne...

引用

26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021

作者： Kwasniewski, Grzegorz Ben-Nun, Tal Ziogas, Alexandros Nikolaos Schneider, Timo Besta, MacIej Hoefler, Torsten Timo Schneider Maciej Besta Torsten Hoefler Department of Computer Science Eth Zurich Switzerland

ISBN: (纸本)9781450382946

Dense linear algebra kernels are fundamental components of many scientific computing applications. In this work we present a novel method of deriving parallel I/O lower bounds for this broad family of programs. Based on the X-Partitioning abstraction, our method explicitly captures inter-statement dependencies. Applying our analysis to LU factorization, we derive COnfLUX, an LU algorithm with the parallel I/O cost of N3/([EQUATION]) communicated elements per processor - only 1/3× over our established lower bound. We evaluate COnfLUX on various problem sizes, demonstrating empirical results that match our theoretical analysis, communicating less than Cray ScaLAPACK, SLATE, and the asymptotically-optimal CANDMC library. Running on 1,024 nodes of Piz Daint, COnfLUX communicates 1.6× less than the second-best implementation and is expected to communicate 2.1× less on a full-scale run on Summit. © 2021 Owner/Author.

关键词： Factorization

来源：评论

学校读者我要写书评

暂无评论

An ownership policy and deadlock detector for promises 21

An ownership policy and deadlock detector for promises

引用

26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021

作者： Voss, Caleb Sarkar, Vivek Georgia Institute of Technology United States

ISBN: (纸本)9781450382946

Task-parallel programs often enjoy deadlock freedom under certain restrictions, such as the use of structured join operations, as in Cilk and X10, or the use of asynchronous task futures together with deadlock-avoiding policies such as Known Joins or Transitive Joins. However, the promise, a popular synchronization primitive for parallel tasks, does not enjoy deadlock-freedom guarantees. Promises can exhibit deadlock-like bugs;however, the concept of a deadlock is not currently well-defined for promises. To address these challenges, we propose an ownership semantics in which each promise is associated to the task which currently intends to fulfill it. Ownership immediately enables the identification of bugs in which a task fails to fulfill a promise for which it is responsible. Ownership further enables the discussion of deadlock cycles among tasks and promises and allows us to introduce a robust definition of deadlock-like bugs for promises. Cycle detection in this context is non-trivial because it is concurrent with changes in promise ownership. We provide a lock-free algorithm for precise runtime deadlock detection. We show how to obtain the memory consistency criteria required for the correctness of our algorithm under TSO and the Java and C++ memory models. An evaluation compares the execution time and memory usage overheads of our detection algorithm on benchmark programs relative to an unverified baseline. Our detector exhibits a 12% (1.12×) geometric mean time overhead and a 6% (1.06×) geometric mean memory overhead, which are smaller overheads than in past approaches to deadlock cycle detection. © 2021 acm.

关键词： parallel programming

来源：评论

学校读者我要写书评

暂无评论

BiPart: A parallel and deterministic hypergraph partitioner 21

BiPart: A parallel and deterministic hypergraph partitioner

引用

26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021

作者： Maleki, Sepideh Agarwal, Udit Burtscher, Martin Pingali, Keshav The University of Texas Austin United States Texas State University United States

ISBN: (纸本)9781450382946

Hypergraph partitioning is used in many problem domains including VLSI design, linear algebra, Boolean satisfiability, and data mining. Most versions of this problem are NP-complete or NP-hard, so practical hypergraph partitioners generate approximate partitioning solutions for all but the smallest inputs. One way to speed up hypergraph partitioners is to exploit parallelism. However, existing parallel hypergraph partitioners are not deterministic, which is considered unacceptable in domains like VLSI design where the same partitions must be produced every time a given hypergraph is partitioned. In this paper, we describe BiPart, the first deterministic, parallel hypergraph partitioner. Experimental results show that BiPart outperforms state-of-the-art hypergraph partitioners in runtime and partition quality while generating partitions deterministically. © 2021 acm.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

DAPPLE: A pipelined data parallel approach for training large models 21

DAPPLE: A pipelined data parallel approach for training larg...

引用

26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021

作者： Fan, Shiqing Rong, Yi Meng, Chen Cao, Zongyan Wang, Siyu Zheng, Zhen Wu, Chuan Long, Guoping Yang, Jun Xia, Lixue Diao, Lansong Liu, Xiaoyong Lin, Wei Alibaba Group China

ISBN: (纸本)9781450382946

It is a challenging task to train large DNN models on sophisticated GPU platforms with diversified interconnect capabilities. Recently, pipelined training has been proposed as an effective approach for improving device utilization. However, there are still several tricky issues to address: improving computing efficiency while ensuring convergence, and reducing memory usage without incurring additional computing costs. We propose DAPPLE, a synchronous training framework which combines data parallelism and pipeline parallelism for large DNN models. It features a novel parallelization strategy planner to solve the partition and placement problems, and explores the optimal hybrid strategies of data and pipeline parallelism. We also propose a new runtime scheduling algorithm to reduce device memory usage, which is orthogonal to re-computation approach and does not come at the expense of training throughput. Experiments show that DAPPLE planner consistently outperforms strategies generated by PipeDream's planner by up to 3.23× speedup under synchronous training scenarios, and DAPPLE runtime outperforms GPipe by 1.6× speedup of training throughput and saves 12% of memory consumption at the same time. © 2021 acm.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

parallel binary code analysis 21

Parallel binary code analysis

引用

26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021

作者： Meng, Xiaozhu Anderson, Jonathon M. Mellor-Crummey, John Krentel, Mark W. Miller, Barton P. Milaković, Sran Department of Computer Science Rice University Houston TX United States Computer Sciences Department University of Wisconsin-Madison MadisonWI United States

ISBN: (纸本)9781450382946

Binary code analysis is widely used to help assess a program's correctness, performance, and provenance. Binary analysis applications often construct control flow graphs, analyze data flow, and use debugging information to understand how machine code relates to source lines, inlined functions, and data types. To date, binary analysis has been single-threaded, which is too slow for convenient use in performance tuning workflows where it is used to help attribute performance to complex applications with large binaries. This paper describes our design and implementation for accelerating the task of constructing control flow graphs (CFGs) from binaries by using multithreading. Prior research focuses on algorithms for analysis of challenging code constructs encountered while constructing CFGs, including functions sharing code, jump tables, non-returning functions, and tail calls. These algorithms are described from a program analysis perspective and are not suitable for direct parallel implementation. We abstract the task of constructing CFGs as repeated applications of several core CFG operations that include creating functions, basic blocks, and edges. We then derive CFG operation dependency, commutativity, and monotonicity. These operation properties guide our design of a new parallel analysis for constructing CFGs. Using 64 threads, we achieved as much as 25× speedup for constructing CFGs and 8× for a performance analysis tool that leverages our new analysis to recover program structure. © 2021 acm.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Stream-K: Work-Centric parallel Decomposition for Dense Matrix-Matrix Multiplication on the GPU 23

Stream-K: Work-Centric Parallel Decomposition for Dense Matr...

引用

Proceedings of the 28th acm sigplan Annual symposium on principles and practice of parallel programming

作者： Muhammad Osama Duane Merrill Cris Cecka Michael Garland John D. Owens University of California Davis NVIDIA Corporation

ISBN: (纸本)9798400700156

We introduce Stream-K, a work-centric parallelization of matrix multiplication (GEMM) and related computations in dense linear algebra. Whereas contemporary decompositions are primarily tile-based, our method operates by partitioning an even share of the aggregate inner loop iterations among physical processing elements. This provides a near-perfect utilization of computing resources, regardless of how efficiently the output tiling for any given problem quantizes across the underlying processing elements.

关键词： GPU matrix-multiplication load-balancing

来源：评论

学校读者我要写书评

暂无评论

Fast parallel Exact Inference on Bayesian Networks 23

Fast Parallel Exact Inference on Bayesian Networks

引用

Proceedings of the 28th acm sigplan Annual symposium on principles and practice of parallel programming

作者： Jiantong Jiang Zeyi Wen Atif Mansoor Ajmal Mian The University of Western Australia Hong Kong University of Science and Technology (Guangzhou)

ISBN: (纸本)9798400700156

Bayesian networks (BNs) are attractive, because they are graphical and interpretable machine learning models. However, exact inference on BNs is time-consuming, especially for complex problems. To improve the efficiency, we propose a fast BN exact inference solution named Fast-BNI on multi-core CPUs. Fast-BNI enhances the efficiency of exact inference through hybrid parallelism that tightly integrates coarse- and fine-grained parallelism. We also propose techniques to further simplify the bottleneck operations of BN exact inference. Fast-BNI source code is freely available at https://***/jjiantong/FastBN.

关键词： junction tree inference bayesian networks

来源：评论

学校读者我要写书评

暂无评论

ParGeo: a library for parallel computational geometry 22

ParGeo: a library for parallel computational geometry

引用

Proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming

作者： Yiqiu Wang Shangdi Yu Laxman Dhulipala Yan Gu Julian Shun MIT CSAIL UC Riverside

We present ParGeo, a multicore library for computational geometry algorithms. We describe two of the algorithms from ParGeo, convex hull and the smallest enclosing ball, and present a short evaluation of all implement...

ISBN: (纸本)9781450392044

关键词：

来源：评论

学校读者我要写书评

暂无评论

parallel and Distributed Bounded Model Checking of Multi-threaded Programs 20

Parallel and Distributed Bounded Model Checking of Multi-thr...

引用

25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)

作者： Inverso, Omar Trubiani, Catia Gran Sasso Sci Inst Laquila Italy

ISBN: (纸本)9781450368186

We introduce a structure-aware parallel technique for context-bounded analysis of concurrent programs. The key intuition consists in decomposing the set of concurrent traces into symbolic subsets that are separately explored by multiple instances of the same decision procedure running in parallel. The decision procedures work on different partitions of the search space without cooperating, whence distribution follows effortlessly. Our experiments on a selection of complex multi-threaded programs show significant analysis speedups and scalability, and greater performance gains than with general-purpose parallel solvers.

关键词： Concurrency Multithreading Sequentialization Software Verification parallel Analysis Bounded Model Checking SAT

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共76页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：