共 50 条
- [2] Real-time music synthesis & embedded applications [J]. DR DOBBS JOURNAL, 2002, 27 (01): : 55 - +
- [3] Automatic synthesis and verification of real-time embedded software [J]. EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 12 - 21
- [4] Software architecture synthesis for retargetable real-time embedded systems [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES/CASHE '97), 1997, : 101 - 105
- [5] RESS: Real-time embedded software synthesis and prototyping methodology [J]. REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 529 - 544
- [6] Synthesis of real-time embedded software with local and global deadlines [J]. CODES(PLUS)ISSS 2003: FIRST IEEE/ACM/IFIP INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN & SYSTEM SYNTHESIS, 2003, : 114 - 119
- [7] Formal synthesis and code generation of embedded real-time software [J]. PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 208 - 213
- [8] A Course in Real-Time Embedded Software [J]. COMPUTER SCIENCE EDUCATION, 2007, 17 (02) : 97 - 106
- [9] Software thread integration and synthesis for real-time applications [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 68 - 69
- [10] Integrated software architecture for real-time embedded image processing applications [J]. ACQUISITION, TRACKING, AND POINTING XI, 1997, 3086 : 184 - 192