Bit-precise verification of discontinuity errors under fixed-point arithmetic (Q6045065): Difference between revisions

@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Sound compilation of reals
@@ Property / cites work: Sound compilation of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+How Many Bits Does it Take to Quantize Your Neural Network?
+Normal rank
@@ Property / cites work @@
+Static Analysis of Finite Precision Computations
@@ Property / cites work: Static Analysis of Finite Precision Computations / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
+Normal rank