4075 search results - page 635 / 815 » Modeling Distributed Algorithm Using B |
156
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose an effective algorithm flow to handle largescale mixed-size placement. The basic idea is to use floorplanning to guide the placement of objects at the gl...
168
click to vote
IJCAI
2007
15 years 8 months ago
2007
Programming a humanoid robot to walk is a challenging problem in robotics. Traditional approaches rely heavily on prior knowledge of the robot's physical parameters to devise...
147
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
RSSI is known to be a fickle indicator of whether a wireless link will work, for many reasons. This greatly complicates operation because it requires testing and adaptation to fin...
153
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
198
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...