1950 search results - page 228 / 390 » Two Abstractions for Distributed Systems of Mobile Nodes |
154
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
151
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
Multimedia applications for mobile devices, such as video/audio streaming, process streams of incoming data in a regular, predictable way. Content-aware optimizations through anno...
166
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
Multiple copper-based commodity Gigabit Ethernet (GigE) interconnects (adapters) on a single host can lead to Linux clusters with mesh/torus connections without using expensive sw...
164
click to vote
UC
2005
Springer
16 years 45 min ago
2005
Springer
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...
188
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Gossip-based information dissemination protocols are considered easy to deploy, scalable and resilient to network dynamics. Loadbalancing is inherent in these protocols a...