11234 search results - page 512 / 2247 » A Microsurgery Simulation System |
187
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
175
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
211
click to vote
ANSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the perform...
200
click to vote
DSRT
2005
IEEE
16 years 13 days ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
190
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...