First Page | Document Content | |
---|---|---|
Date: 2018-10-18 11:22:35Numerical analysis Mathematics Applied mathematics Computing Error analysis Interval arithmetic Round-off error Program optimization Infinite loop Algorithm | Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2Add to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 263,88 KBShare Document on Facebook |