咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
parallel breadth-first BDD construction
Parallel breadth-first BDD construction
收藏 引用
Proceedings of the 1997 6th acm sigplan symposium on principles and practice of parallel programming
作者: Yang, Bwolen O'Hallaron, David R. Carnegie Mellon Univ Pittsburgh United States
With the increasing complexity of protocol and circuit designs, formal verification has become an important research area and binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verificatio... 详细信息
来源: 评论
An Adaptive Performance Modeling Tool for GPU Architectures
An Adaptive Performance Modeling Tool for GPU Architectures
收藏 引用
15th acm sigplan symposium on principles and practice of parallel programming
作者: Baghsorkhi, Sara S. Delahaye, Matthieu Patel, Sanjay J. Gropp, William D. Hwu, Wen-mei W. Univ Illinois Urbana IL 61801 USA
this paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. the model is designed to provide performance information to an auto-tuning compiler and assist ... 详细信息
来源: 评论
throughput-Oriented GPU Memory Allocation  19
Throughput-Oriented GPU Memory Allocation
收藏 引用
24th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Gelado, Isaac Garland, Michael NVIDIA Santa Clara CA 95051 USA
throughput-oriented architectures, such as GPUs, can sustain three orders of magnitude more concurrent threads than multicore architectures. this level of concurrency pushes typical synchronization primitives (e.g., m... 详细信息
来源: 评论
Distributed data access in AC
Distributed data access in AC
收藏 引用
Proceedings of the 5th acm sigplan symposium on principles and practice of parallel programming
作者: Carlson, William W. Draper, Jesse M. IDA Supercomputing Research Cent Bowie United States
We have modified the C language to support a programming model based on a shared address space with physically distributed memory. With this model users can write programs in which the nodes of a massively parallel pr... 详细信息
来源: 评论
A collection-oriented programming model for performance portability  2015
A collection-oriented programming model for performance port...
收藏 引用
20th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2015
作者: Muralidharan, Saurav Garland, Michael Catanzaro, Bryan Sidelnik, Albert Hall, Mary University of Utah Salt Lake CityUT United States NVIDIA Corporation Santa ClaraCA United States Baidu Inc. SunnyvaleCA United States
this paper describes Surge, a collection-oriented programming model that enables programmers to compose parallel computations using nested high-level data collections and operators. Surge exposes a code generation int... 详细信息
来源: 评论
High performance Fortran for highly irregular problems
High performance Fortran for highly irregular problems
收藏 引用
Proceedings of the 1997 6th acm sigplan symposium on principles and practice of parallel programming
作者: Hu, Y.Charlie Johnsson, S.Lennart Teng, Shang-Hua Harvard Univ Cambridge United States
We present a general data parallel formulation for highly irregular problems in High Performance Fortran (HPF). Our formulation consists of (1) a method for linearizing irregular data structures (2) a data parallel im... 详细信息
来源: 评论
parallel execution of multi-set constraint rewrite rules  08
Parallel execution of multi-set constraint rewrite rules
收藏 引用
PPDP 2008: 10th International acm sigplan symposium on principles and practice of Declarative programming
作者: Sulzmann, Martin Lam, Edmund S. L. Programming Logics and Semantics Group IT University of Copenhagen Rued Langgaards Vej 7 2300 Copenhagen S Denmark School of Computing National University of Singapore S16 Level 5 3 Science Drive 2 Singapore 117543 Singapore
Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be appli... 详细信息
来源: 评论
Improving parallel shear-warp volume rendering on shared address space multiprocessors  97
Improving parallel shear-warp volume rendering on shared add...
收藏 引用
Proceedings of the 1997 6th acm sigplan symposium on principles and practice of parallel programming
作者: Jiang, Dongming Singh, Jaswinder Pal Princeton Univ Princeton NJ United States
this paper presents a new parallel volume rendering algorithm and implementation, based on shear warp factorization, for shared address space multiprocessors. Starting from an existing parallel shear-warp renderer, we... 详细信息
来源: 评论
Compilation of parallel multimedia computations - extending retiming theory and Amdahl's law  97
Compilation of parallel multimedia computations - extending ...
收藏 引用
Proceedings of the 1997 6th acm sigplan symposium on principles and practice of parallel programming
作者: Prasanna, G.N.Srinivasa Lucent Technologies Murray Hill NJ United States
Multimedia applications operate on downstreams. A large class of multimedia applications is described by the macro-dataflow graph model. this study attempted to examine how such multimedia applications can be compiled... 详细信息
来源: 评论
PPDP'08 Proceedings of the 10th International acm sigplan symposium on principles and practice of Declarative programming
PPDP'08 Proceedings of the 10th International ACM SIGPLAN Sy...
收藏 引用
PPDP 2008: 10th International acm sigplan symposium on principles and practice of Declarative programming
the proceedings contain 25 papers. the topics discussed include: order-sorted dependency pairs;macros for context-free grammars;inferring precise polymorphic type dependencies in logic programs;a type system for safe ...
来源: 评论