Sciweavers

5966 search results - page 412 / 1194
» Distributed Caching Algorithms for Content Distribution Netw...
Sort
View
ICDCS
2007
IEEE
15 years 10 months ago
A Virtual Node-Based Tracking Algorithm for Mobile Networks
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
Tina Nolte, Nancy A. Lynch
SMC
2007
IEEE
136views Control Systems» more  SMC 2007»
15 years 10 months ago
Experimental implementation and validation of consensus algorithms on a mobile actuator and sensor network platform
— In this paper, we experimentally implement and validate distributed consensus algorithms on a mobile actuator and sensor network platform under directed, possibly switching int...
Wei Ren, Haiyang Chao, William Bourgeous, Nathan S...
SIGMOD
1995
ACM
132views Database» more  SIGMOD 1995»
15 years 7 months ago
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
Atul Adya, Robert Gruber, Barbara Liskov, Umesh Ma...
CHARME
2001
Springer
92views Hardware» more  CHARME 2001»
15 years 7 months ago
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
Eric Gascard, Laurence Pierre
ISPAN
1999
IEEE
15 years 8 months ago
Location Updates and Probabilistic Tracking Algorithms for Mobile Cellular Networks
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...
John C. S. Lui, Cedric C. F. Fong, H. W. Chan