Sciweavers

Share
ICDCS
2007
IEEE
10 years 6 months ago
Self-Similar Algorithms for Dynamic Distributed Systems
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may ceas...
K. Mani Chandy, Michel Charpentier
ICDCS
2007
IEEE
10 years 6 months ago
Automated Storage Reclamation Using Temporal Importance Annotations
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
Surendar Chandra, Ashish Gehani, Xuwen Yu
ICDCS
2007
IEEE
10 years 6 months ago
Dynamic and Redundant Data Placement
André Brinkmann, Sascha Effert, Friedhelm M...
ICDCS
2007
IEEE
10 years 6 months ago
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
ICDCS
2007
IEEE
10 years 6 months ago
Stabilizing Peer-to-Peer Spatial Filters
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
Silvia Bianchi, Ajoy Kumar Datta, Pascal Felber, M...
ICDCS
2007
IEEE
10 years 6 months ago
Fault Tolerance in Multiprocessor Systems Via Application Cloning
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
Philippe Bergheaud, Dinesh Subhraveti, Marc Vertes
ICDCS
2007
IEEE
10 years 6 months ago
Deploying Video-on-Demand Services on Cable Networks
— Efficient video-on-demand (VoD) is a highly desired service for media and telecom providers. VoD allows subscribers to view any item in a large media catalog nearly-instantane...
Matthew S. Allen, Ben Y. Zhao, Richard Wolski
ICDCS
2007
IEEE
10 years 6 months ago
Asymptotic Connectivity in Wireless Networks Using Directional Antennas
Connectivity is a crucial issue in wireless networks. Gupta and Kumar show that with omnidirectional antennas, the critical transmission range for a wireless network to achieve as...
Pan Li, Chi Zhang, Yuguang Fang
ICDCS
2007
IEEE
10 years 6 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
books