咨询与建议

限定检索结果

文献类型

  • 336 篇 会议
  • 49 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 335 篇 工学
    • 290 篇 软件工程
    • 274 篇 计算机科学与技术...
    • 13 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 4 篇 机械工程
    • 4 篇 控制科学与工程
    • 4 篇 生物工程
    • 3 篇 电气工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 力学(可授工学、理...
    • 2 篇 动力工程及工程热...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 63 篇 理学
    • 58 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 17 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 6 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 法学
    • 3 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 73 篇 performance
  • 52 篇 parallel process...
  • 44 篇 parallel program...
  • 43 篇 languages
  • 42 篇 algorithms
  • 35 篇 design
  • 21 篇 gpu
  • 20 篇 parallel algorit...
  • 14 篇 experimentation
  • 12 篇 measurement
  • 11 篇 theory
  • 8 篇 mpi
  • 8 篇 parallel computi...
  • 7 篇 graphics process...
  • 7 篇 parallel
  • 7 篇 concurrency
  • 6 篇 scalability
  • 6 篇 parallelism
  • 6 篇 verification
  • 6 篇 openmp

机构

  • 7 篇 carnegie mellon ...
  • 4 篇 univ wisconsin d...
  • 4 篇 indiana univ blo...
  • 3 篇 univ of tokyo
  • 3 篇 tsinghua univers...
  • 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...

作者

  • 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 篇 chen wenguang
  • 4 篇 tan guangming
  • 4 篇 wang haojie
  • 4 篇 nikolopoulos dim...
  • 4 篇 long guoping
  • 4 篇 sarkar vivek
  • 4 篇 valero mateo
  • 4 篇 mellor-crummey j...
  • 4 篇 gu yan
  • 4 篇 kennedy ken
  • 3 篇 taura kenjiro

语言

  • 357 篇 英文
  • 28 篇 其他
检索条件"任意字段=9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
385 条 记 录,以下是361-370 订阅
排序:
Mapping parallelism to Multi-cores: A Machine Learning Based Approach
收藏 引用
acm sigplan NOTICES 2009年 第4期44卷 75-84页
作者: Wang, Zheng O'Boyle, Michael F. P. Univ Edinburgh Sch Informat Edinburgh EH8 9YL Midlothian Scotland
the efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. this paper proposes a portable and automatic compiler-based approach to mapping such parallelis... 详细信息
来源: 评论
Petascale Computing with Accelerators
收藏 引用
acm sigplan NOTICES 2009年 第4期44卷 241-249页
作者: Kistler, Michael Gunnels, John Brokenshire, Daniel Benton, Brad IBM Corp Austin TX 78758 USA IBM Corp Yorktown Hts NY 10598 USA
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybrid systems. In this paper, we describe... 详细信息
来源: 评论
Backtracking-based Load Balancing
收藏 引用
acm sigplan NOTICES 2009年 第4期44卷 55-64页
作者: Hiraishi, Tasuku Yasugi, Masahiro Umatani, Seiji Yuasa, Taiichi Kyoto Univ Acad Ctr Comp & Media Studies Kyoto 6068501 Japan Kyoto Univ Grad Sch Informat Kyoto 6068501 Japan
High-productivity languages for parallel computing become more important as parallel environments including multicores become more common. Cilk is such a language. It provides good load balancing for many applications... 详细信息
来源: 评论
Effective Performance Measurement and Analysis of Multithreaded Applications
收藏 引用
acm sigplan NOTICES 2009年 第4期44卷 229-239页
作者: Tallent, Nathan R. Mellor-Crummey, John M. Rice Univ Houston TX 77251 USA
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a shared-memory node populated with one or more multicore processors is a problem of growing practical... 详细信息
来源: 评论
Para-functional programming: A paradigm for programming multiprocessor systems  86
Para-functional programming: A paradigm for programming mult...
收藏 引用
13th AnnuaJ acm symposium on the principles of programming Languages, POPL 1986
作者: Hudak, Paul Smith, Lauren Yale University Department of Computer Science United States
One of the most important pragmatic advantages of functional languages is that concurrency in a program is implicit-there is no need for special constructs to express parallelism as is required in most conventional la... 详细信息
来源: 评论
ParGeo: a library for parallel computational geometry  22
ParGeo: a library for parallel computational geometry
收藏 引用
Proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming
作者: Yiqiu Wang Shangdi Yu Laxman Dhulipala Yan Gu Julian Shun MIT CSAIL UC Riverside
We present ParGeo, a multicore library for computational geometry algorithms. We describe two of the algorithms from ParGeo, convex hull and the smallest enclosing ball, and present a short evaluation of all implement...
来源: 评论
How to build programmable multi-core chips  09
How to build programmable multi-core chips
收藏 引用
Proceedings of the 14th acm sigplan symposium on principles and practice of parallel programming
作者: Jack B. Dennis Massachusetts Institute of Technology Cambridge MA USA
the arrival of multi-core chips has heightened interest in the discipline of parallel programming, a topic that has received much attention for many years. Computer architects have much to learn from sound principles ... 详细信息
来源: 评论
Automatic differentiation of parallel loops with formal methods  22
Automatic differentiation of parallel loops with formal meth...
收藏 引用
Proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming
作者: Jan Hückelheim Laurent Hascoët Argonne National Laboratory Inria Sophia Antipolis
the accompanying poster to this short paper presents a combination of reverse mode AD and formal methods to enable efficient differentiation of (or backpropagation through) shared-memory parallel code. Compared to the... 详细信息
来源: 评论
Formal Verification of Practical MPI Programs
收藏 引用
acm sigplan NOTICES 2009年 第4期44卷 261-269页
作者: Vo, Anh Vakkalanka, Sarvani DeLisi, Michael Gopalakrishnan, Ganesh Kirby, Robert M. thakur, Rajeev Univ Utah Sch Comp Salt Lake City UT 84112 USA Argonne Natl Lab Div Math & Comp Sci Argonne IL 60439 USA
this paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our approach, we directly model-check the MPI... 详细信息
来源: 评论
Engineering formal metatheory
收藏 引用
acm sigplan NOTICES 2008年 第1期43卷 3-15页
作者: Aydemir, Brian Chargueraud, Arthur Pierce, Benjamin C. Pollack, Randy Weirich, Stephanie Univ Penn Philadelphia PA 19104 USA Univ Edinburgh Edinburgh EH8 9YL Midlothian Scotland
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for technologies such as proof-carrying code. H... 详细信息
来源: 评论