Sciweavers

7393 search results - page 284 / 1479
» Synthesis-for-testability using transformations
Sort
View
JOT
2006
113views more  JOT 2006»
15 years 4 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
BXML
2004
15 years 5 months ago
Query Reformulation for the XML standards XPath, XQuery and XSLT
: Whenever transformation of data is used to bridge the gap of different data formats, and a query is given in the destination format, query reformulation can speed up the transfor...
Sven Groppe, Stefan Böttcher
TCAD
1998
114views more  TCAD 1998»
15 years 4 months ago
Behavioral optimization using the manipulation of timing constraints
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
Miodrag Potkonjak, Mani B. Srivastava
ICASSP
2008
IEEE
15 years 11 months ago
Bringing diverse classifiers to common grounds: dtransform
Several classification scenarios employ multiple independently trained classifiers and the outputs of these classifiers need to be combined. However, since each of the trained ...
Devi Parikh, Tsuhan Chen
IEEEIAS
2008
IEEE
15 years 10 months ago
Dynamic Substitution Model
In this paper, we present the Dynamic Injection Model (DIM) and its variant the Static Injection Model (SIM). DIM is a model that allows any iterative block cipher to accept a var...
Mohamed Abo El-Fotouh, Klaus Diepold