Sciweavers

361 search results - page 41 / 73
» Scalable Load-Distance Balancing
Sort
View
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
14 years 8 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
CLOUDCOM
2010
Springer
14 years 7 months ago
REMEM: REmote MEMory as Checkpointing Storage
Checkpointing is a widely used mechanism for supporting fault tolerance, but notorious in its high-cost disk access. The idea of memory-based checkpointing has been extensively stu...
Hui Jin, Xian-He Sun, Yong Chen, Tao Ke
ICWS
2009
IEEE
14 years 7 months ago
DHT-Based Range Query Processing for Web Service Discovery
DHTs are scalable, self-organizing, and adaptive to underlying topology changes, thus being a promising infrastructure for realizing efficient Web service discovery. Range queries...
Yiming Zhang, Ling Liu, Dongsheng Li, Feng Liu, Xi...
CORR
2010
Springer
92views Education» more  CORR 2010»
14 years 7 months ago
Benchmarking triple stores with biological data
We have compared the performance of five non-commercial triple stores, Virtuoso-open source, Jena SDB, Jena TDB, SWIFT-OWLIM and 4Store. We examined three performance aspects: the ...
Vladimir Mironov, Nirmala Seethappan, Ward Blond&e...
TWC
2010
14 years 4 months ago
Clustering and cluster-based routing protocol for delay-tolerant mobile networks
This research investigates distributed clustering scheme and proposes a cluster-based routing protocol for DelayTolerant Mobile Networks (DTMNs). The basic idea is to distributivel...
Ha Dang, Hongyi Wu