2976 search results - page 433 / 596 » On the bounded integer programming |
118
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
129
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
137
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Some of the currently best-known approximation algorithms for network design are based on random sampling. One of the key steps of such algorithms is connecting a set of source nod...
120
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
126
Voted
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
We study the generalization of covering problems to partial covering. Here we wish to cover only a desired number of elements, rather than covering all elements as in standard cov...