Sciweavers

4176 search results - page 416 / 836
» Parallelizing Support Vector Machines on Distributed Compute...
Sort
View
DEBS
2008
ACM
15 years 8 months ago
Service oriented architecture for heterogeneous and dynamic sensor networks
Abstract--The purpose of this demo is to foster a multilevel service oriented architecture for sensor networks that fully supports network dynamicity, auto-configuration, service d...
Jeremie Leguay, Mario Lopez-Ramos, Kathlyn Jean-Ma...
ICPPW
2008
IEEE
16 years 1 months ago
Simulating Failures on Large-Scale Systems
—Developing fault management mechanisms is a difficult task because of the unpredictable nature of failures. In this paper, we present a fault simulation framework for Blue Gene...
Narayan Desai, Ewing L. Lusk, Daniel Buettner, And...
IPPS
2007
IEEE
16 years 1 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
PDP
2007
IEEE
16 years 1 months ago
SockMi: a solution for migrating TCP/IP connections
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
Massimo Bernaschi, Francesco Casadei, Paolo Tassot...
ICDCS
2006
IEEE
16 years 24 days ago
PastryStrings: A Comprehensive Content-Based Publish/Subscribe DHT Network
In this work we propose and develop a comprehensive infrastructure, coined PastryStrings, for supporting rich queries on both numerical (with range, and comparison predicates) and...
Ioannis Aekaterinidis, Peter Triantafillou