咨询与建议

限定检索结果

文献类型

  • 344 篇 会议
  • 19 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 305 篇 工学
    • 261 篇 软件工程
    • 250 篇 计算机科学与技术...
    • 13 篇 电子科学与技术(可...
    • 9 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 机械工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
    • 1 篇 网络空间安全
  • 57 篇 理学
    • 53 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 18 篇 管理学
    • 12 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 3 篇 法学
    • 3 篇 社会学
  • 3 篇 教育学
    • 3 篇 教育学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 54 篇 performance
  • 50 篇 parallel process...
  • 34 篇 parallel program...
  • 33 篇 algorithms
  • 27 篇 languages
  • 25 篇 design
  • 20 篇 parallel algorit...
  • 20 篇 gpu
  • 9 篇 experimentation
  • 9 篇 measurement
  • 8 篇 parallel
  • 7 篇 scalability
  • 7 篇 graphics process...
  • 7 篇 theory
  • 7 篇 parallel computi...
  • 6 篇 parallelism
  • 6 篇 mpi
  • 6 篇 concurrency
  • 5 篇 graph algorithms
  • 5 篇 logic programmin...

机构

  • 7 篇 carnegie mellon ...
  • 4 篇 indiana univ blo...
  • 3 篇 univ of tokyo
  • 3 篇 tsinghua univ de...
  • 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 calif berke...
  • 2 篇 ist austria klos...
  • 2 篇 georgetown univ ...
  • 2 篇 univ wisconsin d...
  • 2 篇 yale university ...
  • 2 篇 shanghai key lab...
  • 2 篇 univ of wisconsi...
  • 2 篇 tsinghua univers...
  • 2 篇 shanghai jiao to...

作者

  • 8 篇 blelloch guy e.
  • 6 篇 hoefler torsten
  • 6 篇 garland michael
  • 6 篇 zhai jidong
  • 6 篇 chen haibo
  • 6 篇 shun julian
  • 5 篇 sun yihan
  • 4 篇 dhulipala laxman
  • 4 篇 chen wenguang
  • 4 篇 tsigas philippas
  • 4 篇 tan guangming
  • 4 篇 wang haojie
  • 4 篇 mellor-crummey j...
  • 4 篇 gu yan
  • 4 篇 kennedy ken
  • 3 篇 taura kenjiro
  • 3 篇 li jiajia
  • 3 篇 yonezawa akinori
  • 3 篇 pingali keshav
  • 3 篇 kim jungwon

语言

  • 362 篇 英文
  • 2 篇 其他
检索条件"任意字段=Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming"
364 条 记 录,以下是101-110 订阅
排序:
POSTER: Automatic Differentiation of parallel Loops with Formal Methods  27
POSTER: Automatic Differentiation of Parallel Loops with For...
收藏 引用
27th ACM SIGPLAN symposium on principles and practice of parallel programming (PPoPP)
作者: Huckelheim, Jan Hascoet, Laurent Argonne Natl Lab Lemont IL 60439 USA Inria Sophia Antipolis Valbonne France
the accompanying poster to this short paper presents a combination of reverse mode AD and formal methods to enable efficient differentiation of (or backpropagation through) shared-memory parallel code. Compared to the... 详细信息
来源: 评论
New model for integrated nested task and data parallel programming
New model for integrated nested task and data parallel progr...
收藏 引用
proceedings of the 1997 6th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Subhlok, Jaspal Yang, Bwolen Carnegie Mellon Univ Pittsburgh United States
High Performance Fortran (HPF) has emerged as a standard language for data parallel computing. However, a wide variety of scientific applications are best programmed by a combination of task and data parallelism. ther... 详细信息
来源: 评论
Space-efficient implementation of nested parallelism
Space-efficient implementation of nested parallelism
收藏 引用
proceedings of the 1997 6th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Narlikar, Girija J. Blelloch, Guy E. CMU Sch of Computer Science Pittsburgh United States
Many of today's high level parallel languages support dynamic, fine-grained parallelism. these languages allow the user to expose all the parallelism in the program, which is typically of a much higher degree than... 详细信息
来源: 评论
High performance synchronization algorithms for multiprogrammed multiprocessors
High performance synchronization algorithms for multiprogram...
收藏 引用
proceedings of the 5th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Wisniewski, Robert W. Kontothanassis, Leonidas I. Scott, Michael L. Univ of Rochester Rochester United States
Scalable busy-wait synchronization algorithms are essential for achieving good parallel program performance on large scale multiprocessors. Such algorithms include mutual exclusion locks, reader-writer locks, and barr... 详细信息
来源: 评论
Preliminary Results on NB-FEB, a Synchronization Primitive for parallel programming
Preliminary Results on NB-FEB, a Synchronization Primitive f...
收藏 引用
14th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Ha, Phuong Hoai Tsigas, Philippas Anshus, Otto J. Univ Tromso N-9001 Tromso Norway Chalmers Univ Technol Gothenburg Sweden
We introduce a non-blocking full/empty bit primitive, or NB-FEB for short, as a promising synchronization primitive for parallel programming on may-core architectures. We show that the NB-FEB primitive is universal, s... 详细信息
来源: 评论
Distributed data access in AC
Distributed data access in AC
收藏 引用
proceedings of the 5th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Carlson, William W. Draper, Jesse M. IDA Supercomputing Research Cent Bowie United States
We have modified the C language to support a programming model based on a shared address space with physically distributed memory. With this model users can write programs in which the nodes of a massively parallel pr... 详细信息
来源: 评论
An OpenACC-based unified programming model for multi-accelerator systems  2015
An OpenACC-based unified programming model for multi-acceler...
收藏 引用
20th ACM SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2015
作者: Kim, Jungwon Lee, Seyong Vetter, Jeffrey S. Oak Ridge National Laboratory United States Georgia Institute of Technology United States
this paper proposes a novel SPMD programming model of OpenACC. Our model integrates the different granularities of parallelism from vector-level parallelism to node-level parallelism into a single, unified model based... 详细信息
来源: 评论
parallel breadth-first BDD construction
Parallel breadth-first BDD construction
收藏 引用
proceedings of the 1997 6th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Yang, Bwolen O'Hallaron, David R. Carnegie Mellon Univ Pittsburgh United States
With the increasing complexity of protocol and circuit designs, formal verification has become an important research area and binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verificatio... 详细信息
来源: 评论
Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes  24
Pure: Evolving Message Passing To Better Leverage Shared Mem...
收藏 引用
29th ACM SIGPLAN Annual symposium on principles and practice of parallel programming (PPoPP)
作者: Psota, James Solar-Lezama, Armando MIT CSAIL Cambridge MA 02139 USA
Pure is a new programming model and runtime system explicitly designed to take advantage of shared memory within nodes in the context of a mostly message passing interface enhanced with the ability to use tasks to mak... 详细信息
来源: 评论
High performance Fortran for highly irregular problems
High performance Fortran for highly irregular problems
收藏 引用
proceedings of the 1997 6th ACM SIGPLAN symposium on principles and practice of parallel programming
作者: Hu, Y.Charlie Johnsson, S.Lennart Teng, Shang-Hua Harvard Univ Cambridge United States
We present a general data parallel formulation for highly irregular problems in High Performance Fortran (HPF). Our formulation consists of (1) a method for linearizing irregular data structures (2) a data parallel im... 详细信息
来源: 评论