共 50 条
- [21] Test generation for hardware-software covalidation using non-linear programming SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 175 - 180
- [22] Economical development of software and hardware-software products Eur Space Agency Brochure ESA BR, BR-154 (18):
- [23] Modeling and synthesis of hardware-software morphing 2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, 2007, : 2746 - 2749
- [24] Axiomatic Hardware-Software Contracts for Security PROCEEDINGS OF THE 2022 THE 49TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA '22), 2022, : 72 - 86
- [25] COMET: A hardware-software codesign methodology EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 178 - 183
- [26] Hardware-Software Partitioning at the Knowledge Level Applied Intelligence, 1999, 10 : 173 - 184
- [27] Hardware-Software Integrated Diagnosis for Intermittent Hardware Faults 2014 44TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2014, : 363 - 374