Sciweavers

4469 search results - page 129 / 894
» Dynamic Program Slicing
Sort
View
ASPDAC
2007
ACM
83views Hardware» more  ASPDAC 2007»
13 years 12 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»
13 years 12 months ago
Spade: Verification of Multithreaded Dynamic and Recursive Programs
Gaël Patin, Mihaela Sighireanu, Tayssir Touil...