2593 search results - page 411 / 519 » constraints 2007 |
187
click to vote
ICTAI
2007
IEEE
16 years 21 days ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
168
click to vote
IEEEARES
2007
IEEE
16 years 21 days ago
2007
IEEE
In a software system, it is inevitable that components will occasionally fail to produce acceptable results and become unavailable to serve its clients. Replication is the techniq...
173
click to vote
IEEEPACT
2007
IEEE
16 years 21 days ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
165
click to vote
IEEESCC
2007
IEEE
16 years 21 days ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
185
click to vote
INFOCOM
2007
IEEE
16 years 21 days ago
2007
IEEE
— We consider the problem of throughput-optimal cross-layer design of wireless networks. We propose a joint congestion control and scheduling algorithm that achieves a fraction d...