Sciweavers

4469 search results - page 131 / 894
» Dynamic Program Slicing
Sort
View
FASE
2008
Springer
15 years 3 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
75
Voted
COLOGNETWENTE
2008
15 years 3 months ago
Dynamic Programming for Optimization of Capacitor Allocation in Power Distribution Networks
José Federico Vizcaino González, Chr...