60 search results - page 12 / 12 » A Parallel Mixture of SVMs for Very Large Scale Problems |
CLUSTER
2003
IEEE
13 years 11 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
TPHOL
2009
IEEE
14 years 9 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
DCOSS
2011
Springer
12 years 5 months ago
2011
Springer
—Sensor networks are often redundant by design; this is often done in order to achieve reliability in information processing. In many cases, the redundancy relationships between ...
SAC
2010
ACM
13 years 5 months ago
2010
ACM
In emerging Web2.0 applications such as virtual worlds or social networking websites, the number of users is very important (tens of thousands), hence the amount of data to manage...
ISCA
2011
IEEE
12 years 9 months ago
2011
IEEE
As we move to large manycores, the hardware-based global checkpointing schemes that have been proposed for small shared-memory machines do not scale. Scalability barriers include ...