咨询与建议

限定检索结果

文献类型

  • 333 篇 会议
  • 46 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 329 篇 工学
    • 283 篇 软件工程
    • 268 篇 计算机科学与技术...
    • 12 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 7 篇 控制科学与工程
    • 4 篇 机械工程
    • 4 篇 生物医学工程(可授...
    • 4 篇 生物工程
    • 2 篇 力学(可授工学、理...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 61 篇 理学
    • 55 篇 数学
    • 5 篇 系统科学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 1 篇 物理学
  • 19 篇 管理学
    • 11 篇 管理科学与工程(可...
    • 9 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 法学
    • 3 篇 社会学
  • 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 篇 scalability
  • 7 篇 graphics process...
  • 7 篇 parallel
  • 7 篇 concurrency
  • 6 篇 parallelism
  • 6 篇 semantics
  • 6 篇 openmp

机构

  • 8 篇 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

语言

  • 353 篇 英文
  • 26 篇 其他
检索条件"任意字段=6th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
379 条 记 录,以下是51-60 订阅
排序:
User-controllable coherence for high performance shared memory multiprocessors  03
User-controllable coherence for high performance shared memo...
收藏 引用
9th acm sigplan symposium on principles and practice of parallel programming
作者: McCurdy, C Fischer, C Univ Wisconsin Dept Comp Sci Madison WI 53706 USA
In programming high performance applications, shared address-space platforms are preferable for fine-grained computation, while distributed address-space platforms are more suitable for coarse-grained computation. How... 详细信息
来源: 评论
Space-efficient implementation of nested parallelism
Space-efficient implementation of nested parallelism
收藏 引用
Proceedings of the 1997 6th acm sigplan symposium on principles and practice of parallel programming
作者: Narlikar, Girija J. Blelloch, Guy E. CMU Sch of Computer Science Pittsburgh United States
Many of today's high level parallel languages support dynamic, fine-grained parallelism. these languages allow the user to expose all the parallelism in the program, which is typically of a much higher degree than... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the Boat Hull Model: Adapting the Roofline Model to Enable Performance Prediction for parallel Computing  12
The Boat Hull Model: Adapting the Roofline Model to Enable P...
收藏 引用
17th acm sigplan symposium on principles and practice of parallel programming
作者: Nugteren, Cedric Corporaal, Henk Eindhoven Univ Technol NL-5600 MB Eindhoven Netherlands
Multi-core and many-core were already major trends for the past six years, and are expected to continue for the next decades. With these trends of parallel computing, it becomes increasingly difficult to decide on whi... 详细信息
来源: 评论
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.
来源: 评论
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.
来源: 评论
Turbocharging Boosted Transactions or: How I Learnt to Stop Worrying and Love Longer Transactions
Turbocharging Boosted Transactions or: How I Learnt to Stop ...
收藏 引用
14th acm sigplan symposium on principles and practice of parallel programming
作者: Kulkarni, Chinmay Unsal, Osman Cristal, Adrian Ayguade, Eduard Valero, Mateo Birla Inst Technol & Sci Pilani Rajasthan India Tech Univ Catalunya Catalunya Spain
Boosted transactions offer an attractive method that enables programmers to create larger transactions that scale well and offer deadlock-free guarantees. However, as boosted transactions get larger, they become more ... 详细信息
来源: 评论
Preliminary Results on NB-FEB, a Synchronization Primitive for parallel programming
Preliminary Results on NB-FEB, a Synchronization Primitive f...
收藏 引用
14th acm sigplan symposium on principles and practice of parallel programming
作者: Ha, Phuong Hoai Tsigas, Philippas Anshus, Otto J. Univ Tromso N-9001 Tromso Norway Chalmers Univ Technol Gothenburg Sweden
We introduce a non-blocking full/empty bit primitive, or NB-FEB for short, as a promising synchronization primitive for parallel programming on may-core architectures. We show that the NB-FEB primitive is universal, s... 详细信息
来源: 评论
Energy-optimal configuration selection for manycore chips with variation
收藏 引用
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS 2017年 第5期31卷 451-466页
作者: Langer, Akhil Totoni, Ehsan Palekar, Udatta Kale, Laxmikant V. Intel Fed 1906 Fox Dr Champaign IL 61820 USA Univ Illinois Coll Business Urbana IL 61801 USA Univ Illinois Dept Comp Sci 1304 W Springfield Ave Urbana IL 61801 USA
Operating chips at high energy efficiency is one of the major challenges for modern large-scale supercomputers. Low-voltage operation of transistors increases the energy efficiency but leads to frequency and power var... 详细信息
来源: 评论
L2C2: Logic-based LSC Consistency Checking
L2C2: Logic-based LSC Consistency Checking
收藏 引用
11th International acm sigplan symposium on principles and practice of Declarative programming (PPDP 09)
作者: Guo, Hai-Feng Zheng, Wen Subramaniam, Mahadevan Univ Nebraska Dept Comp Sci Omaha NE 68182 USA
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a logic-based framework to check the con... 详细信息
来源: 评论