7393 search results - page 1101 / 1479 » Synthesis-for-testability using transformations |
125
click to vote
MIAR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...
140
click to vote
PARELEC
2006
IEEE
15 years 10 months ago
2006
IEEE
processor arrays can be used as accelerators for a plenty of data flow-dominant applications. The explosive growth in research and development of massively parallel processor arr...
110
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
147
click to vote
SMI
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an algorithm for finding a meaningful vertexto-vertex correspondence between two 3D shapes given as triangle meshes. Our algorithm operates on embeddings of the two sh...
162
click to vote
SUTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...