7393 search results - page 91 / 1479 » Synthesis-for-testability using transformations |
106
click to vote
WEBNET
2001
15 years 4 months ago
2001
: When transforming an XML document for a given purpose, specifying the desired output format allows greater control over the transformation result than is possible using XSLT, esp...
114
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
128
click to vote
ICIP
2005
IEEE
15 years 8 months ago
2005
IEEE
We present in this paper new multiscale transforms on the sphere, namely the isotropic undecimated wavelet transform, the pyramidal wavelet transform, the ridgelet transform and t...
165
click to vote
AGP
2010
IEEE
15 years 7 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
120
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...