2927 search results - page 552 / 586 » An OR Parallel Prolog Model for Distributed Memory Systems |
CLUSTER
2009
IEEE
14 years 3 months ago
2009
IEEE
— Cloud computing has gained significant traction in recent years. The Map-Reduce framework is currently the most dominant programming model in cloud computing settings. In this ...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
In heterogeneous and dynamic distributed systems like the Grid, detailed monitoring of workload and its resulting system performance (e.g. response time) is required to facilitate...
ICDCSW
2002
IEEE
14 years 1 months ago
2002
IEEE
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...