咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
Heuristics Entwined with Handlers Combined From Functional Specification to Logic programming Implementation  14
Heuristics Entwined with Handlers Combined From Functional S...
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Schrijvers, Tom Wu, Nicolas Desouter, Benoit Demoen, Bart Univ Ghent Ghent Belgium Univ Oxford Oxford England Katholieke Univ Leuven Leuven Belgium
A long-standing problem in logic programming is how to cleanly separate logic and control. While solutions exist, they fall short in one of two ways: some are too intrusive, because they require significant changes to... 详细信息
来源: 评论
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems  14
Structure-Preserving Compilation: Efficient Integration of F...
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Kranz, Julian Simon, Axel Tech Univ Munich Inst Informat 2 Garching Germany
We present a translation scheme from a pure functional domain-specific language (DSL) to C. the over-arching idea of this scheme is to preserve the structure of the input program as much as possible. this includes, am... 详细信息
来源: 评论
Assertion-based Debugging of Higher-Order (C) LP Programs  14
Assertion-based Debugging of Higher-Order (C) LP Programs
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Stulova, Nataliia Morales, Jose F. Hermenegildo, Manuel V. IMDEA Software Inst Madrid Spain Tech Univ Madrid UPM Sch Comp Sci Madrid Spain
Higher-order constructs extend the expressiveness of firstorder (Constraint) Logic programming ((C) LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C) LP systems... 详细信息
来源: 评论
BiFluX: A Bidirectional Functional Update Language for XML  14
BiFluX: A Bidirectional Functional Update Language for XML
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Pacheco, Hugo Zan, Tao Hu, Zhenjiang Cornell Univ Ithaca NY 14853 USA Grad Univ Adv Studies Hayama Kanagawa Japan Natl Inst Informat Tokyo Japan
Different XML formats are widely used for data exchange and processing, being often necessary to mutually convert between them. Standard XML transformation languages, like XSLT or XQuery, are unsatisfactory for this p... 详细信息
来源: 评论
parallelizing dynamic programming through rank convergence  14
Parallelizing dynamic programming through rank convergence
收藏 引用
2014 19th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2014
作者: Maleki, Saeed Musuvathi, Madanlal Mytkowicz, Todd Univerity of Illinois at Urbana-Champaign United States Microsoft Research United States
this paper proposes an efficient parallel algorithm for an important class of dynamic programming problems that includes Viterbi, Needleman-Wunsch, Smith-Waterman, and Longest Common Subsequence. In dynamic programmin... 详细信息
来源: 评论
Extracting logical structure and identifying stragglers in parallel execution traces  14
Extracting logical structure and identifying stragglers in p...
收藏 引用
2014 19th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2014
作者: Isaacs, Katherine E. Gamblin, Todd Bhatele, Abhinav Bremer, Peer-Timo Schulz, Martin Hamann, Bernd Department of Computer Science University of California Davis United States Center for Applied Scientific Computing Lawrence Livermore National Laboratory United States
We introduce a new approach to automatically extract an idealized logical structure from a parallel execution trace. We use this structure to define intuitive metrics such as the lateness of a process involved in a pa... 详细信息
来源: 评论
Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems  14
Initial study of multi-endpoint runtime for MPI+OpenMP hybri...
收藏 引用
2014 19th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2014
作者: Luo, Miao Lu, Xiaoyi Hamidouche, Khaled Kandalla, Krishna Panda, Dhabaleswar K. Dept. of Computer Science and Engineering Ohio State University United States
State-of-the-art MPI libraries rely on locks to guarantee thread-safety. this discourages application developers from using multiple threads to perform MPI operations. In this paper, we propose a high performance, loc... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUs  14
Fine-grain parallel megabase sequence comparison with multip...
收藏 引用
2014 19th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2014
作者: De Sandes, Edans F.O. Miranda, Guillermo Melo, Alba C.M.A. Martorell, Xavier Ayguadé, Eduard University of Brasilia Brazil Universitat Politècnica de Catalunya Barcelona Supercomputing Center Spain
this paper proposes and evaluates a parallel strategy to execute the exact Smith-Waterman (SW) algorithm for megabase DNA sequences in heterogeneous multi-GPU platforms. In our strategy, the computation of a single hu... 详细信息
来源: 评论
PPDP 2014 - Proceedings of the 16th International symposium on principles and practice of Declarative programming
PPDP 2014 - Proceedings of the 16th International Symposium ...
收藏 引用
16th International symposium on principles and practice of Declarative programming, PPDP 2014
the proceedings contain 27 papers. the topics discussed include: Lazier imperative programming;parametricity and proving free theorems for functional-logic languages;bijective collection encodings and Boolean operatio...
来源: 评论