3507 search results - page 7 / 702 » Slicing for architectural analysis |
FASE
2005
Springer
14 years 3 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
CVPR
1999
IEEE
15 years 11 days ago
1999
IEEE
DAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we present DeFer -- a fast, high-quality and nonstochastic fixed-outline floorplanning algorithm. DeFer generates a non-slicing floorplan by compacting a slicing fl...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
