Cost enforcement in the real-time specification for Java
- 作者Osmar Marchi dos Santos; Andy Wellings
- 卷第37卷
- 期第2期
- 印刷ISSN0922-6443
- 电子ISSN1573-1383
- 文件大小1326.83KB
- 发表时间2007-11
- DOI10.1007/s11241-007-9031-4
- 页码139-179
Modeling Control Speculation for Timing AnalysisXianfeng Li; Tulika Mitra; Abhik Roychoudhury · 2005
Chronos: A timing analyzer for embedded softwareXianfeng Li; Yun Liang; Tulika Mitra; Abhik Roychoudhury · 2007
[ACM Press the 15th international symposium - Kyoto, Japan (2002.10.02-2002.10.04)] Proceedings of the 15th international symposium on System Synthesis - ISSS '02 - Timing analysis of embedded software for speculative processorsMitra, Tulika; Roychoudhury, Abhik; Li, Xianfeng · 2002
[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - A Retargetable Software Timing Analyzer Using Architecture Description LanguageLi, Xianfeng; Roychoudhury, Abhik; Mitra, Tulika; Mishra, Prabhat; Cheng, Xu · 2007
[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Accurate timing analysis by modeling caches, speculation and their interactionLi, Xianfeng; Mitra, Tulika; Roychoudhury, Abhik · 2003
[ACM Press the 18th annual international conference - Malo, France (2004.06.26-2004.07.01)] Proceedings of the 18th annual international conference on Supercomputing - ICS '04 - Design space exploration of caches using compressed tracesLi, Xianfeng; Negi, Hemendra Singh; Mitra, Tulika; Roychoudhury, Abhik · 2004