7393 search results - page 328 / 1479 » Synthesis-for-testability using transformations |
160
click to vote
ADC
2003
Springer
15 years 10 months ago
2003
Springer
Much work on XML data was around storage and querying and did not consider constraints of XML, especially keys. Since constraints have been proposed in many papers for XML, much r...
138
Voted
CASES
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
140
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we introduce two methods for the registration of multiple range images when a prior estimate of the transformationbetween views is not available and the overlap bet...
173
Voted
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Malan is a MApping LANguage that allows the generation of transformation programs by specifying a schema mapping between a source and target data schema. By working at the schema ...
144
click to vote
LFP
1992
15 years 6 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...