2067 search results - page 195 / 414 » Modeling and Simulation of Operating System Behavior |
87
Voted
AI
2008
Springer
14 years 10 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
80
Voted
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
71
Voted
ISCA
1998
IEEE
15 years 2 months ago
1998
IEEE
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
— This paper focuses on the design of a robust tube-based Model Predictive Control law for the control of constrained mobile robots. A time-varying trajectory tracking error mode...
AAAI
2006
14 years 11 months ago
2006
In a team-based multiagent system, the ability to construct a model of an opponent team's joint behavior can be useful for determining an agent's expected distribution o...