共 50 条
- [22] Some parallel algorithms for integer factorisation EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 1 - 22
- [23] An Experimental Analysis of Parallel Sorting Algorithms Theory of Computing Systems, 1998, 31 : 135 - 167
- [29] A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 257 - 275