7393 search results - page 276 / 1479 » Synthesis-for-testability using transformations |
130
click to vote
EUROGP
1999
Springer
15 years 8 months ago
1999
Springer
The paper presents the abstraction transformation which is a fundaethod for creating functions in ADATE. The use of abstraction turns out to be similar to evolution by gene duplic...
129
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
The present article presents the steps involved in the transformation of the TE system that was used in the RTE3 competition in 2007 for the AVE 2008 exercise. We describe the rule...
115
Voted
JCT
2008
15 years 4 months ago
2008
Using classical transformations on the symmetric group and two transformations constructed in Fix-Mahonian Calculus I, we show that several multivariable statistics are equidistrib...
138
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper describes the construction of second generation bandelet orthogonal bases. The decomposition on a bandelet basis is computed using a wavelet filter bank followed by ada...
109
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...