咨询与建议

限定检索结果

文献类型

  • 361 篇 会议
  • 46 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 72 篇 performance
  • 49 篇 parallel process...
  • 46 篇 parallel program...
  • 43 篇 algorithms
  • 40 篇 languages
  • 34 篇 design
  • 22 篇 gpu
  • 21 篇 parallel algorit...
  • 12 篇 experimentation
  • 12 篇 measurement
  • 10 篇 parallel computi...
  • 9 篇 theory
  • 8 篇 mpi
  • 7 篇 parallelism
  • 7 篇 graphics process...
  • 7 篇 parallel
  • 7 篇 openmp
  • 7 篇 concurrency
  • 6 篇 multicore
  • 5 篇 reliability

机构

  • 7 篇 carnegie mellon ...
  • 4 篇 univ wisconsin d...
  • 4 篇 indiana univ blo...
  • 4 篇 shanghai jiao to...
  • 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 篇 tsinghua univ pe...
  • 3 篇 univ utah sch co...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 ist austria klos...
  • 2 篇 fudan univ sch c...
  • 2 篇 princeton univ d...
  • 2 篇 georgetown univ ...

作者

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

语言

  • 380 篇 英文
  • 26 篇 其他
  • 1 篇 葡萄牙文
检索条件"任意字段=16th ACM Symposium on Principles and Practice of Parallel Programming"
407 条 记 录,以下是221-230 订阅
排序:
Compiling CHR to parallel hardware  12
Compiling CHR to parallel hardware
收藏 引用
14th symposium on principles and practice of Declarative programming, PPDP 2012
作者: Triossi, Andrea Orlando, Salvatore Raffaetà, Alessandra Frühwirth, thom DAIS Università Ca'Foscari Venezia Italy Inst. for Software Engineering and Compiler Construction Ulm University Germany
this paper investigates the compilation of a committed-choice rulebased language, Constraint Handling Rules (CHR), to specialized hardware circuits. the developed hardware is able to turn the intrinsic concurrency of ... 详细信息
来源: 评论
Task-oriented programming in a pure functional language  12
Task-oriented programming in a pure functional language
收藏 引用
14th symposium on principles and practice of Declarative programming, PPDP 2012
作者: Plasmeijer, Rinus Lijnse, Bas Michels, Steffen Achten, Peter Koopman, Pieter Institute for Computing and Information Sciences Radboud University P.O. Box 9010 6500 GL Nijmegen Netherlands Faculty of Military Sciences Netherlands Defense Academy P.O. Box 10000 1780 CA Den Helder Netherlands
Task-Oriented programming (TOP) is a novel programming paradigm for the construction of distributed systems where users work together on the *** multiple users collaborate, they need to interact with each other freque... 详细信息
来源: 评论
Scalable parallel Minimum Spanning Forest Computation
Scalable Parallel Minimum Spanning Forest Computation
收藏 引用
17th acm SIGPLAN symposium on principles and practice of parallel programming
作者: Nobari, Sadegh Cao, thanh-Tung Karras, Panagiotis Bressan, Stephane Natl Univ Singapore Singapore Singapore Rutgers State Univ Piscataway NJ 08855 USA
the proliferation of data in graph form calls for the development of scalable graph algorithms that exploit parallel processing environments. One such problem is the computation of a graph's minimum spanning fores... 详细信息
来源: 评论
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.
来源: 评论
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.... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论