5900 search results - page 317 / 1180 » Dependable Systems |
160
click to vote
HASE
2005
IEEE
16 years 8 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
151
click to vote
GVD
2009
15 years 4 months ago
2009
Database management systems comprise various algorithms for efficiently retrieving and managing data. Typically, algorithm efficiency or performance is correlated with execution s...
135
click to vote
JSC
2007
15 years 6 months ago
2007
Triangular decompositions for systems of polynomial equations with n variables, with exact coefficients, are well developed theoretically and in terms of implemented algorithms i...
181
click to vote
ICAPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
145
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Storage systems in emerging large-scale (a.k.a. peta-scale) computing systems often introduce a performance or scalability bottleneck. To deal with these limitations we propose a ...