咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Effective Performance Measurement and Analysis of Multithreaded Applications
Effective Performance Measurement and Analysis of Multithrea...
收藏 引用
14th acm sigplan symposium on principles and practice of parallel programming
作者: 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... 详细信息
来源: 评论
parallel and Distributed Bounded Model Checking of Multi-threaded Programs  20
Parallel and Distributed Bounded Model Checking of Multi-thr...
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Inverso, Omar Trubiani, Catia Gran Sasso Sci Inst Laquila Italy
We introduce a structure-aware parallel technique for context-bounded analysis of concurrent programs. the key intuition consists in decomposing the set of concurrent traces into symbolic subsets that are separately e... 详细信息
来源: 评论
Building parallel programming language constructs in the AbleC extensible C compiler framework A PPoPP Tutorial  19
Building parallel programming language constructs in the Abl...
收藏 引用
24th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Carlson, Travis Van Wyk, Eric Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA
In this tutorial participants learn how to build their own parallel programming language features by developing them as language extensions in the ableC [4] extensible C compiler framework. By implementing new paralle... 详细信息
来源: 评论
Provably good scheduling for parallel programs that use data structures through implicit batching  14
Provably good scheduling for parallel programs that use data...
收藏 引用
2014 19th acm sigplan symposium on principles and practice of parallel programming, PPoPP 2014
作者: Agrawal, Kunal Fineman, Jeremy T. Sheridan, Brendan Sukha, Jim Utterback, Robert Washington University in Saint Louis United States Georgetown University United States Intel Corporation United States
this poster proposes an efficient runtime scheduler that provides provable performance guarantees to parallel programs that use data structures through the use of implicit batching.
来源: 评论
the Pilot Library for Novice MPI Programmers
The Pilot Library for Novice MPI Programmers
收藏 引用
15th acm sigplan symposium on principles and practice of parallel programming
作者: Carter, John D. Gardner, William B. Grewal, Gary Univ Guelph Sch Comp Sci Guelph ON N1G 2W1 Canada
the Pilot library is a new method for programming MPI-enabled clusters in C, targeted at novice parallel programmers. Formal elements from Communicating Sequential Processes (CSP) are used to realize a process/channel... 详细信息
来源: 评论
programming the Memory Hierarchy Revisited: Supporting Irregular parallelism in Sequoia  11
Programming the Memory Hierarchy Revisited: Supporting Irreg...
收藏 引用
16th acm symposium on principles and practice of parallel programming
作者: Bauer, Michael Clark, John Schkufza, Eric Aiken, Alex Stanford Univ Dept Comp Sci Stanford CA 94305 USA
We describe two novel constructs for programming parallel machines with multi-level memory hierarchies: call-up, which allows a child task to invoke computation on its parent, and spawn, which spawns a dynamically det... 详细信息
来源: 评论
Swift/T: Scalable Data Flow programming for Many-Task Applications  13
Swift/T: Scalable Data Flow Programming for Many-Task Applic...
收藏 引用
18th acm sigplan symposium on principles and practice of parallel programming
作者: Wozniak, Justin M. Armstrong, Timothy G. Wilde, Michael Katz, Daniel S. Lusk, Ewing Foster, Ian T. Argonne Natl Lab Argonne IL 60439 USA Univ Chicago Chicago IL 60637 USA
Swift/T, a novel programming language implementation for highly scalable data flow programs, is presented.
来源: 评论
parallel Type-checking with Haskell using Saturating LVars and Stream Generators  16
Parallel Type-checking with Haskell using Saturating LVars a...
收藏 引用
21st acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Newton, Ryan R. Agacan, Omer S. Fogg, Peter Tobin-Hochstadt, Sam Indiana Univ Bloomington IN 47405 USA edX Cambridge MA USA
Given the sophistication of recent type systems, unification-based type-checking and inference can be a time-consuming phase of compilation-especially when union types are combined with subtyping. It is natural to con... 详细信息
来源: 评论
ARMI: An adaptive, platform independent communication library  03
ARMI: An adaptive, platform independent communication librar...
收藏 引用
9th acm sigplan symposium on principles and practice of parallel programming
作者: Saunders, S Rauchwerger, L Texas A&M Univ Dept Comp Sci College Stn TX 77843 USA
ARMI is a communication library that provides a framework for expressing fine-grain parallelism and mapping it to a particular machine using shared-memory and message passing library calls. the library is an advanced ... 详细信息
来源: 评论
PLUM: Static parallel Program Locality Analysis under Uniform Multiplexing  20
PLUM: Static Parallel Program Locality Analysis under Unifor...
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Liu, Fangzhou Chen, Dong Smith, Wesley Ding, Chen Univ Rochester Rochester NY 14627 USA Natl Univ Def Technol Changsha Peoples R China
Data movement has a significant impact on program performance. For multithread programs, this impact is amplified, since different threads often interfere with each other by competing for shared cache space. However, ... 详细信息
来源: 评论