咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
Scalable Top-K Retrieval with Sparta  20
Scalable Top-K Retrieval with Sparta
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Sheffi, Gali Basin, Dmitry Bortnikov, Edward Carmel, David Keidar, Idit Technion Haifa Israel Yahoo Res Haifa Israel Amazon Haifa Israel
Many big data processing applications rely on a top-k retrieval building block, which selects (or approximates) the k highest-scoring data items based on an aggregation of features. In web search, for instance, a docu... 详细信息
来源: 评论
Well-structured futures and cache locality  14
Well-structured futures and cache locality
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Herlihy, Maurice Liu, Zhiyu Computer Science Department Brown University United States
In fork-join parallelism, a sequential program is split into a directed acyclic graph of tasks linked by directed dependency edges, and the tasks are executed, possibly in parallel, in an order consistent with their d... 详细信息
来源: 评论
throughput-Oriented GPU Memory Allocation  19
Throughput-Oriented GPU Memory Allocation
收藏 引用
24th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Gelado, Isaac Garland, Michael NVIDIA Santa Clara CA 95051 USA
throughput-oriented architectures, such as GPUs, can sustain three orders of magnitude more concurrent threads than multicore architectures. this level of concurrency pushes typical synchronization primitives (e.g., m... 详细信息
来源: 评论
A collection-oriented programming model for performance portability  2015
A collection-oriented programming model for performance port...
收藏 引用
20th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2015
作者: Muralidharan, Saurav Garland, Michael Catanzaro, Bryan Sidelnik, Albert Hall, Mary University of Utah Salt Lake CityUT United States NVIDIA Corporation Santa ClaraCA United States Baidu Inc. SunnyvaleCA United States
this paper describes Surge, a collection-oriented programming model that enables programmers to compose parallel computations using nested high-level data collections and operators. Surge exposes a code generation int... 详细信息
来源: 评论
PPDP'08 Proceedings of the 10th International acm sigplan symposium on principles and practice of Declarative programming
PPDP'08 Proceedings of the 10th International ACM SIGPLAN Sy...
收藏 引用
PPDP 2008: 10th International acm sigplan symposium on principles and practice of Declarative programming
the proceedings contain 25 papers. the topics discussed include: order-sorted dependency pairs;macros for context-free grammars;inferring precise polymorphic type dependencies in logic programs;a type system for safe ...
来源: 评论
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... 详细信息
来源: 评论
Improving parallel shear-warp volume rendering on shared address space multiprocessors  97
Improving parallel shear-warp volume rendering on shared add...
收藏 引用
Proceedings of the 1997 6th acm sigplan symposium on principles and practice of parallel programming
作者: Jiang, Dongming Singh, Jaswinder Pal Princeton Univ Princeton NJ United States
this paper presents a new parallel volume rendering algorithm and implementation, based on shear warp factorization, for shared address space multiprocessors. Starting from an existing parallel shear-warp renderer, we... 详细信息
来源: 评论
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... 详细信息
来源: 评论
VEBO: A vertex- and edge-balanced ordering heuristic to load balance parallel graph processing  19
VEBO: A vertex- and edge-balanced ordering heuristic to load...
收藏 引用
24th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2019
作者: Sun, Jiawen Vandierendonck, Hans Nikolopoulos, Dimitrios S. Queen's University of Belfast United Kingdom
this work proposes Vertex- and Edge-Balanced Ordering (VEBO): balance the number of edges and the number of unique destinations of those edges. VEBO balances edges and vertices for graphs with a power-law degree distr... 详细信息
来源: 评论
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... 详细信息
来源: 评论