7393 search results - page 555 / 1479 » Synthesis-for-testability using transformations |
181
click to vote
SIGADA
2004
Springer
16 years 19 days ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
197
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
An essential step toward the development of an intelligent substation is to provide self-diagnosing capability at the equipment level. Transformers, circuit breakers and other sub...
205
click to vote
GECCO
2003
Springer
16 years 15 days ago
2003
Springer
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...
201
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
247
click to vote
CC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...