咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
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... 详细信息
来源: 评论
AUTOGEN: Automatic Discovery of Cache-Oblivious parallel Recursive Algorithms for Solving Dynamic Programs  16
AUTOGEN: Automatic Discovery of Cache-Oblivious Parallel Rec...
收藏 引用
21st acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Chowdhury, Rezaul Ganapathi, Pramod Tithi, Jesmin Jahan Bachmeier, Charles Kuszmaul, Bradley C. Leiserson, Charles E. Solar-Lezama, Armando Tang, Yuan SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA Fudan Univ Shanghai Key Lab Intelligent Informat Proc Sch Software Shanghai Peoples R China
We present AUTOGEN-an algorithm that for a wide class of dynamic programming (DP) problems automatically discovers highly efficient cache-oblivious parallel recursive divide-and-conquer algorithms from inefficient ite... 详细信息
来源: 评论
the lock-free k-LSM relaxed priority queue  2015
The lock-free k-LSM relaxed priority queue
收藏 引用
20th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2015
作者: Wimmer, Martin Gruber, Jakob Träff, Jesper Larsson Tsigas, Philippas Faculty of Informatics Parallel Computing Vienna University of Technology Vienna/Wien1040 Austria Computer Science and Engineering Chalmers University of Technology Göteborg412 96 Sweden
We present a new, concurrent, lock-free priority queue that relaxes the delete-min operation to allow deletion of any of the ρ+1 smallest keys instead of only a minimal one, where ρ is a parameter that can be config... 详细信息
来源: 评论
Scaling Out Speculative Execution of Finite-State Machines with parallel Merge  20
Scaling Out Speculative Execution of Finite-State Machines w...
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Xia, Yang Jiang, Peng Agrawal, Gagan Ohio State Univ Columbus OH 43210 USA Univ Iowa Iowa City IA USA
A finite-state machine (FSM) is a key component for many important applications, such as Huffman decoding, regular expression matching and HTML tokenization. Due to its inherent dependencies and unpredictable memory a... 详细信息
来源: 评论
parallel Schedule Synthesis for Attribute Grammars  13
Parallel Schedule Synthesis for Attribute Grammars
收藏 引用
18th acm sigplan symposium on principles and practice of parallel programming
作者: Meyerovich, Leo A. Torok, Matthew E. Atkinson, Eric Bodik, Rastislav Univ Calif Berkeley Berkeley CA 94720 USA
We examine how to synthesize a parallel schedule of structured traversals over trees. In our system, programs are declaratively specified as attribute grammars. Our synthesizer automatically, correctly, and quickly sc... 详细信息
来源: 评论
No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers  20
No Barrier in the Road: A Comprehensive Study and Optimizati...
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Liu, Nian Zang, Binyu Chen, Haibo Shanghai Jiao Tong Univ Inst Parallel & Distributed Syst Shanghai Peoples R China Shanghai Jiao Tong Univ Shanghai Key Lab Scalable Comp & Syst Shanghai Peoples R China
In this paper, we present the first comprehensive performance characterization and optimization of ARM barriers on both mobile and server platforms. We draw a set of observations through several abstracted models and ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Using Sample-Based Time Series Data for Automated Diagnosis of Scalability Losses in parallel Programs  20
Using Sample-Based Time Series Data for Automated Diagnosis ...
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Wei, Lai Mellor-Crummey, John Rice Univ Dept Comp Sci Houston TX 77005 USA Rice Univ Houston TX USA Pony Ai Fremont CA USA
the performance of many parallel applications has failed to scale as fast as successive generations of hardware on which these applications execute. To understand the cause of scalability losses, experts use performan... 详细信息
来源: 评论
Deadlock-free buffer configuration for stream computing
收藏 引用
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS 2017年 第5期31卷 441-450页
作者: Li, Peng Beard, Jonathan C. Buhler, Jeremy D. Washington Univ Dept Comp Sci & Engn St Louis MO 63130 USA
Stream computing is a popular paradigm for parallel and distributed computing, where compute nodes are connected by first-in first-out data channels. Each channel can be considered as a concatenation of several data b... 详细信息
来源: 评论
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... 详细信息
来源: 评论