SetExp: a method of transformation of timed automata into finite state automata
- 作者Lucien Ouedraogo; Ahmed Khoumsi; Mustapha Nourelfath
- 卷第46卷
- 期第2期
- 印刷ISSN0922-6443
- 电子ISSN1573-1383
- 文件大小1829.73KB
- 发表时间2010-10
- DOI10.1007/s11241-010-9103-8
- 页码189-250
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