7393 search results - page 200 / 1479 » Synthesis-for-testability using transformations |
145
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
118
click to vote
IJKL
2007
15 years 3 months ago
2007
: In what sense, then, can it be said that contemporary societies are becoming more and more dependent on the production, dissemination and use of knowledge? Are we witnessing a ch...
91
Voted
TIP
1998
15 years 3 months ago
1998
—Two new design techniques for adaptive orthogonal block transforms based on vector quantization (VQ) codebooks are presented. Both techniques start from reference vectors that a...
129
Voted
VC
1998
15 years 3 months ago
1998
Polyhedron realization is the transformation of a polyhedron into a convex polyhedron with an isomorphic vertex neighborhood graph. We present in this paper a novel algorithm for ...
128
Voted
DSL
2009
15 years 1 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...