咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Well-structured futures and cache locality  14
Well-structured futures and cache locality
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Herlihy, Maurice Liu, Zhiyu Computer Science Department Brown University United States
In fork-join parallelism, a sequential program is split into a directed acyclic graph of tasks linked by directed dependency edges, and the tasks are executed, possibly in parallel, in an order consistent with their d... 详细信息
来源: 评论
Efficient deterministic multithreading without global barriers  14
Efficient deterministic multithreading without global barrie...
收藏 引用
Proceedings of the 19th acm sigplan symposium on principles and practice of parallel programming
作者: Lu, Kai Zhou, Xu Bergan, Tom Wang, Xiaoping Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China University of Washington Computer Science and Engineering United States
Multithreaded programs execute nondeterministically on conventional architectures and operating systems. this complicates many tasks, including debugging and testing. Deterministic multithreading (DMT) makes the outpu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Data structures for task-based priority scheduling  14
Data structures for task-based priority scheduling
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Wimmer, Martin Versaci, Francesco Träff, Jesper Larsson Cederman, Daniel Tsigas, Philippas Faculty of Informatics Parallel Computing Vienna University of Technology 1040 Vienna/Wien Austria Computer Science and Engineering Chalmers University of Technology 412 96 Göteborg Sweden
We present three lock-free data structures for priority task scheduling: a priority work-stealing one, a centralized one with ρ-relaxed semantics, and a hybrid one combining both concepts. With the single-source shor... 详细信息
来源: 评论
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... 详细信息
来源: 评论
CUDA-NP: Realizing nested thread-level parallelism in GPGPU applications  14
CUDA-NP: Realizing nested thread-level parallelism in GPGPU ...
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Yang, Yi Zhou, Huiyang Department of Computing Systems Architecture NEC Laboratories America Inc. United States Department of Electrical and Computer Engineering North Carolina State University United States
parallel programs consist of series of code sections with different thread-level parallelism (TLP). As a result, it is rather common that a thread in a parallel program, such as a GPU kernel in CUDA programs, still co... 详细信息
来源: 评论
SCCMulti: An improved parallel strongly connected components algorithm  14
SCCMulti: An improved parallel strongly connected components...
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Tomkins, Daniel Smith, Timmie Amato, Nancy M. Rauchwerger, Lawrence Parasol Laboratory Department of Computer Science and Engineering Texas A and M University United States
Tarjan's famous linear time, sequential algorithm for finding the strongly connected components (SCCs) of a graph relies on depth first search, which is inherently sequential. Deterministic parallel algorithms sol... 详细信息
来源: 评论
Resilient X10: Efficient failure-aware programming  14
Resilient X10: Efficient failure-aware programming
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Cunningham, David Grove, David Herta, Benjamin Iyengar, Arun Kawachiya, Kiyokuni Murata, Hiroki Saraswat, Vijay Takeuchi, Mikio Tardieu, Olivier IBM T. J. Watson Research Center Japan Google Inc. Japan IBM Research Tokyo Japan
Scale-out programs run on multiple processes in a cluster. In scale-out systems, processes can fail. Computations using traditional libraries such as MPI fail when any component process fails. the advent of Map Reduce... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论