413 search results - page 69 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
DCOSS
2010
Springer
15 years 2 months ago
2010
Springer
Sensor network MAC protocols are typically configured for an intended deployment scenario once and for all at compile time. This approach, however, leads to suboptimal performance...
102
click to vote
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
Leakage power has grown significantly and is a major challenge in SoC design. Among SoC's components, clock distribution network power accounts for a large portion of chip po...
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents a coordination algorithm for mobile autonomous robots. Relying upon distributed sensing, the robots achieve rendezvous, that is, they move to a common location....
STOC
2005
ACM
15 years 9 months ago
2005
ACM
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...