共 50 条
- [31] Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code COMPUTER SECURITY-ESORICS 2024, PT III, 2024, 14984 : 153 - 173
- [32] Integration Verification across Software and Hardware for a Simple Embedded System PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 604 - 619
- [33] An Algorithm for Hardware/Software Partitioning Using Mixed Integer Linear Programming Design Automation for Embedded Systems, 1997, 2 : 165 - 193
- [35] An automatic hardware-software partitioner based on the possibilistic programming. EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS, 1996, : 467 - 472
- [37] Calculator: A Hardware Design, Math and Software Programming Project Base Learning MULTIDISCIPLINARY JOURNAL FOR EDUCATION SOCIAL AND TECHNOLOGICAL SCIENCES, 2015, 2 (01): : 110 - 127