7393 search results - page 566 / 1479 » Synthesis-for-testability using transformations |
219
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
189
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
One of the biggest challenges in non-rigid shape retrieval and comparison is the design of a shape descriptor that would maintain invariance under a wide class of transformations ...
171
click to vote
CGO
2009
IEEE
16 years 2 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
204
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
The wavelet transform hierarchically decomposes images with prescribed bases, while multilineal models search for optimal bases to adapt visual data. In this paper, we integrate t...
212
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...