Real-time software synthesis on superscalar architectures

被引:0
|
作者
Dannenberg, Roger B.
Thompson, Nick
机构
来源
Computer Music Journal | / 21卷 / 03期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
下载
收藏
相关论文
共 50 条
  • [31] REAL-TIME SOFTWARE FOR ROBOTICS
    COX, IJ
    KAPILOW, DA
    KROPFL, WJ
    SHOPIRO, JE
    AT&T TECHNICAL JOURNAL, 1988, 67 (02): : 61 - 72
  • [32] CRISIS IN REAL-TIME SOFTWARE
    VANTILBORG, AM
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 433 - 433
  • [33] SOFTWARE SYNTHESIS FOR REAL-TIME INFORMATION-PROCESSING SYSTEMS
    THOEN, F
    CORNERO, M
    GOOSSENS, G
    DEMAN, H
    SIGPLAN NOTICES, 1995, 30 (11): : 60 - 69
  • [34] Software architecture synthesis for retargetable real-time embedded systems
    Chou, P
    Borriello, G
    PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES/CASHE '97), 1997, : 101 - 105
  • [35] EVALUATING REAL-TIME SOFTWARE
    TESCHLER, L
    MACHINE DESIGN, 1984, 56 (13) : 87 - 91
  • [36] Synthesis of real-time embedded software with local and global deadlines
    Hsiung, PA
    Lin, CY
    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
    Lee, TY
    Hsiung, PA
    Wu, IM
    Su, FS
    REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 529 - 544
  • [38] Correctness-preserving synthesis for real-time control software
    Huang, Jinfeng
    Voeten, Jeroen
    Corporaal, Henk
    QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 65 - +
  • [39] Formal synthesis and code generation of embedded real-time software
    Hsiung, PA
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 208 - 213
  • [40] EMBEDDED PARALLEL ARCHITECTURES IN REAL-TIME APPLICATIONS
    KOONTZ, KW
    JOHNS HOPKINS APL TECHNICAL DIGEST, 1989, 10 (03): : 186 - 197