7393 search results - page 23 / 1479 » Synthesis-for-testability using transformations |
ACIVS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this work we introduce a new technique for a frequently encountered problem in computer vision: image registration. The registration is computed by matching features, ...
DAC
2003
ACM
15 years 2 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
69
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
81
Voted
ASPDAC
1995
ACM
15 years 1 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
FMOODS
2006
14 years 11 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...