2661 search results - page 203 / 533 » Model Checking Performability Properties |
97
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— To be acceptable to human drivers, the motion of an intelligent robotic wheelchair must be more than just collision-free: it must be graceful. We define graceful motion as bei...
115
Voted
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
In this paper, we study the simultaneousdriver and wire sizing (SDWS) problem under two objective functions: (i) delay minimization only, or (ii) combined delay and power dissipat...
146
Voted
ICDCS
1995
IEEE
15 years 7 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
129
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
This work describes the modeling and control of a proposed actuation system that is capable of pressurizing a chamber volume via the catalytic decomposition of a liquid monopropel...