188 search results - page 15 / 38 » Error Modeling in Dependable Component-Based Systems |
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
ACL
2006
13 years 9 months ago
2006
When training the parameters for a natural language system, one would prefer to minimize 1-best loss (error) on an evaluation set. Since the error surface for many natural languag...
IJCAI
2007
13 years 9 months ago
2007
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...