1110 search results - page 4 / 222 » Clustering with the Connectivity Kernel |
93
Voted
CLUSTER
2003
IEEE
15 years 3 months ago
2003
IEEE
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
CLUSTER
2003
IEEE
15 years 3 months ago
2003
IEEE
116
Voted
CLUSTER
2005
IEEE
15 years 3 months ago
2005
IEEE
We have created ZapC, a novel system for transparent coordinated checkpoint-restart of distributed network applications on commodity clusters. ZapC provides a thin virtualization ...
91
Voted
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...