Sciweavers

588 search results - page 7 / 118
» Rendezvous without coordinates
Sort
View
SIGMETRICS
2000
ACM
13 years 11 months ago
Stable Internet routing without global coordination
Lixin Gao, Jennifer Rexford
MONET
2011
13 years 2 months ago
Achieving End-to-end Fairness in 802.11e Based Wireless Multi-Hop Mesh Networks Without Coordination
Abstract To mitigate the damaging impacts caused by interference and hidden terminals, it has been proposed to use orthogonal channels in wireless multi-hop mesh networks. We demon...
Tianji Li, Douglas J. Leith, Venkataramana Badarla...
TASE
2012
IEEE
12 years 2 months ago
Discrete-Event Coordination Design for Distributed Agents
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
Manh Tung Pham, Kiam Tian Seow
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
14 years 1 months ago
Flocking for multi-robot systems via the Null-Space-based Behavioral control
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
28
Voted
CAV
2007
Springer
122views Hardware» more  CAV 2007»
13 years 11 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...