1087 search results - page 91 / 218 » Achieving Distributed Control through Model Checking |
132
click to vote
RAS
2006
15 years 6 months ago
2006
Self-reconfigurable robots are built from modules, which are autonomously able to change the way they are connected. Such a robot can, through this self-reconfiguration process, c...
203
click to vote
ICRA
2008
IEEE
16 years 20 days ago
2008
IEEE
— Planetary exploration systems, operating under severe environmental and operating conditions, have thus far successfully employed carefully calibrated stereo cameras and manipu...
196
click to vote
WOTUG
2007
15 years 7 months ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
147
click to vote
IJON
2006
15 years 6 months ago
2006
This paper studies new spike-based models for winner-take-all computation and coincidence detection. In both cases, very fast convergence is achieved independent of initial condit...
159
click to vote
IPPS
2007
IEEE
16 years 16 days ago
2007
IEEE
The Xilinx Virtex family of FPGAs provides the ability to perform partial run-time reconfiguration, also known as dynamic partial reconfiguration (DPR). Taking this concept one st...