共 50 条
- [41] 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
- [42] A digital-to-digital interface for a laboratory microcomputer: Hardware and software Chemical, biomedical, and environmental instrumentation, 1982, 12 (04): : 289 - 297
- [43] Interface generation for concurrent processes during hardware/software cosynthesis 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 109 - 114
- [44] Automatic Hardware/Software Interface Generation for SynDEx-mixte 2014 1ST INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES FOR SIGNAL AND IMAGE PROCESSING (ATSIP 2014), 2014, : 512 - 516
- [45] A DIGITAL-TO-DIGITAL INTERFACE FOR A LABORATORY MICROCOMPUTER - HARDWARE AND SOFTWARE CHEMICAL BIOMEDICAL AND ENVIRONMENTAL INSTRUMENTATION, 1983, 12 (04): : 289 - 297
- [46] Interface and Configuration of the Hardware and Software for TT&C Station INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (11): : 184 - 187
- [48] Hardware/software interface for multi-dimensional processor arrays 16TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURE AND PROCESSORS, PROCEEDINGS, 2005, : 28 - 35
- [49] Proof Assistants at the Hardware-Software Interface (Invited Talk) CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 2 - 2