共 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
- [43] A digital-to-digital interface for a laboratory microcomputer: Hardware and software Chemical, biomedical, and environmental instrumentation, 1982, 12 (04): : 289 - 297
- [44] Hardware/software interface for multi-dimensional processor arrays 16TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURE AND PROCESSORS, PROCEEDINGS, 2005, : 28 - 35
- [45] 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
- [46] A Hardware-Aware Debugger for the OpenGL Shading Language GRAPHICS HARDWARE 2007: ACM SIGGRAPH / EUROGRAPHICS SYMPOSIUM PROCEEDINGS, 2007, : 81 - +
- [47] Interface generation for concurrent processes during hardware/software cosynthesis 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 109 - 114