250 search results - page 17 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
VALUETOOLS
2006
ACM
15 years 3 months ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
PVLDB
2008
14 years 9 months ago
2008
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
NSDI
2008
14 years 11 months ago
2008
Discretization is used in click-based graphical passwords so that approximately correct entries can be accepted by the system. We show that the existing discretization scheme of B...
ICCAD
2002
IEEE
15 years 2 months ago
2002
IEEE
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
109
Voted
PLDI
2011
ACM
14 years 8 days ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...