1844 search results - page 239 / 369 » Exploiting the Structure of Distributed Constraint Optimizat... |
146
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
164
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
131
click to vote
APPML
2007
15 years 4 months ago
2007
The problem of optimal transportation between a set of sources and a set of wells has become recently the object of new mathematical models generalizing the Monge-Kantorovich prob...
153
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
We consider the execution of a complex application on a heterogeneous "grid" computing platform. The complex application consists of a suite of identical, independent pr...
144
click to vote
JSAC
2010
14 years 11 months ago
2010
Abstract--In this paper, we formulate a flow control optimization problem for wireless sensor networks with lifetime constraint and link interference in an asynchronous setting. Ou...