共 50 条
- [1] A system for automatic evaluation of programs for correctness and performance [J]. WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: SOCIETY, E-BUSINESS AND E-GOVERNMENT / E-LEARNING, 2006, : 196 - 203
- [2] Automatic performance evaluation of parallel programs [J]. PROCEEDINGS OF THE SIXTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING - PDP '98, 1998, : 43 - 49
- [3] Automatic Verification of Partial Correctness of Golog Programs [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3113 - 3119
- [4] Automatic evaluation of correctness and originality of source codes [J]. 10TH EUROPEAN WORKSHOP ON MICROELECTRONICS EDUCATION (EWME), 2014, : 49 - 52
- [5] An automatic system for a helicopter autopilot performance evaluation [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2019, 91 (06): : 880 - 885
- [6] A Computer System for Automatic Evaluation of Researchers' Performance [J]. PROCEEDINGS OF ISSI 2015 ISTANBUL: 15TH INTERNATIONAL SOCIETY OF SCIENTOMETRICS AND INFORMETRICS CONFERENCE, 2015, : 425 - 435
- [7] An automatic performance test and evaluation system for IRFPA [J]. 2022 IEEE 24TH INTERNATIONAL WORKSHOP ON MULTIMEDIA SIGNAL PROCESSING (MMSP), 2022,
- [8] On the Correctness of GPU Programs [J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 443 - 447
- [10] PROVING CORRECTNESS OF PROGRAMS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A334 - A335