1087 search results - page 26 / 218 » Achieving Distributed Control through Model Checking |
116
click to vote
NIPS
2007
15 years 3 months ago
2007
We describe a neurobiologically plausible model to implement dynamic routing using the concept of neuronal communication through neuronal coherence. The model has a three-tier arc...
120
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we present a model which allows to co-evolve the morphology and the control system of realistically simulated robots (creatures). The method proposed is based on a...
147
click to vote
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
The state of the art congestion control algorithms for wireless sensor networks respond to coarse-grained feedback regarding available capacity in the network with an additive inc...
165
click to vote
QEST
2010
IEEE
15 years 13 hour ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
117
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
This paper discusses the use of networks-on-chip (NoCs) consisting of multiple voltage-frequency islands to cope with power consumption, clock distribution and parameter variation...