Sciweavers

HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
13 years 11 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester