940 search results - page 161 / 188 » Control Abstractions for Local Search |
HPDC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents new mechanisms for dynamic resource management in a cluster manager called Clusteron-Demand (COD). COD allocates servers from a common pool to multiple virtual...
MCS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...
CAV
2000
Springer
14 years 24 days ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
KI
1998
Springer
14 years 20 days ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...
DAIS
2003
13 years 9 months ago
2003
Abstract. By locally caching data, mobile hosts can operate while disconnected from the central server, however, consistency of data becomes more difficult to maintain. In this pap...