7393 search results - page 189 / 1479 » Synthesis-for-testability using transformations |
131
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a self-adapting parallel package for computing the Walsh-Hadamard transform (WHT), a prototypical fast signal transform, similar to the fast Fourier transform....
110
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
103
Voted
CAIP
2007
Springer
15 years 7 months ago
2007
Springer
The eccentricity transform associates to each point of a shape the shortest distance to the point farthest away from it. It is defined in any dimension, for open and closed manyfol...
130
Voted
EWCBR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present TransUCP, a general framework for transformational analogy. Using our framework we demonstrate that transformational analogy does not meet a crucial condit...
138
Voted
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...