Publications

Results 81-99 of 99 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
812010Scratchpad allocation for concurrent embedded softwareSuhendra, V.; Roychoudhury, A. ; Mitra, T. 
822008Scratchpad allocation for concurrent embedded softwareSuhendra, V. ; Roychoudhury, A. ; Mitra, T. 
832013Shared cache aware task mapping for WCRT minimizationDing, H.; Liang, Y.; Mitra, T. 
842011Shared reconfigurable fabric for multi-core customizationChen, L.; Mitra, T. 
852002Specifying multithreaded Java semantics for program verificationRoychoudhury, A. ; Mitra, T. 
862008Static analysis for Fast and accurate design space exploration of cachesLiang, Y. ; Mitra, T. 
872009Temperature aware scheduling for embedded processorsJayaseelan, R.; Mitra, T. 
882009Temperature aware scheduling for embedded processorsJayaseelan, R.; Mitra, T. 
892008Temperature aware task sequencing and voltage scalingJayaseelan, R.; Mitra, T. 
902008The worst-case execution-time problem-overview of methods and survey of toolsWilhelm, R.; Engblom, J.; Ermedahl, A.; Holsti, N.; Thesing, S.; Whalley, D.; Bernat, G.; Ferdinand, C.; Heckmann, R.; Mitra, T. ; Mueller, F.; Puaut, I.; Puschner, P.; Staschulat, J.; Stenström, P.
912007Timing analysis of body area network applicationsLiang, Y. ; Roychoudhury, A. ; Mitra, T. 
122009Timing analysis of concurrent programs running on shared cache multi-coresLi, Y.; Suhendra, V. ; Liang, Y. ; Mitra, T. ; Roychoudhury, A. 
132012Timing analysis of concurrent programs running on shared cache multi-coresLiang, Y.; Ding, H.; Mitra, T. ; Roychoudhury, A. ; Li, Y.; Suhendra, V.
142002Timing analysis of embedded software for speculative processorsMitra, T. ; Roychoudhury, A. ; Li, X.
152003Using formal techniques to debug the AMBA system-on-chip bus protocolRoychoudhury, A. ; Mitra, T. ; Karri, S.R.
162005WCET centric data allocation to scratchpad memorySuhendra, V. ; Mitra, T. ; Roychoudhury, A. ; Chen, T. 
172014WCET-Centric dynamic instruction cache lockingDing, H.; Liang, Y.; Mitra, T. 
182012WCET-centric partial instruction cache lockingDing, H.; Liang, Y.; Mitra, T. 
192010Welcome messageBrisk, P.; Mitra, T. ; Gaydadjiev, G.; Silvano, C.