7393 search results - page 322 / 1479 » Synthesis-for-testability using transformations |
156
click to vote
VISUALIZATION
1995
IEEE
15 years 8 months ago
1995
IEEE
Wavelet transforms include data decompositions and reconstructions. This paper is concerned with the authenticity issues of the data decomposition, particularly for data visualiza...
115
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents invariants under gamma correction and similarity transformations. The invariants are local features based on differentials which are implemented using derivati...
172
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
125
click to vote
ROOM
2000
15 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
123
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...