3565 search results - page 337 / 713 » Modeling a system controller for timing analysis |
116
Voted
RAS
2006
15 years 4 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...
164
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
124
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
Analysis and simulations are performed for a simplified model of a commercially available variant on the skateboard, known as the Snakeboard1 . Although the model exhibits basic g...
163
click to vote
TC
2010
14 years 11 months ago
2010
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
127
click to vote
SOUPS
2009
ACM
15 years 11 months ago
2009
ACM
Existing technologies for file sharing differ widely in the granularity of control they give users over who can access their data; achieving finer-grained control generally requ...