Sciweavers

4469 search results - page 129 / 894
» Dynamic Program Slicing
Sort
View
ASPDAC
2007
ACM
83views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Program Phase Directed Dynamic Cache Way Reconfiguration for Power Efficiency
Subhasis Banerjee, G. Surendra, S. K. Nandy
CAV
2007
Springer
117views Hardware» more  CAV 2007»
15 years 8 months ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...