135 search results - page 19 / 27 » Refactoring Tools and Complementary Techniques |
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
Ana/ytic placement methods that simultaneously minimize wire length and spread cells are receiving renewedattention from both academia and industiy In thispaper we describe the im...
ICCS
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
JUCS
2007
13 years 7 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
JIIS
2002
13 years 7 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...