共 50 条
- [32] CRISIS IN REAL-TIME SOFTWARE PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 433 - 433
- [33] SOFTWARE SYNTHESIS FOR REAL-TIME INFORMATION-PROCESSING SYSTEMS SIGPLAN NOTICES, 1995, 30 (11): : 60 - 69
- [34] Software architecture synthesis for retargetable real-time embedded systems PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES/CASHE '97), 1997, : 101 - 105
- [36] Synthesis of real-time embedded software with local and global deadlines CODES(PLUS)ISSS 2003: FIRST IEEE/ACM/IFIP INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN & SYSTEM SYNTHESIS, 2003, : 114 - 119
- [37] RESS: Real-time embedded software synthesis and prototyping methodology REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 529 - 544
- [38] Correctness-preserving synthesis for real-time control software QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 65 - +
- [39] Formal synthesis and code generation of embedded real-time software PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 208 - 213
- [40] EMBEDDED PARALLEL ARCHITECTURES IN REAL-TIME APPLICATIONS JOHNS HOPKINS APL TECHNICAL DIGEST, 1989, 10 (03): : 186 - 197