Dynamic communication models in embedded system co-simulation
DAC '97 Proceedings of the 34th annual Design Automation Conference
Peer-based multithreaded executable co-specification
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Approach to the Synthesis of HW and SW in Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Simulation Using Code-Perturbation: Black- and White-Box Approach
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
| Hi-index | 0.00 |