Sciweavers

5882 search results - page 943 / 1177
» network 2010
Sort
View
GRID
2010
Springer
15 years 4 months ago
Parallel SAT Solving on Peer-to-Peer Desktop Grids
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
Sven Schulz, Wolfgang Blochinger
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 3 months ago
Construction of New Delay-Tolerant Space-Time Codes
Perfect Space-Time Codes are optimal codes in their original construction for Multiple Input Multiple Output (MIMO) systems. Based on cyclic division algebras, they are full-rate,...
Mireille Sarkiss, Ghaya Rekaya-Ben Othman, Mohamed...
189
Voted
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
Feedback control of the National Airspace System to mitigate weather disruptions
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
Jerome Le Ny, Hamsa Balakrishnan
CDC
2010
IEEE
15 years 1 months ago
A Switching strategy for robust cooperative exploration
Abstract-- This paper develops a switching strategy for networked mobile sensing agents to automatically decide when to perform individual exploration and when to perform cooperati...
Wencen Wu, Fumin Zhang
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
15 years 1 months ago
A lower bound for distributed averaging algorithms on the line graph
We derive lower bounds on the convergence speed of a widely used class of distributed averaging algorithms. In particular, we prove that any distributed averaging algorithm whose ...
Alexander Olshevsky, John N. Tsitsiklis