共 50 条
- [32] Towards an automatic diagnosis for high-level design validation INTERNATIONAL TEST CONFERENCE 1998, PROCEEDINGS, 1998, : 1010 - 1018
- [33] Towards High-Level Programming for Systems with Many Cores PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2014, 2015, 8974 : 111 - 126
- [34] High-level observability for effective high-level ATPG Proceedings of the IEEE VLSI Test Symposium, 2000, : 411 - 416
- [35] AUGUST 2013 High-level meeting on reducing medication error in hospitals EUROPEAN JOURNAL OF HOSPITAL PHARMACY-SCIENCE AND PRACTICE, 2013, 20 (06): : 373 - 373
- [36] INTERNATIONAL TOPICAL MEETING ON HIGH-LEVEL NUCLEAR WASTE-DISPOSAL PTB-MITTEILUNGEN, 1986, 96 (03): : 188 - 188
- [37] UN high-level meeting: time to act on universal health coverage LANCET, 2019, 394 (10200): : 731 - 732
- [38] HIGH-LEVEL AND LOW-LEVEL COMPUTER VISION - TOWARDS AN INTEGRATED APPROACH LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 549 : 322 - 331
- [39] Towards high-level, verifiable autonomous behaviors with temporal specifications PROCEEDINGS OF THE 2019 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2019, : 92 - 99
- [40] Towards a Comprehensive Benchmark for High-Level Synthesis Targeted to FPGAs ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,