Sciweavers

7393 search results - page 419 / 1479
» Synthesis-for-testability using transformations
Sort
View
155
Voted
RSP
2000
IEEE
108views Control Systems» more  RSP 2000»
15 years 10 months ago
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
Dan Marius Regep, Fabrice Kordon
153
Voted
IPPS
1998
IEEE
15 years 10 months ago
Experiments with Program Parallelization Using Archetypes and Stepwise Refinement
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
Berna L. Massingill
DAC
1998
ACM
15 years 10 months ago
Arithmetic Optimization Using Carry-Save-Adders
Carry-save-adderCSA is the most often used type of operation in implementing a fast computation of arithmetics of register-transfer level design in industry. This paper establis...
Taewhan Kim, William Jao, Steven W. K. Tjiang
FGR
2004
IEEE
156views Biometrics» more  FGR 2004»
15 years 9 months ago
Robust Lip Contour Extraction using Separability of Multi-Dimensional Distributions
We present a lip contour extraction method using separability of color intensity distributions. Usually it is difficult to robustly extract the outer lip contour mainly because of...
Tomokazu Wakasugi, Masahide Nishiura, Kazuhiro Fuk...
PKDD
2000
Springer
120views Data Mining» more  PKDD 2000»
15 years 9 months ago
Multi-Relational Data Mining, Using UML for ILP
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
Arno J. Knobbe, Arno Siebes, Hendrik Blockeel, Dan...