170 search results - page 14 / 34 » A Bounding Quantifier |
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
NOLISP
2007
Springer
15 years 5 months ago
2007
Springer
Classical objective criteria evaluate speech quality using one quantity which embed all possible kind of degradation. For speech denoising applications, there is a great need to d...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Data reliability of distributed brick storage systems critically depends on the replica placement policy, and the two governing forces are repair speed and sensitivity to multiple...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
An objective of DSP testing should be to ensure that any errors due to missed faults are infrequent compared to a circuit’s intrinsic errors, such as overflow. A method is prop...
INFOCOM
1993
IEEE
15 years 3 months ago
1993
IEEE
Here we present the results of a study to determine the effects of link failures on network performance. The network studied is a virtual circuit based packet switched wide area n...