Automatic verification of a class of systolic circuits (Q1189257): Difference between revisions

@@ Property / cites work @@
+Bounds on Positive Integral Solutions of Linear Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753927
@@ Property / cites work: Q3753927 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving systolic systems correct
@@ Property / cites work: Proving systolic systems correct / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723293
@@ Property / cites work: Q4723293 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Model for the Verification of Systolic Networks
+Normal rank
@@ Property / cites work @@
+Systolic arrays for Viterbi processing in communication systems with a time-dispersive channel
+Normal rank
@@ Property / cites work @@
+Mechanical certification of systolic algorithms
@@ Property / cites work: Mechanical certification of systolic algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326832
@@ Property / cites work: Q3326832 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01212335
+Normal rank
@@ Property / OpenAlex ID @@
+W2031444332
@@ Property / OpenAlex ID: W2031444332 / rank @@
+Normal rank