共 50 条
- [41] Empirical software metrics for benchmarking of verification tools Formal Methods in System Design, 2017, 50 : 289 - 316
- [42] Benchmarking Hardware and Software Encoder Quality and Performance APPLICATIONS OF DIGITAL IMAGE PROCESSING XLVII, 2024, 13137
- [43] Benchmarking Software Model Checkers on Automotive Code NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 133 - 150
- [45] Benchmarking Software Requirements Documentation for Space Application COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2010, 6351 : 112 - +
- [46] An Approach for Trustworthiness Benchmarking using Software Metrics 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 84 - 93
- [47] Benchmarking Microservice Systems for Software Engineering Research PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 323 - 324
- [48] Benchmarking of energy efficiency software for centrifugal pumps PROCEEDINGS OF THE AMERICAN POWER CONFERENCE, VOL 58, PTS I AND II, 1996, 58 : 1242 - 1248
- [49] Empirical study on benchmarking software development tasks SOFTWARE PROCESS DYNAMICS AND AGILITY, PROCEEDINGS, 2007, 4470 : 221 - +
- [50] An evaluation/benchmarking of software "The Molder's Technician" CONFERENCE PROCEEDINGS AT ANTEC '98: PLASTICS ON MY MIND, VOLS I-3: VOL I; PROCESSING, VOL II; SPECIAL AREAS, VOL III; MATERIALS, 1998, 44 : 605 - 608