共 50 条
- [32] Refactoring ISP for High-Level Vision Tasks 2022 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2022), 2022, : 2366 - 2372
- [33] Synthesizing fast intrusion prevention/detection systems from high-level specifications USENIX ASSOCIATION PROCEEDINGS OF THE EIGHTH USENIX SECURITY SYMPOSIUM (SECURITY '99), 1999, : 63 - 78
- [34] Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications 2017 INTERNATIONAL SYMPOSIUM ON MULTI-ROBOT AND MULTI-AGENT SYSTEMS (MRS), 2017,
- [35] Tutorial - Bluespec SystemVerilog: Efficient, correct RTL from high-level specifications Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 69 - 70
- [36] AUTOMATED TECHNIQUE FOR HIGH-LEVEL CIRCUIT SYNTHESIS FROM TEMPORAL LOGIC SPECIFICATIONS IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (03): : 145 - 152
- [38] A synthesis approach to deriving object-based specifications from object interaction scenarios ADVANCES IN INFORMATION SYSTEMS DEVELOPMENT, VOL 1 AND 2: BRIDGING THE GAP BETWEEN ACADEMIA AND INDUSTRY, 2006, : 647 - +
- [39] AUTOMATED HIGH-LEVEL VERIFICATION AGAINST CLOCKED ALGORITHMIC SPECIFICATIONS COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 147 - 154
- [40] Towards high-level, verifiable autonomous behaviors with temporal specifications PROCEEDINGS OF THE 2019 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2019, : 92 - 99