7393 search results - page 4 / 1479 » Synthesis-for-testability using transformations |
IFM
2010
Springer
13 years 5 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
ISCAS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— This paper presents a new algorithm for realization of Gramian-preserving frequency transformation for linear discrete-time systems. In the proposed algorithm, we const...
ECWEB
2003
Springer
14 years 18 days ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
VLSID
1998
IEEE
13 years 11 months ago
1998
IEEE
When a Boolean function is transformed by exclusiveOR with a suitably selected transform function, the new functzon is often synthesized wzth significantly reduced hardware. `I�...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...