共 50 条
- [1] Reusability-based software developing environment [J]. Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (04): : 385 - 388
- [2] Parallel linear algebra software [J]. PARALLEL PROCESSING FOR SCIENTIFIC COMPUTING, 2006, : 233 - 247
- [4] Testing linear algebra software [J]. QUALITY OF NUMERICAL SOFTWARE - ASSESSMENT AND ENHANCEMENT, 1997, : 109 - 124
- [8] DISTRIBUTED SOFTWARE TEST ENVIRONMENT [J]. ELECTRICAL COMMUNICATION, 1986, 60 (3-4): : 266 - 269
- [10] SAT as a Programming Environment for Linear Algebra [J]. FUNDAMENTA INFORMATICAE, 2010, 102 (01) : 115 - 127