3020 search results - page 62 / 604 » Optimal partition trees |
105
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand c...
182
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...
204
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We present a low-cost, decentralized algorithm for ID management in distributed hash tables (DHTs) managed by a dynamic set of hosts. Each host is assigned an ID in the unit inter...
154
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...