Sciweavers

1300 search results - page 187 / 260
» Constraint satisfaction problems and global cardinality cons...
Sort
View
TCOM
2010
91views more  TCOM 2010»
14 years 8 months ago
Robust Power Allocation Algorithms for Wireless Relay Networks
—Resource allocation promises significant benefits in wireless networks. In order to fully reap these benefits, it is important to design efficient resource allocation algori...
Tony Q. S. Quek, Moe Z. Win, Marco Chiani
SIGMOD
2008
ACM
65views Database» more  SIGMOD 2008»
15 years 10 months ago
Generating targeted queries for database testing
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
Chaitanya Mishra, Nick Koudas, Calisto Zuzarte
SAT
2004
Springer
106views Hardware» more  SAT 2004»
15 years 3 months ago
Local Search with Bootstrapping
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
Lengning Liu, Miroslaw Truszczynski
ETFA
2005
IEEE
15 years 3 months ago
Decentralized supervisory control of Petri nets with monitor places
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...
Francesco Basile, Alessandro Giua, Carla Seatzu
EOR
2010
116views more  EOR 2010»
14 years 10 months ago
Speeding up continuous GRASP
Continuous GRASP (C-GRASP) is a stochastic local search metaheuristic for finding cost-efficient solutions to continuous global optimization problems subject to box constraints (Hi...
Michael J. Hirsch, Panos M. Pardalos, Mauricio G. ...