共 50 条
- [21] The REAR framework for emulation and analysis of embedded hard real-time systems TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 100 - 107
- [22] Fault recovery based on checkpointing for hard real-time embedded systems 18TH IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2003, : 320 - 327
- [23] The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems Design Automation for Embedded Systems, 2000, 5 : 237 - 250
- [25] A formal software synthesis approach for embedded hard real-time systems SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 163 - 168
- [26] Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, 2008, : 115 - 122
- [27] REAR framework for emulation and analysis of embedded hard real-time systems Proceedings of the International Workshop on Rapid System Prototyping, 1999, : 100 - 107