咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 71 篇 performance
  • 49 篇 parallel process...
  • 42 篇 algorithms
  • 42 篇 parallel program...
  • 39 篇 languages
  • 34 篇 design
  • 21 篇 gpu
  • 20 篇 parallel algorit...
  • 12 篇 experimentation
  • 12 篇 measurement
  • 9 篇 theory
  • 9 篇 parallel computi...
  • 8 篇 mpi
  • 8 篇 parallel
  • 7 篇 parallelism
  • 7 篇 graphics process...
  • 7 篇 logic programmin...
  • 7 篇 concurrency
  • 6 篇 openmp
  • 5 篇 reliability

机构

  • 7 篇 carnegie mellon ...
  • 5 篇 indiana univ blo...
  • 4 篇 univ wisconsin d...
  • 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 篇 purdue univ w la...
  • 3 篇 univ calif berke...
  • 2 篇 ist austria klos...
  • 2 篇 princeton univ d...
  • 2 篇 georgetown univ ...
  • 2 篇 yale university ...
  • 2 篇 coll william & m...

作者

  • 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
  • 5 篇 kennedy ken
  • 4 篇 dhulipala laxman
  • 4 篇 miller barton p.
  • 4 篇 tan guangming
  • 4 篇 wang haojie
  • 4 篇 nikolopoulos dim...
  • 4 篇 long guoping
  • 4 篇 valero mateo
  • 4 篇 mellor-crummey j...
  • 4 篇 agrawal kunal
  • 4 篇 gu yan
  • 4 篇 leiserson charle...

语言

  • 356 篇 英文
  • 26 篇 其他
检索条件"任意字段=14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
382 条 记 录,以下是191-200 订阅
排序:
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 ... 详细信息
来源: 评论
An Overview of Medusa: Simplified Graph Processing on GPUs  12
An Overview of Medusa: Simplified Graph Processing on GPUs
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Zhong, Jianlong He, Bingsheng Nanyang Technol Univ Singapore 639798 Singapore
Graphs are the de facto data structures for many applications, and efficient graph processing is a must for the application performance. GPUs have an order of magnitude higher computational power and memory bandwidth ... 详细信息
来源: 评论
Using GPU's to Accelerate Stencil-based Computation Kernels for the Development of Large Scale Scientific Applications on Heterogeneous Systems  12
Using GPU's to Accelerate Stencil-based Computation Kernels ...
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Tao, Jian Blazewicz, Marek Brandt, Steven R. Louisiana State Univ Ctr Computat & Technol Baton Rouge LA 70803 USA Poznan Supercomp & Networking Ctr Applicat Dept Poznan Poland
We present CaCUDA - a GPGPU kernel abstraction and a parallel programming framework for developing highly efficient large scale scientific applications using stencil computations on hybrid CPU/GPU architectures. CaCUD... 详细信息
来源: 评论
Linear dependent types in a call-by-value scenario  12
Linear dependent types in a call-by-value scenario
收藏 引用
14th symposium on principles and practice of Declarative programming, PPDP 2012
作者: Dal Lago, Ugo Petit, Barbara INRIA Università di Bologna Italy
Linear dependent types [11] allow to precisely capture both the extensional behavior and the time complexity of λ-terms, when the latter are evaluated by Krivine's abstract machine. In this work, we show that the... 详细信息
来源: 评论
Goal-directed execution of answer set programs  12
Goal-directed execution of answer set programs
收藏 引用
14th symposium on principles and practice of Declarative programming, PPDP 2012
作者: Marple, Kyle Bansal, Ajay Min, Richard Gupta, Gopal University of Texas at Dallas 800 W. Campbell Road Richardson TX United States Arizona State University 7231 E. Sonoran Arroyo Mall Mesa AZ United States
Answer Set programming (ASP) represents an elegant way of introducing non-monotonic reasoning into logic programming. ASP has gained popularity due to its applications to planning, default reasoning and other areas 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 GPU Graph Traversal  12
Scalable GPU Graph Traversal
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Merrill, Duane Garland, Michael Grimshaw, Andrew Univ Virginia Charlottesville VA 22903 USA NVIDIA Corp Santa Clara CA USA
Breadth-first search (BFS) is a core primitive for graph traversal and a basis for many higher-level graph analysis algorithms. It is also representative of a class of parallel computations whose memory accesses and w... 详细信息
来源: 评论
Extending a C-like Language for Portable SIMD programming  12
Extending a C-like Language for Portable SIMD Programming
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Leissa, Roland Hack, Sebastian Wald, Ingo Univ Saarland Compiler Design Lab Saarbrucken Germany Intel Corp Visual Applicat Res Santa Clara CA 95051 USA
SIMD instructions are common in CPUs for years now. Using these instructions effectively requires not only vectorization of code, but also modifications to the data layout. However, automatic vectorization techniques ... 详细信息
来源: 评论
Communication-Centric Optimizations by Dynamically Detecting Collective Operations  12
Communication-Centric Optimizations by Dynamically Detecting...
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Hoefler, Torsten Schneider, Timo Univ Illinois Dept Comp Sci Urbana IL USA Tech Univ Chemnitz Dept Comp Sci Chemnitz Germany
the steady increase of parallelism in high-performance computing platforms implies that communication will be most important in large-scale applications. In this work, we tackle the problem of transparent optimization... 详细信息
来源: 评论
PARRAY: A Unifying Array Representation for Heterogeneous parallelism  12
PARRAY: A Unifying Array Representation for Heterogeneous Pa...
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Chen, Yifeng Cui, Xiang Mei, Hong Peking Univ Sch EECS HCST Key Lab Beijing 100871 Peoples R China
this paper introduces a programming interface called PARRAY (or parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU clusters. the current practice of softw... 详细信息
来源: 评论