82 search results - page 14 / 17 » Query-Aware Test Generation Using a Relational Constraint So... |
164
click to vote
ICDE
1999
IEEE
15 years 11 months ago
1999
IEEE
We develop a data integration approach for the efficient evaluation of queries over autonomous source databases. The approach is based on some novel applications and extensions of...
78
Voted
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
110
Voted
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
This paper is concerned with studying how the minimum power loss in a power system is related to its network topology. The existing algorithms in the literature all exploit nonline...
101
Voted
IJCAI
2001
14 years 11 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
101
Voted
IJCAI
1989
14 years 11 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...