20 citations · 25 across the 10 of their papers we have counts for
1 paper · 2 filters
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…