咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是241-250 订阅
排序:
Impala: a middleware system for managing autonomic, parallel sensor systems  03
Impala: a middleware system for managing autonomic, parallel...
收藏 引用
9th acm SIGPLAN symposium on principles and practice of parallel programming
作者: Liu, T Martonosi, M Princeton Univ Dept Comp Sci Princeton NJ 08544 USA Princeton Univ Dept Elect Engn Princeton NJ 08544 USA
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in some cases, actuate control mechanisms... 详细信息
来源: 评论
Formal Verification of Practical MPI Programs
Formal Verification of Practical MPI Programs
收藏 引用
14th acm SIGPLAN symposium on principles and practice of parallel programming
作者: 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... 详细信息
来源: 评论
ActorSpace: An open distributed programming paradigm  93
ActorSpace: An open distributed programming paradigm
收藏 引用
4th acm SIGPLAN symposium on principles and practice of parallel programming, PPOPP 1993
作者: Agha, Gul Callsen, Christian J. Department of Computer Science University of Illinois at Urbana-Champaign 1304 W. Springfield Avenue UrbanaIL61801 United States Department of Math and Comp. Science Aalborg University Frederik Bajers Vej 7E Aalborg Øst9220 Denmark
We present a new programming paradigm called ActorSpace. ActorSpace provides a new communication model based on destination patterns. An actorSpace is a computationally passive container of actors which acts as a cont... 详细信息
来源: 评论
Performance implications of communication mechanisms in all-software global address spaces systems
Performance implications of communication mechanisms in all-...
收藏 引用
Proceedings of the 1997 6th acm SIGPLAN symposium on principles and practice of parallel programming
作者: Lim, Beng-Hong Chang, Chi-Chao Czajkowski, Grzegorz von Eicken, thorsten IBM Corp Yorktown Heights United States
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming systems have been designed that synthesize... 详细信息
来源: 评论
Teaching parallel computing to science faculty: Best practices and common pitfalls
Teaching parallel computing to science faculty: Best practic...
收藏 引用
2006 acm SIGPLAN symposium on principles and practice of parallel programming, PPOPP'06
作者: Joiner, David A. Gray, Paul Murphy, thomas Peck, Charles Kean University 1000 Morris Ave Union NJ 07083 University of Northern Iowa 1227 West 27th St Cedar Falls IA 50614 Contra Costa College 2600 Mission Bell Dr San Pablo CA 94806 Earlham College 801 National Rd West Richmond IN 47374
In 2002, we first brought High Performance Computing (HPC) methods to the college classroom as a way to enrich Computational Science education. through the years, we have continued to facilitate college faculty in sci... 详细信息
来源: 评论
Decentralized execution of constraint handling rules for ensembles  13
Decentralized execution of constraint handling rules for ens...
收藏 引用
15th symposium on principles and practice of Declarative programming, PPDP 2013
作者: Lam, Edmund S. L. Cervesato, Iliano Carnegie Mellon University United States
CHR is a declarative, concurrent and committed choice rule-based constraint programming language. In this paper, we adapt CHR to provide a decentralized execution model for parallel and distributed programs. Specifica... 详细信息
来源: 评论
On the parallel I/O optimality of linear algebra kernels: Near-optimal LU factorization  21
On the parallel I/O optimality of linear algebra kernels: Ne...
收藏 引用
26th acm SIGPLAN symposium on principles and practice of parallel programming, PPoPP 2021
作者: Kwasniewski, Grzegorz Ben-Nun, Tal Ziogas, Alexandros Nikolaos Schneider, Timo Besta, MacIej Hoefler, Torsten Timo Schneider Maciej Besta Torsten Hoefler Department of Computer Science Eth Zurich Switzerland
Dense linear algebra kernels are fundamental components of many scientific computing applications. In this work we present a novel method of deriving parallel I/O lower bounds for this broad family of programs. Based ... 详细信息
来源: 评论
Reducing false sharing on shared memory multiprocessors through compile time data transformations  95
Reducing false sharing on shared memory multiprocessors thro...
收藏 引用
Proceedings of the 5th acm SIGPLAN symposium on principles and practice of parallel programming
作者: Jeremiassen, Tor E. Eggers, Susan J. AT&T Bell Lab Murray Hill NJ United States
We have developed compiler algorithms that analyze explicitly parallel programs and restructure their shared data to reduce the number of false sharing misses. the algorithms analyze per-process shared data accesses, ... 详细信息
来源: 评论
Proactive Work Stealing for Futures  19
Proactive Work Stealing for Futures
收藏 引用
24th acm SIGPLAN symposium on principles and practice of parallel programming (PPoPP)
作者: Singer, Kyle Xu, Yifan Lee, I-Ting Angelina Washington Univ St Louis MO USA
the use of futures provides a flexible way to express parallelism and can generate arbitrary dependences among parallel subcomputations. the additional flexibility that futures provide comes with a cost, however. When... 详细信息
来源: 评论
S-EnKF: Co-designing for Scalable Ensemble Kalman Filter  19
S-EnKF: Co-designing for Scalable Ensemble Kalman Filter
收藏 引用
24th acm SIGPLAN symposium on principles and practice of parallel programming (PPoPP)
作者: Xiao, Junmin Wang, Shijie Wan, Weiqiang Hong, Xuehai Tan, Guangming Univ Chinese Acad Sci Inst Comp Technol State Key Lab Comp Architecture Chinese Acad Sci Beijing Peoples R China
Ensemble Kalman filter (EnKF) is one of the most important methods for data assimilation, which is widely applied to the reconstruction of observed historical data for providing initial conditions of numerical atmosph... 详细信息
来源: 评论