Deadlock-freeness of hexagonal systolic arrays (Q765473): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2010.04.021
@@ Property / DOI: 10.1016/j.ipl.2010.04.021 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+CSP-prover
@@ Property / describes a project that uses: CSP-prover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2010.04.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2006670027
@@ Property / OpenAlex ID: W2006670027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942029
@@ Property / cites work: Q4942029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance for systolic communication
@@ Property / cites work: Deadlock avoidance for systolic communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457460
@@ Property / cites work: Q4457460 / rank @@
+Normal rank
@@ Property / cites work @@
+The pursuit of deadlock freedom
@@ Property / cites work: The pursuit of deadlock freedom / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2010.04.021
@@ Property / DOI: 10.1016/J.IPL.2010.04.021 / rank @@
+Normal rank