共 50 条
- [31] Printing floating-point numbers a faster, always correct method 2016, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (20-22-January-2016):
- [32] Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 366 - 370
- [33] Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables STATIC ANALYSIS, 2010, 6337 : 184 - 200
- [34] Accurate Floating-point Operation using Controlled Floating-point Precision 2011 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2011, : 696 - 701
- [38] FLOATING-POINT COMPUTATION TRANSACTIONS OF THE NEW YORK ACADEMY OF SCIENCES, 1974, 36 (06): : 591 - 591