research
∙
10/21/2022
Programming Bare-Metal Accelerators with Heterogeneous Threading Models: A Case Study of Matrix-3000
As the hardware industry moves towards using specialized heterogeneous m...
share
research
∙
05/05/2020
Parallel Programming Models for Heterogeneous Many-Cores : A Survey
Heterogeneous many-cores are now an integral part of modern computing sy...
research
∙
03/05/2020
Optimizing Streaming Parallelism on Heterogeneous Many-Core Architectures: A Machine Learning Based Approach
This article presents an automatic approach to quickly derive a good sol...
research
∙
11/05/2018
Non-ergodic Convergence Analysis of Heavy-Ball Algorithms
In this paper, we revisit the convergence of the Heavy-ball method, and ...
research
∙
03/16/2018
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Message Passing Interface (MPI) is the standard paradigm of programming ...
research
∙
12/22/2016
