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