7393 search results - page 1038 / 1479 » Synthesis-for-testability using transformations |
136
Voted
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Genetic Algorithms (GAs) have been known to be robust for search and optimization problems. Image registration can take advantage of the robustness of GAs in finding best transform...
150
click to vote
ICIP
1998
IEEE
15 years 9 months ago
1998
IEEE
The method of wavelet thresholding for removing noise, or denoising, has been researched extensively due to its effectiveness and simplicity. Much of the literature has focused on ...
171
click to vote
LCTRTS
1999
Springer
15 years 9 months ago
1999
Springer
A Zero Overhead Loop Buffer (ZOLB) is an architectural feature that is commonly found in DSP processors. This buffer can be viewed as a compiler managed cache that contains a sequ...
151
Voted
VLDB
1999
ACM
15 years 9 months ago
1999
ACM
On-Line Analytical Processing (OLAP) based on a dimensional view of data is being used increasingly for the purpose of analyzing very large amounts of data. To improve query perfo...
133
click to vote
COMPSAC
1997
IEEE
15 years 9 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...