Up a level |
Sen, Rathijit and Srikant, YN (2007) WCET Estimation for Executables in the Presence of Data Caches. In: EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software, October 2007, New York, NY.
Sen, Rathijit and Srikant, YN (2007) Executable Analysis using Abstract Interpretation with Circular Linear Progressions. In: 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007., May 30 2007-June 2 2007 , Nice.