共 50 条
- [21] TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware 2021 4TH INTERNATIONAL CONFERENCE ON BLOCKCHAIN TECHNOLOGY AND APPLICATIONS, ICBTA 2021, 2021, : 17 - 23
- [22] Object-Oriented Programming Hardware/Software Supports and Comparison PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION APPLICATIONS (ICCIA 2012), 2012, : 483 - 486
- [23] MULTI-IMAGE PROGRAMMING + STAGING RESOURCES - HARDWARE AND SOFTWARE THEATRE CRAFTS, 1979, 13 (05): : 40 - &
- [25] Model checking: From hardware to software PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 176 - 177
- [27] A Programming Model for Sustainable Software 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, : 767 - 777
- [28] An approach to hardware/software partitioning for multiple hardware devices model PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 376 - 385
- [30] Integration verification across software and hardware for a simple embedded system Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2021, : 604 - 619