咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

作者

  • 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
  • 4 篇 dhulipala laxman
  • 4 篇 tan guangming
  • 4 篇 wang haojie
  • 4 篇 nikolopoulos dim...
  • 4 篇 long guoping
  • 4 篇 valero mateo
  • 4 篇 mellor-crummey j...
  • 4 篇 gu yan
  • 4 篇 kennedy ken
  • 3 篇 taura kenjiro
  • 3 篇 li jiajia
  • 3 篇 yonezawa akinori

语言

  • 349 篇 英文
  • 26 篇 其他
检索条件"任意字段=18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
375 条 记 录,以下是141-150 订阅
排序:
parallel skeletons for structured composition
Parallel skeletons for structured composition
收藏 引用
Proceedings of the 5th acm sigplan symposium on principles and practice of parallel programming
作者: Darlington, John Guo, Yi-ke To, Hing Wing Yang, Jin Imperial Coll London United Kingdom
In this paper, we propose a straightforward solution to the problems of compositional parallel programming by using skeletons as the uniform mechanism for structured composition. In our approach parallel programs are ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
parallel Block-Delayed Sequences  22
Parallel Block-Delayed Sequences
收藏 引用
27th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Westrick, Sam Rainey, Mike Anderson, Daniel Blelloch, Guy E. Carnegie Mellon Univ Pittsburgh PA 15213 USA
programming languages using functions on collections of values, such as map, reduce, scan and filter, have been used for over fifty years. Such collections have proven to be particularly useful in the context of paral... 详细信息
来源: 评论
Leveraging parallel Nesting in Transactional Memory
Leveraging Parallel Nesting in Transactional Memory
收藏 引用
15th acm sigplan symposium on principles and practice of parallel programming
作者: Barreto, Joao Dragojevic, Aleksandar Ferreira, Paulo Guerraoui, Rachid Kapalka, Michal Univ Tecn Lisboa INESC ID Lisbon Portugal Swiss Fed Inst Technol CH-1015 Lausanne Switzerland
Exploiting the emerging reality of affordable multi-core architectures goes through providing programmers with simple abstractions that would enable them to easily turn their sequential programs into concurrent ones t... 详细信息
来源: 评论
parallelizing algorithms for symbolic computation using ||MAPLE||  93
Parallelizing algorithms for symbolic computation using ||MA...
收藏 引用
4th acm sigplan symposium on principles and practice of parallel programming, PPOPP 1993
作者: Siegl, Kurt Johannes Kepler University LinzA-4040 Austria
||MAPLE|| (speak: parallel Maple) is a portable system for parallel symbolic computation. the system is built as an interface between the parallel declarative programming language Strand and the sequential computer al... 详细信息
来源: 评论
Scalable Deterministic Replay in a parallel Full-system Emulator  13
Scalable Deterministic Replay in a Parallel Full-system Emul...
收藏 引用
18th acm sigplan symposium on principles and practice of parallel programming
作者: Chen, Yufei Chen, Haibo Fudan Univ Sch Comp Sci Shanghai Peoples R China Shanghai Jiao Tong Univ Inst Parallel & Distributed Syst Shanghai 200030 Peoples R China
Full-system emulation has been an extremely useful tool in developing and debugging systems software like operating systems and hypervisors. However, current full-system emulators lack the support for deterministic re... 详细信息
来源: 评论
Triolet: A programming system that unifies algorithmic skeleton interfaces for high-performance cluster computing  14
Triolet: A programming system that unifies algorithmic skele...
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Rodrigues, Christopher Jablin, thomas Dakkak, Abdul Hwu, Wen-Mei University of Illinois at Urbana-Champaign United States
Functional algorithmic skeletons promise a high-level programming interface for distributed-memory clusters that free developers from concerns of task decomposition, scheduling, and communication. Unfortunately, prior... 详细信息
来源: 评论
Higher-Order Logic programming: an Expressive Language for Representing Qualitative Preferences  16
Higher-Order Logic Programming: an Expressive Language for R...
收藏 引用
18th International symposium on principles and practice of Declarative programming (PPDP)
作者: Charalambidis, Angelos Rondogiannis, Panos Troumpoukis, Antonis Univ Athens Dept Informat & Telecommun Athens Greece NCSR Demokritos Inst Informat & Telecommun Aghia Paraskevi Greece
We consider the problem of concisely representing and handling preferences in logic programming and relational data-bases. Our starting point is a well-known proposal [8] which advocates the embedding of first-order p... 详细信息
来源: 评论
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... 详细信息
来源: 评论