共 26 条
- [1] Ballard G., 2012, P 24 ACM S PAR ALG A, P193
- [2] Ballard G, 2011, SPAA 11: PROCEEDINGS OF THE TWENTY-THIRD ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, P1
- [3] Benson AR, 2015, ACM SIGPLAN NOTICES, V50, P42, DOI [10.1145/2858788.2688513, 10.1145/2688500.2688513]
- [6] Brent RichardP., 1970, ALGORITHMS MATRIX MU
- [8] Castrapel R.R., 2007, U.S. Patent, Patent No. [7209939B2, 7209939]
- [9] D'Alberto Paolo., 2014, Advances in Linear Algebra Matrix Theory, V4, P9
- [10] Z3: An efficient SMT solver [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 337 - 340