Sciweavers

4150 search results - page 347 / 830
» A Practical Approach to Model Extension
Sort
View
169
Voted
SCL
2008
108views more  SCL 2008»
15 years 5 months ago
On input-to-state stability of min-max nonlinear model predictive control
In this paper we consider discrete-time nonlinear systems that are affected, possibly simultaneously, by parametric uncertainties and disturbance inputs. The min-max Model Predict...
Mircea Lazar, David Muñoz de la Peña...
156
Voted
FIW
2009
163views Communications» more  FIW 2009»
15 years 2 months ago
Detecting policy conflicts by model checking UML state machines
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay...
Maurice H. ter Beek, Stefania Gnesi, Carlo Montang...
160
Voted
DAC
2003
ACM
16 years 6 months ago
Instruction encoding synthesis for architecture exploration using hierarchical processor models
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...
Achim Nohl, Volker Greive, Gunnar Braun, Andreas H...
ICAC
2009
IEEE
15 years 11 months ago
Multi-perspective evaluation of self-healing systems using simple probabilistic models
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
Rean Griffith, Gail E. Kaiser, Javier Alonso L&oac...
ATC
2009
Springer
15 years 11 months ago
Management without (Detailed) Models
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
Alva L. Couch, Mark Burgess, Marc Chiarini