1309 search results - page 112 / 262 » Approaching Optimality for Solving SDD Linear Systems |
131
click to vote
MP
2002
15 years 3 months ago
2002
The asymptotic convergence of parameterized variants of Newton's method for the solution of nonlinear systems of equations is considered. The original system is perturbed by a...
153
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
147
click to vote
DSOM
2005
Springer
15 years 9 months ago
2005
Springer
We present a design for policy-based performance management of SMS Systems. The design takes as input the operator’s performance goals, which are expressed as policies that can b...
141
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Current methods for selectivity estimation fall into two broad categories, synopsis-based and sampling-based. Synopsis-based methods, such as histograms, incur minimal overhead at ...
149
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...