3433 search results - page 326 / 687 » Heuristics for a bidding problem |
176
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
199
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
138
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
Query-load (forwarding and answering) balancing in structured overlays is one of the most critical and least studied problems. It has been assumed that caching heuristics can take...
133
click to vote
SIBGRAPI
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the problem of binary image operator design over large windows by breaking it into two phases. Firstly, we design several operators over small sub-windows of the main w...
160
click to vote
DSOM
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We investigate the problem of ensuring and maximizing performance guarantees for applications suering software aging. Our focus is the optimization of the minimum and av...