咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 467 篇 工学
    • 413 篇 软件工程
    • 361 篇 计算机科学与技术...
    • 21 篇 电子科学与技术(可...
    • 21 篇 控制科学与工程
    • 9 篇 信息与通信工程
    • 5 篇 机械工程
    • 5 篇 电气工程
    • 4 篇 生物工程
    • 3 篇 动力工程及工程热...
    • 3 篇 生物医学工程(可授...
    • 2 篇 力学(可授工学、理...
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 1 篇 冶金工程
  • 87 篇 理学
    • 78 篇 数学
    • 12 篇 系统科学
    • 7 篇 统计学(可授理学、...
    • 4 篇 生物学
    • 2 篇 物理学
    • 2 篇 化学
    • 1 篇 大气科学
    • 1 篇 地质学
  • 25 篇 管理学
    • 19 篇 管理科学与工程(可...
    • 14 篇 工商管理
    • 6 篇 图书情报与档案管...
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 74 篇 performance
  • 72 篇 parallel process...
  • 63 篇 parallel program...
  • 44 篇 algorithms
  • 42 篇 languages
  • 35 篇 design
  • 26 篇 parallel algorit...
  • 25 篇 gpu
  • 15 篇 computer program...
  • 14 篇 parallel computi...
  • 13 篇 parallel
  • 12 篇 experimentation
  • 12 篇 measurement
  • 10 篇 mpi
  • 10 篇 transactional me...
  • 9 篇 graphics process...
  • 9 篇 theory
  • 9 篇 concurrency
  • 8 篇 multicore
  • 8 篇 synchronization

机构

  • 13 篇 carnegie mellon ...
  • 7 篇 indiana univ blo...
  • 4 篇 univ wisconsin d...
  • 4 篇 univ chinese aca...
  • 4 篇 univ illinois ur...
  • 4 篇 swiss fed inst t...
  • 4 篇 mit csail united...
  • 4 篇 shanghai jiao to...
  • 4 篇 mit comp sci & a...
  • 4 篇 rice university
  • 4 篇 univ rochester r...
  • 4 篇 purdue univ w la...
  • 3 篇 univ of tokyo
  • 3 篇 tsinghua univ de...
  • 3 篇 massachusetts in...
  • 3 篇 ohio state univ ...
  • 3 篇 carnegie mellon ...
  • 3 篇 inria rocquencou...
  • 3 篇 itmo univ st pet...
  • 3 篇 tsinghua univ pe...

作者

  • 9 篇 chen haibo
  • 8 篇 hoefler torsten
  • 8 篇 blelloch guy e.
  • 8 篇 agrawal kunal
  • 7 篇 garland michael
  • 7 篇 leiserson charle...
  • 6 篇 sun yihan
  • 6 篇 zhai jidong
  • 6 篇 shun julian
  • 6 篇 mellor-crummey j...
  • 5 篇 rainey mike
  • 5 篇 miller barton p.
  • 5 篇 krishnamoorthy s...
  • 5 篇 tsigas philippas
  • 5 篇 padua david
  • 5 篇 nikolopoulos dim...
  • 5 篇 lam monica s.
  • 5 篇 valero mateo
  • 5 篇 scott michael l.
  • 4 篇 taura kenjiro

语言

  • 538 篇 英文
  • 26 篇 其他
检索条件"任意字段=Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming"
564 条 记 录,以下是71-80 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
parallel algorithms for masked sparse matrix-matrix products  22
Parallel algorithms for masked sparse matrix-matrix products
收藏 引用
proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming
作者: Srđan Milaković Oguz Selvitopi Israt Nisa Zoran Budimlić Aydin Buluç Rice University Lawrence Berkeley Nat. Laboratory AWS AI
Computing the product of two sparse matrices (SpGEMM) is a fundamental operation in various combinatorial and graph algorithms as well as various bioinformatics and data analytics applications for computing inner-prod... 详细信息
来源: 评论
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, ... 详细信息
来源: 评论
PPoPP 2020 - proceedings of the 2020 25th acm sigplan symposium on principles and practice of parallel programming
PPoPP 2020 - Proceedings of the 2020 25th ACM SIGPLAN Sympos...
收藏 引用
Journal Track at 18th International Semantic Web Conference, JT@ISWC 2019
The proceedings contain 13 papers. The topics discussed include: a guided walk into link key candidate extraction with relational concept analysis;reflections on profiling and cataloguing the content of SPARQL endpoin...
来源: 评论
LB-HM: load balance-aware data placement on heterogeneous memory for task-parallel HPC applications  22
LB-HM: load balance-aware data placement on heterogeneous me...
收藏 引用
proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming
作者: Zhen Xie Jie Liu Sam Ma Jiajia Li Dong Li University of California College of William & Mary
The emergence of heterogeneous memory (HM) provides a cost-effective and high-performance solution to memory-consuming HPC applications. However, using HM, wisely migrating data objects on it is critical for high perf...
来源: 评论
parallel Determinacy Race Detection for Futures  20
Parallel Determinacy Race Detection for Futures
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Xu, Yifan Singer, Kyle Lee, I-Ting Angelina Washington Univ St Louis St Louis MO 63130 USA
The use of futures can generate arbitrary dependences in the computation, making it difficult to detect races efficiently. Algorithms proposed by priorwork to detect races on programs with futures all have to execute ...
来源: 评论
A parallel branch-and-bound algorithm with history-based domination  22
A parallel branch-and-bound algorithm with history-based dom...
收藏 引用
proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming
作者: Taspon Gonggiatgul Ghassan Shobaki Pinar Muyan-Özçelik California State University
In this paper, we describe a parallel Branch-and-Bound (B&B) algorithm with a history-based domination technique, and we apply it to the Sequential Ordering Problem (SOP). To the best of our knowledge, the propose... 详细信息
来源: 评论
Automatic synthesis of parallel unix commands and pipelines with KumQuat  22
Automatic synthesis of parallel unix commands and pipelines ...
收藏 引用
proceedings of the 27th acm sigplan symposium on principles and practice of parallel programming
作者: Jiasi Shen Martin Rinard Nikos Vasilakis MIT
We present KumQuat, a system for automatically generating data-parallel implementations of Unix shell commands and pipelines. The generated parallel versions split input streams, execute multiple instantiations of the... 详细信息
来源: 评论
A parallel Sparse Tensor Benchmark Suite on CPUs and GPUs  20
A Parallel Sparse Tensor Benchmark Suite on CPUs and GPUs
收藏 引用
25th acm sigplan symposium on principles and practice of parallel programming (PPoPP)
作者: Li, Jiajia Lakshminarasimhan, Mahesh Wu, Xiaolong Li, Ang Olschanowsky, Catherine Barker, Kevin Pacific Northwest Natl Lab Richland WA 99352 USA Univ Utah Salt Lake City UT USA Purdue Univ W Lafayette IN 47907 USA Boise State Univ Boise ID 83725 USA
Tensor computations present significant performance challenges that impact a wide spectrum of applications. Efforts on improving the performance of tensor computations include exploring data layout, execution scheduli... 详细信息
来源: 评论