共 50 条
- [21] AN AUTOMATIC MICROCODE GENERATOR FOR HIGH-LEVEL LANGUAGE MACHINES MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 263 - 268
- [22] High-level symbolic simulation for automatic model extraction PROCEEDINGS OF THE 2009 IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2009, : 218 - 221
- [24] Automatic generation of high-level contact state space ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS, 1999, : 238 - 244
- [25] CERTIFY: AutomatiC MEasuRing The QualIty oF High-Level SYnthesis 2023 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, ISCAS, 2023,
- [26] Automatic verification of scheduling results in high-level synthesis DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 59 - 64
- [27] Towards an automatic diagnosis for high-level design validation INTERNATIONAL TEST CONFERENCE 1998, PROCEEDINGS, 1998, : 1010 - 1018
- [28] Unsupervised segmentation of low clouds from infrared METEOSAT images based on a contextual spatio-temporal labeling approach IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, 2002, 40 (01): : 104 - 114
- [29] High-level Tracking using Bayesian Context Fusion 2018 21ST INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2018, : 1415 - 1422