7393 search results - page 96 / 1479 » Synthesis-for-testability using transformations |
125
click to vote
AINA
2004
IEEE
15 years 6 months ago
2004
IEEE
XSLT is a very popular and flexible language for transforming XML documents which provides a powerful implementation of a tree-oriented transformation language for transmuting ins...
127
click to vote
DGCI
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we introduce a method to express a local linear operated in the neighbourhood of each point in the discrete space as a matrix transform. To derive matrix expressions...
107
click to vote
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the syst...
DELTA
2006
IEEE
15 years 9 months ago
2006
IEEE
Harmonic distortion may be characterised by the proportion of energy of a sinusoidal signal transferred to the harmonics. Differential time scaling resulting from the spectral war...
169
click to vote
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...