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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-92124-8_25
+Normal rank
@@ Property / OpenAlex ID @@
+W4206073153
@@ Property / OpenAlex ID: W4206073153 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:6045065