7393 search results - page 316 / 1479 » Synthesis-for-testability using transformations |
157
click to vote
ISVC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper presents a fast algorithm for robust registration of shapes implicitly represented by signed distance functions(SDF). The proposed algorithm aims to recover th...
155
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
154
click to vote
IEEEPACT
1998
IEEE
15 years 9 months ago
1998
IEEE
Global locality analysis is a technique for improving the cache performance of a sequence of loop nests through a combination of loop and data layout optimizations. Pure loop tran...
140
Voted
SAC
2002
ACM
15 years 4 months ago
2002
ACM
This paper presents a novel approach for the problem of generating tiled code for nested for-loops using a tiling transformation. Tiling or supernode transformation has been widel...
143
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
In this paper we develop a spatio-temporal registration algorithm for cardiac MR image sequences. The algorithm has the ability to correct any spatial misalignment between the imag...