共 50 条
- [21] Looking back at dense linear algebra software [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2014, 74 (07) : 2548 - 2560
- [24] A linear iterative algorithm for distributed sensor localization [J]. 2008 42ND ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, VOLS 1-4, 2008, : 1160 - 1164
- [25] A SOFTWARE ENGINEERING ENVIRONMENT FOR DISTRIBUTED APPLICATIONS [J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 327 - 332
- [26] STANDARDS FOR SOFTWARE INTEGRATION IN A DISTRIBUTED ENVIRONMENT [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1992, 203 : 19 - CINF
- [27] Software Documentation in a Globally Distributed Environment [J]. 2014 IEEE 9TH INTERNATIONAL CONFERENCE ON GLOBAL SOFTWARE ENGINEERING (ICGSE), 2014, : 90 - 94
- [28] A DISTRIBUTED DEVELOPMENT ENVIRONMENT FOR EMBEDDED SOFTWARE [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (11): : 1235 - 1248
- [29] FLAME: Formal linear algebra methods environment [J]. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2001, 27 (04): : 422 - 455
- [30] Teaching Linear Algebra in a Mechanized Mathematical Environment [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2023, 2023, 14101 : 113 - 129