Sciweavers

7393 search results - page 94 / 1479
» Synthesis-for-testability using transformations
Sort
View
CVPR
2007
IEEE
16 years 5 months ago
Quasi-Dense Wide Baseline Matching Using Match Propagation
In this paper we propose extensions to the match propagation algorithm which is a technique for computing quasidense point correspondences between two views. The extensions make t...
Juho Kannala, Sami S. Brandt
CASES
2008
ACM
15 years 5 months ago
Control flow optimization in loops using interval analysis
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
MODELS
2009
Springer
15 years 9 months ago
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
Manuel Wimmer, Angelika Kusel, Johannes Schön...
ICDE
2010
IEEE
172views Database» more  ICDE 2010»
15 years 10 months ago
Rule profiling for query optimizers and their implications
—Many modern optimizers use a transformation rule based framework. While there has been a lot of work on identifying new transformation rules, there has been little work focused ...
Surajit Chaudhuri, Leo Giakoumakis, Vivek R. Naras...
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
15 years 8 months ago
Wavelet-transform-based strategy for generating new Chinese fonts
Based on the cubic B-spline curve, new Chinese fonts are generated by wavelet transforms in this paper. The outlines of Chinese fonts are first transformed into B-spline curves. ...
Jiuchao Feng, C. K. Tse, Yuhui Qiu