154 search results - page 1 / 31 » Formal Verification of Exact Computations Using Newton's Met... |
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
ENTCS
2006
13 years 11 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
MOC
2000
13 years 10 months ago
2000
The iteratively regularized Gauss-Newton method is applied to compute the stable solutions to nonlinear ill-posed problems F (x) = y when the data y is given approximately by y wit...
JCNS
2010
13 years 5 months ago
2010
A number of important data analysis problems in neuroscience can be solved using state-space models. In this article, we describe fast methods for computing the exact maximum a pos...