IEEE - Institute of Electrical and Electronics Engineers, Inc. - Stochastic Formal Methods: An Application to Accuracy of Numeric Software

Proceedings of the 40th Annual Hawaii International Conference on System Sciences

Author(s): M. Daumas ; D. Lester
Sponsor(s): IEEE CPS
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2007
Conference Location: Waikoloa, HI, USA
Conference Date: 3 January 2007
ISBN (Online): 0-7695-2755-8
ISSN (Online): 1530-1605
DOI: 10.1109/HICSS.2007.499
Regular:

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 implications for control... View More

Advertisement