Sciweavers

396 search results - page 57 / 80
» Scalability for Clustering Algorithms Revisited
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 3 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
PDPTA
2003
15 years 1 months ago
Data Integrity in a Distributed Storage System
Distributed storage systems must provide highly available access to data while maintaining high performance and maximum scalability. In addition, reliability in a storage system is...
Jonathan D. Bright, John A. Chandy
SEMWEB
2010
Springer
14 years 9 months ago
SPARQL Query Optimization on Top of DHTs
We study the problem of SPARQL query optimization on top of distributed hash tables. Existing works on SPARQL query processing in such environments have never been implemented in a...
Zoi Kaoudi, Kostis Kyzirakos, Manolis Koubarakis
KIVS
2009
Springer
15 years 6 months ago
Providing Probabilistic Latency Bounds for Dynamic Publish/Subscribe Systems
In the context of large decentralized many-to-many communication systems it is impractical to provide realistic and hard bounds for certain QoS metrics including latency bounds. Ne...
M. Adnan Tariq, Boris Koldehofe, Gerald G. Koch, K...
MM
2009
ACM
163views Multimedia» more  MM 2009»
15 years 6 months ago
ISP-friendly peer selection in P2P networks
Peer-to-peer (P2P) multicast is a scalable solution adopted by many video streaming systems. However, a prevalence of P2P applications has caused heavy traffic on the Internet. W...
Zhijie Shen, Roger Zimmermann