咨询与建议

限定检索结果

文献类型

  • 336 篇 会议
  • 49 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 335 篇 工学
    • 290 篇 软件工程
    • 274 篇 计算机科学与技术...
    • 13 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 4 篇 机械工程
    • 4 篇 控制科学与工程
    • 4 篇 生物工程
    • 3 篇 电气工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 力学(可授工学、理...
    • 2 篇 动力工程及工程热...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 63 篇 理学
    • 58 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 17 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 6 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 法学
    • 3 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 73 篇 performance
  • 52 篇 parallel process...
  • 44 篇 parallel program...
  • 43 篇 languages
  • 42 篇 algorithms
  • 35 篇 design
  • 21 篇 gpu
  • 20 篇 parallel algorit...
  • 14 篇 experimentation
  • 12 篇 measurement
  • 11 篇 theory
  • 8 篇 mpi
  • 8 篇 parallel computi...
  • 7 篇 graphics process...
  • 7 篇 parallel
  • 7 篇 concurrency
  • 6 篇 scalability
  • 6 篇 parallelism
  • 6 篇 verification
  • 6 篇 openmp

机构

  • 7 篇 carnegie mellon ...
  • 4 篇 univ wisconsin d...
  • 4 篇 indiana univ blo...
  • 3 篇 univ of tokyo
  • 3 篇 tsinghua univers...
  • 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...

作者

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

语言

  • 357 篇 英文
  • 28 篇 其他
检索条件"任意字段=9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
385 条 记 录,以下是101-110 订阅
POSTER: A parallel Branch-and-Bound Algorithm with History-Based Domination  27
POSTER: A Parallel Branch-and-Bound Algorithm with History-B...
收藏 引用
27th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Gonggiatgul, Taspon Shobaki, Ghassan Muyan-Ozcelik, Pinar Calif State Univ Sacramento CA USA
In this paper, we describe a parallel Branch-and-Bound (B&B) algorithm with a history-based domination technique, and we apply it to the Sequential Ordering Problem (SOP). To the best of our knowledge, the propose... 详细信息
来源: 评论
POSTER: Towards OmpSs-2 and OpenACC Interoperation  27
POSTER: Towards OmpSs-2 and OpenACC Interoperation
收藏 引用
27th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Korakitis, Orestis De Gonzalo, Simon Garcia Guidotti, Nicolas Barreto, Joao Pedro Monteiro, Jose C. Pena, Antonio J. Barcelona Supercomputing Ctr Barcelona Spain Univ Lisbon Inst Super Tecnico INESC ID Lisbon Portugal
the increasing demand in HPC to utilize accelerators has motivated the development of pragma-based directives to target these devices. OmpSs-2 and OpenACC are both directive-based solutions that allow application prog... 详细信息
来源: 评论
Extracting logical structure and identifying stragglers in parallel execution traces  14
Extracting logical structure and identifying stragglers in p...
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Isaacs, Katherine E. Gamblin, Todd Bhatele, Abhinav Bremer, Peer-Timo Schulz, Martin Hamann, Bernd Department of Computer Science University of California Davis United States Center for Applied Scientific Computing Lawrence Livermore National Laboratory United States
We introduce a new approach to automatically extract an idealized logical structure from a parallel execution trace. We use this structure to define intuitive metrics such as the lateness of a process involved in a pa... 详细信息
来源: 评论
A parallel Sparse Tensor Benchmark Suite on CPUs and GPUs  20
A Parallel Sparse Tensor Benchmark Suite on CPUs and GPUs
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Li, Jiajia Lakshminarasimhan, Mahesh Wu, Xiaolong Li, Ang Olschanowsky, Catherine Barker, Kevin Pacific Northwest Natl Lab Richland WA 99352 USA Univ Utah Salt Lake City UT USA Purdue Univ W Lafayette IN 47907 USA Boise State Univ Boise ID 83725 USA
Tensor computations present significant performance challenges that impact a wide spectrum of applications. Efforts on improving the performance of tensor computations include exploring data layout, execution scheduli... 详细信息
来源: 评论
Proceedings of the acm sigplan symposium on principles and practice of parallel programming, PPOPP
Proceedings of the ACM SIGPLAN Symposium on Principles and P...
收藏 引用
20th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2015
the proceedings contain 44 papers. the topics discussed include: predicate RCU: an RCU for scalable concurrent updates;automatic scalable atomicity via semantic locking;a framework for practical parallel fast matrix m...
来源: 评论
Correct and efficient work-stealing for weak memory models  13
Correct and efficient work-stealing for weak memory models
收藏 引用
18th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2013
作者: Lê, Nhat Minh Pop, Antoniu Cohen, Albert Zappa Nardelli, Francesco INRIA ENS Paris Paris France
Chase and Lev9;s concurrent deque is a key data structure in shared-memory parallel programming and plays an essential role in work-stealing schedulers. We provide the first correctness proof of an optimized implem... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Model and compilation strategy for out-of-core data parallel programs
Model and compilation strategy for out-of-core data parallel...
收藏 引用
Proceedings of the 5th acm sigplan symposium on principles and practice of parallel programming
作者: Bordawekar, Rajesh Choudhary, Alok Kennedy, Ken Koelbel, Charles Paleczny, Michael Syracuse Univ Syracuse United States
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We present a data storage model that allows pr... 详细信息
来源: 评论
Lock-free channels for programming via communicating sequential processes  19
Lock-free channels for programming via communicating sequent...
收藏 引用
24th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2019
作者: Koval, Nikita Alistarh, Dan Elizarov, Roman IST Austria Austria JetBrains Austria
Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) [1] and actor [2] models, which share data via explici... 详细信息
来源: 评论