716 search results - page 7 / 144 » Semilinear Program Feasibility |
ILP
2007
Springer
14 years 5 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
IJCAI
2007
14 years 9 days ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
IPCO
2010
13 years 9 months ago
2010
In the classical secretary problem an employer would like to choose the best candidate among
JGO
2008
13 years 10 months ago
2008
This article complements the paper [7], where we showed that a compact feasible set of a standard semi-infinite optimization problem can be approximated arbitrarily well by a leve...
WIOPT
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Power allocation is a promising approach for optimizing the performance of mobile radio systems in interference channels. In the present paper, the non-convex objective f...