Formal proof of prefix adders (Q611751): Difference between revisions

@@ Property / cites work @@
+Parallel Prefix Computation
@@ Property / cites work: Parallel Prefix Computation / rank @@
+Normal rank
@@ Property / cites work @@
+A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations
+Normal rank
@@ Property / cites work @@
+A Regular Layout for Parallel Adders
@@ Property / cites work: A Regular Layout for Parallel Adders / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Correctness and Properties of Integer Adder Circuits
+Normal rank
@@ Property / cites work @@
+A new class of parallel algorithms for finding connected components on machines with bit-vector operations
+Normal rank
@@ Property / cites work @@
+Q2773752
@@ Property / cites work: Q2773752 / rank @@
+Normal rank