7393 search results - page 556 / 1479 » Synthesis-for-testability using transformations |
184
click to vote
CONPAR
1992
15 years 11 months ago
1992
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
209
click to vote
SIGMOD
1992
ACM
15 years 11 months ago
1992
ACM
This paper describes the Query Rewrite facility of the Starburst extensible database system, a novel phase of query optimization. We present a suite of rewrite rules used in Starb...
177
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...
182
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
A fast subspace analysis and feature extraction algorithm is proposed which is based on fast Haar transform and integral vector. In rapid object detection and conventional binary ...
164
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...