Sciweavers

232 search results - page 9 / 47
» Competitiveness via consensus
Sort
View
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 6 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
TC
2002
15 years 2 months ago
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
Jean-François Hermant, Gérard Le Lan...
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
14 years 10 months ago
Consensus on asynchronous communication networks in presence of external input
This paper presents a class of multi-agent systems where the state of each agent is driven by its own local protocol, and by exogenous time-varying input signal. These inputs may r...
C. Pilotto, K. M. Chandy, J. White
INFOCOM
2008
IEEE
15 years 9 months ago
Competitive Analysis of Opportunistic Spectrum Access Strategies
—We consider opportunistic spectrum access (OSA) strategies for a transmitter in a multichannel wireless system, where a channel may or may not be available and the transmitter m...
Nicholas B. Chang, Mingyan Liu
MMM
2009
Springer
120views Multimedia» more  MMM 2009»
16 years 1 days ago
Multimedia Evidence Fusion for Video Concept Detection via OWA Operator
Abstract. We present a novel multi-modal evidence fusion method for highlevel feature (HLF) detection in videos. The uni-modal features, such as color histogram, transcript texts, ...
Ming Li, Yantao Zheng, Shouxun Lin, Yong-Dong Zhan...