Sciweavers

267 search results - page 19 / 54
» Communication Complexity Under Product and Nonproduct Distri...
Sort
View
DELTA
2002
IEEE
14 years 1 months ago
State Transition Based Supervisory Control for a Robot Soccer System
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
Gourab Sen Gupta, H. L. Sng, Chris H. Messom
RTSS
2003
IEEE
14 years 1 months ago
A Consensus Protocol for CAN-Based Systems
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
George M. de A. Lima, Alan Burns
SIGMOD
2005
ACM
143views Database» more  SIGMOD 2005»
14 years 8 months ago
Holistic Aggregates in a Networked World: Distributed Tracking of Approximate Quantiles
While traditional database systems optimize for performance on one-shot queries, emerging large-scale monitoring applications require continuous tracking of complex aggregates and...
Graham Cormode, Minos N. Garofalakis, S. Muthukris...
NETGAMES
2006
ACM
14 years 2 months ago
Applicability of group communication for increased scalability in MMOGs
Massive multiplayer online games (MMOGs) are today the driving factor for the development of distributed interactive applications, and they are increasing in size and complexity. ...
Knut-Helge Vik, Carsten Griwodz, Pål Halvors...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
14 years 3 days ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler