共 50 条
- [6] Run-time guarantees for real-time systems [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 166 - 167
- [8] Real-Time Operating Systems for Multicore Embedded Systems [J]. ISOCC: 2008 INTERNATIONAL SOC DESIGN CONFERENCE, VOLS 1-3, 2008, : 62 - 67
- [9] A Survey of Contemporary Real-time Operating Systems [J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 233 - 240
- [10] Hardware support for real-time operating systems [J]. CODES(PLUS)ISSS 2003: FIRST IEEE/ACM/IFIP INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN & SYSTEM SYNTHESIS, 2003, : 45 - 51