中文
相关论文

相关论文: ACL2 Meets the GPU: Formalizing a CUDA-based Paral…

200 篇论文

Subgraph matching is a basic operation widely used in many applications. However, due to its NP-hardness and the explosive growth of graph data, it is challenging to compute subgraph matching, especially in large graphs. In this paper, we…

数据库 · 计算机科学 2021-02-25 Xin Jin , Zhengyi Yang , Xuemin Lin , Shiyu Yang , Lu Qin , You Peng

The implementation of a vast majority of machine learning (ML) algorithms boils down to solving a numerical optimization problem. In this context, Stochastic Gradient Descent (SGD) methods have long proven to provide good results, both in…

分布式、并行与集群计算 · 计算机科学 2015-10-06 Janis Keuper , Franz-Josef Pfreundt

Graphics Processing Units (GPUs) and other parallel devices are widely available and have the potential for accelerating a wide class of algorithms. However, expert programming skills are required to achieving maximum performance. hese…

分布式、并行与集群计算 · 计算机科学 2017-10-24 Robert Atkey , Michel Steuwer , Sam Lindley , Christophe Dubach

AcceleratedKernels.jl is introduced as a backend-agnostic library for parallel computing in Julia, natively targeting NVIDIA, AMD, Intel, and Apple accelerators via a unique transpilation architecture. Written in a unified, compact…

分布式、并行与集群计算 · 计算机科学 2025-07-23 Andrei-Leonard Nicusan , Dominik Werner , Simon Branford , Simon Hartley , Andrew J. Morris , Kit Windows-Yule

We introduce stronger notions for approximate single-source shortest-path distances, show how to efficiently compute them from weaker standard notions, and demonstrate the algorithmic power of these new notions and transformations. One…

数据结构与算法 · 计算机科学 2022-11-01 Václav Rozhoň , Bernhard Haeupler , Anders Martinsson , Christoph Grunau , Goran Zuzic

For the problem whether Graphic Processing Unit(GPU),the stream processor with high performance of floating-point computing is applicable to neural networks, this paper proposes the parallel recognition algorithm of Convolutional Neural…

分布式、并行与集群计算 · 计算机科学 2018-08-28 Yi-bin Huang , Kang Li , Ge Wang , Min Cao , Pin Li , Yu-jia Zhang

Machine learning models are increasingly being trained across multiple GPUs and servers. In this setting, data is transferred between GPUs using communication collectives such as AlltoAll and AllReduce, which can become a significant…

分布式、并行与集群计算 · 计算机科学 2022-10-06 Aashaka Shah , Vijay Chidambaram , Meghan Cowan , Saeed Maleki , Madan Musuvathi , Todd Mytkowicz , Jacob Nelson , Olli Saarikivi , Rachee Singh

In a general graph data structure like an adjacency matrix, when edges are homogeneous, the connectivity of two nodes can be sufficiently represented using a single bit. This insight has, however, not yet been adequately exploited by the…

分布式、并行与集群计算 · 计算机科学 2022-02-23 Jou-An Chen , Hsin-Hsuan Sung , Xipeng Shen , Nathan Tallent , Kevin Barker , Ang Li

High-performance implementations of graph algorithms are challenging to implement on new parallel hardware such as GPUs because of three challenges: (1) the difficulty of coming up with graph building blocks, (2) load imbalance on parallel…

分布式、并行与集群计算 · 计算机科学 2021-06-16 Carl Yang , Aydin Buluc , John D. Owens

Analysis of processing time and similarity of images generated between CPU and GPU architectures and sequential and parallel programming. For image processing a computer with AMD FX-8350 processor and an Nvidia GTX 960 Maxwell GPU was used,…

ACL2 provides a systems programming capability that allows one to write code that uses and extends ACL2 inside of ACL2. However, for soundness reasons, ACL2 bars the unrestricted use of certain kinds of programming constructs, like…

计算机科学中的逻辑 · 计算机科学 2022-05-25 Andrew T. Walter , Panagiotis Manolios

In GPU-accelerated data analytics, the overhead of data transfer from CPU to GPU becomes a performance bottleneck when the data scales beyond GPU memory capacity due to the limited PCIe bandwidth. Data compression has come to rescue for…

数据库 · 计算机科学 2026-02-10 Gwangoo Yeo , Zhiyang Shen , Wei Cui , Matteo Interlandi , Rathijit Sen , Bailu Ding , Qi Chen , Minsoo Rhu

Connected components and spanning forest are fundamental graph algorithms due to their use in many important applications, such as graph clustering and image segmentation. GPUs are an ideal platform for graph algorithms due to their high…

分布式、并行与集群计算 · 计算机科学 2020-08-28 Changwan Hong , Laxman Dhulipala , Julian Shun

This paper presents a heuristic for finding the optimum number of CUDA streams by using tools common to the modern AI-oriented approaches and applied to the parallel partition algorithm. A time complexity model for the GPU realization of…

分布式、并行与集群计算 · 计算机科学 2026-05-22 Milena Veneva , Toshiyuki Imamura

In this paper, we explore the limits of graphics processors (GPUs) for general purpose parallel computing by studying problems that require highly irregular data access patterns: parallel graph algorithms for list ranking and connected…

分布式、并行与集群计算 · 计算机科学 2010-02-25 Frank Dehne , Kumanan Yogaratnam

Graphics Processing Units (GPUs) have become the standard in accelerating scientific applications on heterogeneous systems. However, as GPUs are getting faster, one potential performance bottleneck with GPU-accelerated applications is the…

分布式、并行与集群计算 · 计算机科学 2025-05-01 Jonah Ekelund , Stefano Markidis , Ivy Peng

Genetic Programming (GP) is a computationally intensive technique which also has a high degree of natural parallelism. Parallel computing architectures have become commonplace especially with regards Graphics Processing Units (GPU). Hence,…

分布式、并行与集群计算 · 计算机科学 2016-01-05 Darren M. Chitty

In a finite undirected simple graph, a chordless cycle is an induced subgraph which is a cycle. We propose a GPU parallel algorithm for enumerating all chordless cycles of such a graph. The algorithm, implemented in OpenCL, is based on a…

分布式、并行与集群计算 · 计算机科学 2015-06-26 Elisângela Silva Dias , Diane Castonguay , Humberto Longo , Walid Abdala Rfaei Jradi , Hugo A. D. do Nascimento

Graph neural networks (GNN) have shown great success in learning from graph-structured data. They are widely used in various applications, such as recommendation, fraud detection, and search. In these domains, the graphs are typically large…

分布式、并行与集群计算 · 计算机科学 2022-03-15 Da Zheng , Xiang Song , Chengru Yang , Dominique LaSalle , George Karypis

In this paper, we propose the Asynchronous Accelerated Nonuniform Randomized Block Coordinate Descent algorithm (A2BCD), the first asynchronous Nesterov-accelerated algorithm that achieves optimal complexity. This parallel algorithm solves…

最优化与控制 · 数学 2018-05-22 Robert Hannah , Fei Feng , Wotao Yin