Sciweavers

565 search results - page 55 / 113
» Stochastic modeling of a power-managed system: construction ...
Sort
View
QEST
2006
IEEE
16 years 9 days ago
Compositional Performability Evaluation for STATEMATE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
Eckard Böde, Marc Herbstritt, Holger Hermanns...
NIPS
2007
15 years 7 months ago
Continuous Time Particle Filtering for fMRI
We construct a biologically motivated stochastic differential model of the neural and hemodynamic activity underlying the observed Blood Oxygen Level Dependent (BOLD) signal in Fu...
Lawrence Murray, Amos J. Storkey
CCE
2007
15 years 6 months ago
Adaptive optimisation of noisy black-box functions inherent in microscopic models
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
Eddie Davis, Marianthi G. Ierapetritou
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 11 months ago
Overcoming limitations of game-theoretic distributed control
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
Jason R. Marden, Adam Wierman
PODC
1997
ACM
15 years 10 months ago
The Load and Availability of Byzantine Quorum Systems
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...
Dahlia Malkhi, Michael K. Reiter, Avishai Wool