7393 search results - page 40 / 1479 » Synthesis-for-testability using transformations |
KCAP
2003
ACM
15 years 3 months ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
ICPP
1999
IEEE
15 years 2 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
CAV
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
166
click to vote
Presentation
The Discrete Pascal Transform (DPT) has been proved remarkably useful for edge detection, filter design, discrete-time signal interpolation and data hiding. In the present work a n...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
A challenge of image communication over unreliable channels is to achieve good compression rates and be effective in presence of channel failures. In this work we use the Multiple...