咨询与建议

限定检索结果

文献类型

  • 322 篇 会议
  • 46 篇 期刊文献

馆藏范围

  • 368 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 317 篇 工学
    • 271 篇 软件工程
    • 256 篇 计算机科学与技术...
    • 12 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 机械工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 55 篇 理学
    • 50 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
  • 16 篇 管理学
    • 12 篇 管理科学与工程(可...
    • 8 篇 工商管理
    • 4 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 71 篇 performance
  • 49 篇 parallel process...
  • 43 篇 algorithms
  • 41 篇 parallel program...
  • 39 篇 languages
  • 34 篇 design
  • 21 篇 gpu
  • 20 篇 parallel algorit...
  • 12 篇 experimentation
  • 12 篇 measurement
  • 9 篇 theory
  • 8 篇 mpi
  • 8 篇 parallel computi...
  • 7 篇 graphics process...
  • 7 篇 parallel
  • 7 篇 concurrency
  • 6 篇 parallelism
  • 6 篇 verification
  • 6 篇 openmp
  • 5 篇 reliability

机构

  • 7 篇 carnegie mellon ...
  • 4 篇 univ wisconsin d...
  • 4 篇 indiana univ blo...
  • 3 篇 univ of tokyo
  • 3 篇 univ chinese aca...
  • 3 篇 massachusetts in...
  • 3 篇 univ illinois ur...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit csail united...
  • 3 篇 shanghai jiao to...
  • 3 篇 tsinghua univ pe...
  • 3 篇 univ utah sch co...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 2 篇 ist austria klos...
  • 2 篇 princeton univ d...
  • 2 篇 georgetown univ ...
  • 2 篇 shanghai key lab...
  • 2 篇 univ of wisconsi...
  • 2 篇 tsinghua univers...

作者

  • 8 篇 blelloch guy e.
  • 7 篇 chen haibo
  • 6 篇 hoefler torsten
  • 6 篇 garland michael
  • 6 篇 shun julian
  • 5 篇 sun yihan
  • 5 篇 zhai jidong
  • 5 篇 tsigas philippas
  • 4 篇 dhulipala laxman
  • 4 篇 tan guangming
  • 4 篇 wang haojie
  • 4 篇 nikolopoulos dim...
  • 4 篇 long guoping
  • 4 篇 valero mateo
  • 4 篇 mellor-crummey j...
  • 4 篇 gu yan
  • 4 篇 kennedy ken
  • 3 篇 taura kenjiro
  • 3 篇 li jiajia
  • 3 篇 yonezawa akinori

语言

  • 342 篇 英文
  • 26 篇 其他
检索条件"任意字段=17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
368 条 记 录,以下是191-200 订阅
排序:
DATA-FLOW EQUATIONS FOR EXPLICITLY parallel PROGRAMS  93
DATA-FLOW EQUATIONS FOR EXPLICITLY PARALLEL PROGRAMS
收藏 引用
4th SYMP ON principles AND practice OF parallel programming ( PPOPP )
作者: GRUNWALD, D SRINIVASAN, H UNIV COLORADO DEPT COMP SCIBOULDERCO 80309
We present a solution to the reaching definitions problem for programs with explicit lexically specified parallel constructs, such as cobegin/coend or parallel-sections, both with and without explicit synchronization ... 详细信息
来源: 评论
Poster: the Problem-Based Benchmark Suite PBBS), V2  27
Poster: The Problem-Based Benchmark Suite PBBS), V2
收藏 引用
27th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Anderson, Daniel Blelloch, Guy E. Dhulipala, Laxman Dobson, Magdalen Sun, Yihan Carnegie Mellon Univ Pittsburgh Pittsburgh PA USA Univ Maryland Coll Park MD USA UC Riverside Riverside Riverside CA USA
the Problem-Based Benchmark Suite (PBBS) is a set of benchmark problems designed for comparing algorithms, implementations and platforms. For each problem, the suite defines the problem in terms of the input-output re... 详细信息
来源: 评论
Formal Verification of Practical MPI Programs
Formal Verification of Practical MPI Programs
收藏 引用
14th acm sigplan symposium on principles and practice of parallel programming
作者: Vo, Anh Vakkalanka, Sarvani DeLisi, Michael Gopalakrishnan, Ganesh Kirby, Robert M. thakur, Rajeev Univ Utah Sch Comp Salt Lake City UT 84112 USA Argonne Natl Lab Div Math & Comp Sci Argonne IL 60439 USA
this paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI... 详细信息
来源: 评论
A framework for practical parallel fast matrix multiplication  2015
A framework for practical parallel fast matrix multiplicatio...
收藏 引用
20th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2015
作者: Benson, Austin R. Ballard, Grey Institute for Computational and Mathematical Engineering Stanford University StanfordCA United States Sandia National Laboratories LivermoreCA United States
Matrix multiplication is a fundamental computation in many scientific disciplines. In this paper, we show that novel fast matrix multiplication algorithms can significantly outperform vendor implementations of the cla... 详细信息
来源: 评论
Accelerating CUDA Graph Algorithms at Maximum Warp  11
Accelerating CUDA Graph Algorithms at Maximum Warp
收藏 引用
16th acm symposium on principles and practice of parallel programming
作者: Hong, Sungpack Kim, Sang Kyun Oguntebi, Tayo Olukotun, Kunle Stanford Univ Comp Syst Lab Stanford CA 94305 USA
Graphs are powerful data representations favored in many computational domains. Modern GPUs have recently shown promising results in accelerating computationally challenging graph problems but their performance suffer... 详细信息
来源: 评论
parallelISM IN LOGIC PROGRAMS
PARALLELISM IN LOGIC PROGRAMS
收藏 引用
17th ANNUAL SYMP OF thE ASSOC FOR COMPUTING MACHINERY : principles OF programming LANGUAGES
作者: RAMAKRISHNAN, R Univ of Wisconsin-Madison WI United States
the author considers the parallel evaluation of logic programs. this has been the subject of much research in the logic programming and, recently, the deductive database communities. the author reviews this work, and ... 详细信息
来源: 评论
A programming model and runtime system for significance-aware energy-efficient computing  2015
A programming model and runtime system for significance-awar...
收藏 引用
20th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2015
作者: Vassiliadis, Vassilis Parasyris, Konstantinos Chalios, Charalambos Antonopoulos, Christos D. Lalis, Spyros Bellas, Nikolaos Vandierendonck, Hans Nikolopoulos, Dimitrios S. Electrical and Computer Eng. Dept. University of Thessaly Greece Greece Queen's University Belfast United Kingdom
We introduce a task-based programming model and runtime system that exploit the observation that not all parts of a program are equally significant for the accuracy of the end-result, in order to trade off the quality... 详细信息
来源: 评论
Scaling implicit parallelism via dynamic control replication  21
Scaling implicit parallelism via dynamic control replication
收藏 引用
26th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2021
作者: Bauer, Michael Lee, Wonchan Slaughter, Elliott Jia, Zhihao Di Renzo, Mario Papadakis, Manolis Shipman, Galen McCormick, Patrick Garland, Michael Aiken, Alex NVIDIA United States Slac National Accelerator Laboratory United States Carnegie Mellon University United States Sapienza University of Rome Italy Los Alamos National Laboratory United States Stanford University United States
We present dynamic control replication, a run-time program analysis that enables scalable execution of implicitly parallel programs on large machines through a distributed and efficient dynamic dependence analysis. Dy... 详细信息
来源: 评论
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
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 smal... 详细信息
来源: 评论
INFINEL: An efficient GPU-based processing method for unpredictable large output graph queries  24
INFINEL: An efficient GPU-based processing method for unpred...
收藏 引用
29th acm sigplan Annual symposium on principles and practice of parallel programming (PPoPP)
作者: Park, Sungwoo Oh, Seyeon Kim, Min-Soo Korea Adv Inst Sci & Technol Seoul South Korea GraphAI Seoul South Korea
With the introduction of GPUs, which are specialized for iterative parallel computations, the execution of computationintensive graph queries using a GPU has seen significant performance improvements. However, due to ... 详细信息
来源: 评论