7393 search results - page 334 / 1479 » Synthesis-for-testability using transformations |
110
click to vote
FMOODS
2006
15 years 6 months ago
2006
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
126
click to vote
POPL
1996
ACM
15 years 9 months ago
1996
ACM
This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...
125
click to vote
ISMVL
2007
IEEE
15 years 11 months ago
2007
IEEE
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
140
Voted
CAIP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The use of traditional moment invariants is limited to a certain set of simple geometric transforms, such as rotation, scaling and affine transform. This paper presents a...
122
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
We introduce a new subdivision-surface wavelet transform for arbitrary two-manifolds with boundary that is the first to use simple lifting-style filtering operations with bicubi...