中文
相关论文

相关论文: ParaPlan: A Tool for Parallel Reachability Analysi…

200 篇论文

The proliferation of heterogeneous chip multiprocessors in recent years has reached unprecedented levels. Traditional homogeneous platforms have shown fundamental limitations when it comes to enabling high-performance yet-ultra-low-power…

We present a novel approach to the parallelization of the parabolic fast multipole method for a space-time boundary element method for the heat equation. We exploit the special temporal structure of the involved operators to provide an…

数值分析 · 数学 2023-01-31 Raphael Watschinger , Michal Merta , Günther Of , Jan Zapletal

Parallel-in-time methods are developed to accelerate the direct-adjoint looping procedure. Particularly, we utilize the Paraexp algorithm, previously developed to integrate equations forward in time, to accelerate the direct-adjoint looping…

最优化与控制 · 数学 2021-03-17 Calum S. Skene , Maximilian F. Eggl , Peter J. Schmid

Parallel search algorithms harness the multithreading capability of modern processors to achieve faster planning. One such algorithm is PA*SE (Parallel A* for Slow Expansions), which parallelizes state expansions to achieve faster planning…

机器人学 · 计算机科学 2023-01-11 Shohin Mukherjee , Sandip Aine , Maxim Likhachev

We present a novel multiscale numerical approach that combines parallel-in-time computation with hybrid domain adaptation for linear collisional kinetic equations in the diffusive regime. The method addresses the computational challenges of…

数值分析 · 数学 2025-11-18 Tino Laidin

Comprehensive evaluation is one of the basis of experimental science. In High-Performance Graph Processing, a thorough evaluation of contributions becomes more achievable by supporting common input formats over different frameworks.…

硬件体系结构 · 计算机科学 2025-10-29 Mohsen Koohi Esfahani , Marco D'Antonio , Syed Ibtisam Tauhidi , Thai Son Mai , Hans Vandierendonck

Efficient implementations of parallel applications on heterogeneous hybrid architectures require a careful balance between computations and communications with accelerator devices. Even if most of the communication time can be overlapped by…

分布式、并行与集群计算 · 计算机科学 2014-09-22 Raphaël Bleuse , Thierry Gautier , João V. F. Lima , Grégory Mounié , Denis Trystram

The paper introduces PDSP-Bench, a novel benchmarking system designed for a systematic understanding of performance of parallel stream processing in a distributed environment. Such an understanding is essential for determining how Stream…

分布式、并行与集群计算 · 计算机科学 2025-04-16 Pratyush Agnihotri , Boris Koldehofe , Roman Heinrich , Carsten Binnig , Manisha Luthra

Hardware heterogeneity is here to stay for high-performance computing. Large-scale systems are currently equipped with multiple GPU accelerators per compute node and are expected to incorporate more specialized hardware. This shift in the…

分布式、并行与集群计算 · 计算机科学 2023-03-09 Polykarpos Thomadakis , Nikos Chrisochoides

As deep neural networks (DNNs) become deeper, the training time increases. In this perspective, multi-GPU parallel computing has become a key tool in accelerating the training of DNNs. In this paper, we introduce a novel methodology to…

数值分析 · 数学 2024-07-08 Chang-Ock Lee , Youngkyu Lee , Jongho Park

We present an approach to approximate reachable sets for linear systems with bounded L-infinity controls in finite time. Our first approach investigates the boundaries of these sets and reveals an exact characterization for single-input,…

最优化与控制 · 数学 2026-03-18 Steven Nguyen , Jorge Cortés , Boris Kramer

The Simplex tableau has been broadly used and investigated in the industry and academia. With the advent of the big data era, ever larger problems are posed to be solved in ever larger machines whose architecture type did not exist in the…

分布式、并行与集群计算 · 计算机科学 2019-05-29 Demetrios Coutinho , Felipe O. Lins e Silva , Daniel Aloise , Samuel , Xavier-de-Souza

This paper studies the utility of using data analytics and machine learning techniques for identifying, classifying, and characterizing the dynamics of large-scale parallel (MPI) programs. To this end, we run microbenchmarks and realistic…

分布式、并行与集群计算 · 计算机科学 2023-09-06 Ayesha Afzal , Georg Hager , Gerhard Wellein , Stefano Markidis

Sequential algorithms for the Stable Matching Problem are often too slow in the context of some large scale applications like switch scheduling. Parallel architectures can offer a notable decrease in runtime complexity. We propose a stable…

数据结构与算法 · 计算机科学 2024-08-27 Scott Wynn , Alec Kyritsis , Stephora Alberi , Enyue Lu

We present and compare distributed parallelization strategies for the particle-in-Fourier (PIF) schemes used in kinetic plasma simulations. The different strategies are i) domain decomposition, where both the particles and Fourier modes are…

计算工程、金融与科学 · 计算机科学 2026-05-12 Sriramkrishnan Muralikrishnan , Paul Fischill , Andreas Adelmann , Robert Speck

Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the system with respect to variations of some uncontrollable…

分布式、并行与集群计算 · 计算机科学 2013-02-07 Youcheng Sun , Romain Soulat , Giuseppe Lipari , Étienne André , Laurent Fribourg

In a previous paper it was shown that a machine learning regression problem can be solved within the framework of random function theory, with the optimal kernel analytically derived from symmetry and indifference principles and coinciding…

机器学习 · 计算机科学 2025-12-19 Yuriy N. Bakhvalov

This article introduces a highly parallel algorithm for molecular dynamics simulations with short-range forces on single node multi- and many-core systems. The algorithm is designed to achieve high parallel speedups for strongly…

计算物理 · 物理学 2013-11-20 R. Meyer

Parareal is a well-studied algorithm for numerically integrating systems of time-dependent differential equations by parallelising the temporal domain. Given approximate initial values at each temporal sub-interval, the algorithm locates a…

数值分析 · 数学 2022-07-11 Kamran Pentland , Massimiliano Tamborrino , D. Samaddar , L. C. Appel

Stepped wedge designs (SWDs) are increasingly used to evaluate longitudinal cluster-level interventions but pose substantial challenges for valid inference. Because crossover times are randomized, intervention effects are intrinsically…

统计方法学 · 统计学 2026-05-12 Fan Xia , K. C. Gary Chan , Emily Voldal , Avi Kenny , Patrick J. Heagerty , James P. Hughes