咨询与建议

限定检索结果

文献类型

  • 344 篇 会议
  • 19 篇 期刊文献

馆藏范围

  • 363 篇 电子文献
  • 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

语言

  • 361 篇 英文
  • 2 篇 其他
检索条件"任意字段=Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming"
363 条 记 录,以下是211-220 订阅
排序:
21th Brazilian symposium on Artificial Intelligence, SBIA 2012
21th Brazilian Symposium on Artificial Intelligence, SBIA 20...
收藏 引用
21st Brazilian symposium on Artificial Intelligence, SBIA 2012
the proceedings contain 23 papers. the special focus in this conference is on Knowledge Representation and Machine Learning. the topics include: On the development of a formal methodology for knowledge representation ...
来源: 评论
Two Examples of parallel programming without Concurrency Constructs (PP-CC)  11
Two Examples of Parallel Programming without Concurrency Con...
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Ding, Chen Univ Rochester Rochester NY 14627 USA
No abstract available.
来源: 评论
Active Pebbles: A programming Model For Highly parallel Fine-Grained Data-Driven Computations  11
Active Pebbles: A Programming Model For Highly Parallel Fine...
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Willcock, Jeremiah Hoefler, Torsten Edmonds, Nicholas Lumsdaine, Andrew Indiana Univ Bloomington IN 47405 USA Univ Illinois Urbana IL 61801 USA
A variety of programming models exist to support large-scale, distributed memory, parallel computation. these programming models have historically targeted coarse-grained applications with natural locality such as tho... 详细信息
来源: 评论
A Wait-Free NCAS Library for parallel Applications with Timing Constraints  11
A Wait-Free NCAS Library for Parallel Applications with Timi...
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Stellwag, Philippe Scheler, Fabian Krainz, Jakob Schroeder-Preikschat, Wolfgang Univ Erlangen Nurnberg Erlangen Germany
We introduce our major ideas of a wait-free, linearizable, and disjoint-access parallel NCAS library, called RTNCAS. It focuses the construction of wait-free data structure operations (DSO) in real-time circumstances.... 详细信息
来源: 评论
programming the Memory Hierarchy Revisited: Supporting Irregular parallelism in Sequoia  11
Programming the Memory Hierarchy Revisited: Supporting Irreg...
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Bauer, Michael Clark, John Schkufza, Eric Aiken, Alex Stanford Univ Dept Comp Sci Stanford CA 94305 USA
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and spawn, which spawns a dynamically det... 详细信息
来源: 评论
Evaluating Graph Coloring on GPUs  11
Evaluating Graph Coloring on GPUs
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Grosset, A. V. Pascal Zhu, Peihong Liu, Shusen Venkatasubramanian, Suresh Hall, Mary Univ Utah Sch Comp Salt Lake City UT 84112 USA
this paper evaluates features of graph coloring algorithms implemented on graphics processing units (GPUs), comparing coloring heuristics and thread decompositions. As compared to prior work on graph coloring for othe... 详细信息
来源: 评论
Copperhead: Compiling an Embedded Data parallel Language  11
Copperhead: Compiling an Embedded Data Parallel Language
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Catanzaro, Bryan Garland, Michael Keutzer, Kurt Univ Calif Berkeley Berkeley CA 94720 USA
Modern parallel microprocessors deliver high performance on applications that expose substantial fine-grained data parallelism. Although data parallelism is widely available in many computations, implementing data par... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Lifeline-based Global Load Balancing  11
Lifeline-based Global Load Balancing
收藏 引用
16th ACM symposium on principles and practice of parallel programming
作者: Saraswat, Vijay Kambadur, Prabhanjan Kodali, Sreedhar Grove, David Krishnamoorthy, Sriram Pacific NW Natl Lab Richland WA 99352 USA
On shared-memory systems, Cilk-style work-stealing [5] has been used to effectively parallelize irregular task-graph based applications such as Unbalanced Tree Search (UTS) [24, 28]. there are two main difficulties in... 详细信息
来源: 评论