3 papers
cs.DC2020
Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures: A Machine Learning Based Approach
Peng Zhang, Jianbin Fang, Canqun Yang +3
This article presents an automatic approach to quickly derive a good solution for hardware resource partition and task granularity for task-based parallel applications on heterogen…
math.OC2018
Non-ergodic Convergence Analysis of Heavy-Ball Algorithms
Tao Sun, Penghang Yin, Dongsheng Li +3
In this paper, we revisit the convergence of the Heavy-ball method, and present improved convergence complexity results in the convex setting. We provide the first non-ergodic O(1/…
cs.PL2018
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…