咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
Scaling LAPACK Panel Operations Using parallel Cache Assignment
Scaling LAPACK Panel Operations Using Parallel Cache Assignm...
收藏 引用
15th acm sigplan symposium on principles and practice of parallel programming
作者: Castaldo, Anthony M. Whaley, R. Clint Univ Texas San Antonio Dept Comp Sci San Antonio TX 78249 USA
In LAPACK many matrix operations are cast as block algorithms which iteratively process a panel using an unblocked algorithm and then update a remainder matrix using the high performance Level 3 BLAS. the Level 3 BLAS... 详细信息
来源: 评论
GPU Initiated OpenSHMEM: Correct and Eicient Intra-Kernel Networking for dGPUs  25
GPU Initiated OpenSHMEM: Correct and Eicient Intra-Kernel Ne...
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Hamidouche, Khaled LeBeane, Michael Adv Micro Devices Inc Santa Clara CA 95054 USA
Current state-of-the-art in GPU networking utilizes a host-centric, kernel-boundary communication model that reduces performance and increases code complexity. To address these concerns, recent works have explored per... 详细信息
来源: 评论
On the fly MHP Analysis  20
On the fly MHP Analysis
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Saha, Sonali Nandivada, V. Krishna IIT Madras Madras Tamil Nadu India
May-Happen-in-parallel (MHP) analysis forms the basis for many problems of program analysis and program understanding. MHP analysis can also be used by IDEs (integrateddevelopment-environments) to help programmers to ... 详细信息
来源: 评论
parallel skeletons for structured composition
Parallel skeletons for structured composition
收藏 引用
Proceedings of the 5th acm sigplan symposium on principles and practice of parallel programming
作者: Darlington, John Guo, Yi-ke To, Hing Wing Yang, Jin Imperial Coll London United Kingdom
In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition. In our approach parallel programs are ... 详细信息
来源: 评论
Automatic Formal Verification of MPI-Based parallel Programs  11
Automatic Formal Verification of MPI-Based Parallel Programs
收藏 引用
16th acm symposium on principles and practice of parallel programming
作者: Siegel, Stephen F. Zirkel, Timothy K. Univ Delaware Verified Software Lab Dept Comp & Informat Sci Newark DE 19716 USA
the Toolkit for Accurate Scientific Software (TASS) is a suite of tools for the formal verification of MPI-based parallel programs used in computational science. TASS can verify various safety properties as well as co... 详细信息
来源: 评论
parallel Block-Delayed Sequences  22
Parallel Block-Delayed Sequences
收藏 引用
27th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Westrick, Sam Rainey, Mike Anderson, Daniel Blelloch, Guy E. Carnegie Mellon Univ Pittsburgh PA 15213 USA
programming languages using functions on collections of values, such as map, reduce, scan and filter, have been used for over fifty years. Such collections have proven to be particularly useful in the context of paral... 详细信息
来源: 评论
Leveraging parallel Nesting in Transactional Memory
Leveraging Parallel Nesting in Transactional Memory
收藏 引用
15th acm sigplan symposium on principles and practice of parallel programming
作者: Barreto, Joao Dragojevic, Aleksandar Ferreira, Paulo Guerraoui, Rachid Kapalka, Michal Univ Tecn Lisboa INESC ID Lisbon Portugal Swiss Fed Inst Technol CH-1015 Lausanne Switzerland
Exploiting the emerging reality of affordable multi-core architectures goes through providing programmers with simple abstractions that would enable them to easily turn their sequential programs into concurrent ones t... 详细信息
来源: 评论
parallelizing algorithms for symbolic computation using ||MAPLE||  93
Parallelizing algorithms for symbolic computation using ||MA...
收藏 引用
4th acm sigplan symposium on principles and practice of parallel programming, PPOPP 1993
作者: Siegl, Kurt Johannes Kepler University LinzA-4040 Austria
||MAPLE|| (speak: parallel Maple) is a portable system for parallel symbolic computation. the system is built as an interface between the parallel declarative programming language Strand and the sequential computer al... 详细信息
来源: 评论
Practical parallel Hypergraph Algorithms  20
Practical Parallel Hypergraph Algorithms
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Shun, Julian MIT CSAIL Cambridge MA 02139 USA
While there has been significant work on parallel graph processing, there has been very surprisingly little work on high-performance hypergraph processing. this paper presents a collection of efficient parallel algori... 详细信息
来源: 评论
Triolet: A programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing  14
Triolet: A programming system that unifies algorithmic skele...
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Rodrigues, Christopher Jablin, thomas Dakkak, Abdul Hwu, Wen-Mei University of Illinois at Urbana-Champaign United States
Functional algorithmic skeletons promise a high-level programming interface for distributed-memory clusters that free developers from concerns of task decomposition, scheduling, and communication. Unfortunately, prior... 详细信息
来源: 评论