45 search results - page 6 / 9 » An Empirical Method for Selecting Software Reliability Growt... |
DSN
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
CCE
2011
13 years 2 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper deals with multidimensional ICA and its performance analysis, applied to cosmological observations. Our purpose is the separation of the cosmic microwave background rad...