11215 search results - page 493 / 2243 » Skeleton - Easy Simulation System |
175
Voted
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...
213
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...
201
Voted
DSRT
2005
IEEE
16 years 14 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...
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
179
Voted
VRML
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...