咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
SYNC or ASYNC: Time to fuse for distributed graph-parallel computation  2015
SYNC or ASYNC: Time to fuse for distributed graph-parallel c...
收藏 引用
20th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2015
作者: Xie, Chenning Chen, Rong Guan, Haibing Zang, Binyu Chen, Haibo Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems Shanghai Jiao Tong University China Shanghai Key Laboratory of Scalable Computing and Systems Department of Computer Science Shanghai Jiao Tong University China
Large-scale graph-structured computation usually exhibits iterative and convergence-oriented computing nature, where input data is computed iteratively until a convergence condition is reached. Such features have led ... 详细信息
来源: 评论
A hierarchical approach to reducing communication in parallel graph algorithms  2015
A hierarchical approach to reducing communication in paralle...
收藏 引用
20th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2015
作者: Harshvardhan Amato, Nancy M. Rauchwerger, Lawrence Parasol Laboratory Department of Computer Science and Engineering Texas A and M University United States
Large-scale graph computing has become critical due to the ever-increasing size of data. However, distributed graph computations are limited in their scalability and performance due to the heavy communication inherent... 详细信息
来源: 评论
NUMA-aware graph-structured analytics  2015
NUMA-aware graph-structured analytics
收藏 引用
20th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2015
作者: Zhang, Kaiyuan Chen, Rong Chen, Haibo Shanghai Key Laboratory of Scalable Computing and Systems Institute of Parallel and Distributed Systems Shanghai Jiao Tong University China
Graph-structured analytics has been widely adopted in a number of big data applications such as social computation, web-search and recommendation systems. though much prior research focuses on scaling graph-analytics ... 详细信息
来源: 评论
A Type theoretic Specification of Partial Evaluation  14
A Type Theoretic Specification of Partial Evaluation
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Asai, Kenichi Fennell, Luminous thiemann, Peter Zhang, Yang Ochanomizu Univ Tokyo Japan Univ Freiburg Freiburg Germany
We develop a type theoretic specification of offline partial evaluation for the simply-typed lambda calculus in the dependently-typed programming language Agda. We establish the correctness of the specification by pro... 详细信息
来源: 评论
On Combining Backward and Forward Chaining in Constraint Logic programming  14
On Combining Backward and Forward Chaining in Constraint Log...
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Haemmerle, Remy Univ Politecn Madrid Madrid Spain IMDEA Software Inst Madrid Spain
We address the problem of designing constraint logic languages that usefully combine backward and forward chaining in a sound and complete way. Following the approach of Constraint Logic programming, we define a class... 详细信息
来源: 评论
PPoPP 2013 - Proceedings of the 2013 acm SIGPLAN symposium on principles and practice of parallel programming
PPoPP 2013 - Proceedings of the 2013 ACM SIGPLAN Symposium o...
收藏 引用
18th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2013
the proceedings contain 45 papers. the topics discussed include: a peta-scalable CPU-GPU algorithm for global atmospheric simulations;adoption protocols for fanout-optimal fault-tolerant termination detection;betweenn...
来源: 评论
Lazier Imperative programming  14
Lazier Imperative Programming
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Douence, Remi Tabareau, Nicolas Mines Nantes Nantes France INRIA Le Chesnay France
Laziness is a powerful concept in functional programming that enables reusing general functions in a specific context, while keeping performance close to the efficiency of dedicated definitions. Lazy evaluation can be... 详细信息
来源: 评论
Declarative game programming distilled tutorial  14
Declarative game programming distilled tutorial
收藏 引用
16th International symposium on principles and practice of Declarative programming, PPDP 2014
作者: Nilsson, Henrik I., Perez University of Nottingham United Kingdom
Video games are usually not programmed very declaratively. there are a number of reasons for this, from low-level efficiency concerns, via the nature of commonly employed programming languages, libraries, and framewor... 详细信息
来源: 评论
Provably good scheduling for parallel programs that use data structures through implicit batching  14
Provably good scheduling for parallel programs that use data...
收藏 引用
2014 19th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2014
作者: Agrawal, Kunal Fineman, Jeremy T. Sheridan, Brendan Sukha, Jim Utterback, Robert Washington University in Saint Louis United States Georgetown University United States Intel Corporation United States
this poster proposes an efficient runtime scheduler that provides provable performance guarantees to parallel programs that use data structures through the use of implicit batching.
来源: 评论
Real-Time Matching of Antescofo Temporal Patterns  14
Real-Time Matching of <i>Antescofo</i> Temporal Patterns
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Giavitto, Jean-Louis Echeveste, Jose IRCAM UMR STMS 9912 CNRS 1 Pl Igor Stravinsky F-75004 Paris France INRIA MuTant Project 1 Pl Igor Stravinsky F-75004 Paris France Univ Paris 06 Sorbonne Univ 1 Pl Igor Stravinsky F-75004 Paris France
online matching. Antescofo is a real-time system for performance coordination between musicians and computer processes during live music concert. ATP are used to define complex events that correspond to a combination ... 详细信息
来源: 评论