854 search results - page 164 / 171 » Abstracting from Failure Probabilities |
117
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
83
Voted
ALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Three simple and explicit procedures for testing the independence of two multi-dimensional random variables are described. Two of the associated test statistics (L1, log-...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—While prior research has extensively evaluated the performance advantage of moving from a 2D to a 3D design style, the impact of process parameter variations on 3D desig...
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— We study the effect of the field size on the performance of random linear network coding for time division duplexing channels proposed in [1]. In particular, we study ...
115
click to vote
ICTIR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...