Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 1 to 20 of 100  next >
Issue DateTitleAuthor(s)
2006A memory model sensitive checker for C#Huynh, T.Q.; Roychoudhury, A. 
2007A retargetable software timing analyzer using architecture description languageLi, X.; Roychoudhury, A. ; Mitra, T. ; Mishra, P.; Cheng, X.
2012A unified WCET analysis framework for multi-core platformsChattopadhyay, S.; Kee, C.L.; Roychoudhury, A. ; Kelter, T.; Marwedel, P.; Falk, H.
2007Accounting for cache-related preemption delay in dynamic priority schedulability analysisJu, L. ; Chakraborty, S. ; Roychoudhury, A. 
2003Accurate Estimation of Cache-Related Preemption DelayNegi, H.S.; Mitra, T. ; Roychoudhury, A. 
2003Accurate timing analysis by modeling caches, speculation and their interactionLi, X.; Mitra, T. ; Roychoudhury, A. 
2006Accurately choosing execution runs for software fault localizationGuo, L. ; Roychoudhury, A. ; Wang, T. 
2003An executable specification language based on message sequence chartsRoychoudhnry, A. ; Thiagarajan, P.S. 
2004An unfold/fold transformation framework for definite logic programsRoychoudhury, A. ; Kumar, K.N.; Ramakrishnan, C.R.; Ramakrishnan, I.V.
2005Analyzing loop paths for execution time estimationRoychoudhury, A. ; Mitra, T. ; Negi, H.S.
2005Automated path generation for software fault localizationWang, T. ; Roychoudhury, A. 
2004Automatic generation of protocol converters from scenario-based specificationsRoychoudhury, A. ; Thiagarajan, P.S. ; Tran, T.-A.; Zvereva, V.A.
2002Beyond tamaki-sato style unfold/fold transformations for normal logic programsRoychoudhury, A. ; Narayan Kumar, K.; Ramakrishnan, C.R.; Ramakrishnan, I.V.
2011Bus-aware multicore WCET analysis through TDMA offset boundsKelter, T.; Falk, H.; Marwedel, P.; Chattopadhyay, S.; Roychoudhury, A. 
2008Cache-aware optimization of BAN applicationsLiang, Y. ; Ju, L. ; Chakraborty, S. ; Mitra, T. ; Roychoudhury, A. 
2009Cache-aware optimization of BAN applicationsJu, L. ; Liang, Y. ; Chakraborty, S.; Mitra, T. ; Roychoudhury, A. 
2007Cache-aware timing analysis of streaming applicationsChakraborty, S. ; Mitra, T. ; Roychoudhury, A. ; Thiele, L.; Bordoloi, U.D.; Derdiyok, C.
2009Cache-aware timing analysis of streaming applicationsChakraborty, S. ; Mitra, T. ; Roychoudhury, A. ; Thiele, L.
2007Chronos: A timing analyzer for embedded softwareLi, X.; Liang, Y. ; Mitra, T. ; Roychoudhury, A. 
2004Communicating transaction processes: An MSC-based model of computation for reactive embedded systemsRoychoudhury, A. ; Thiagarajan, P.S.