3108 search results - page 99 / 622 » The Elements of Computer Credibility |
135
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
158
click to vote
ISAAC
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of finding a sparse multiple of a polynomial. Given f F[x] of degree d, and a desired sparsity t, our goal is to determine if there exists a multiple h F[...
139
click to vote
JDCTA
2010
14 years 11 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
120
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Failure is an ordinary characteristic of large-scale distributed environments. Resubmission is a general strategy employed to cope with failures in grids. Here, we analyt...
EUSFLAT
2007
15 years 5 months ago
2007
We consider the computation of multistate systems reliabilities in the presence of random set estimations for the elements' working abilities. It turns out that the Dempster-...