7393 search results - page 215 / 1479 » Synthesis-for-testability using transformations |
153
Voted
ECCC
2010
14 years 10 months ago
2010
Trevisan [Tre03] suggested a transformation that allows amplifying the error rate a code can handle. We observe that this transformation, that was suggested in the non-local setti...
253
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
167
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
99
Voted
BMVC
2002
15 years 6 months ago
2002
The Trace transform is a generalisation of the Radon transform that allows one to construct image features that do not necessarily have meaning in terms of human perception, but t...
135
Voted
ICALT
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...