An algebraic hardware/software partitioning algorithm (Q1613267): Difference between revisions

@@ Property / author @@
+Zong-Yan Qiu
@@ Property / author: Zong-Yan Qiu / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Specification, verification and prototyping of an optimized compiler
+Normal rank
@@ Property / cites work @@
+An Algebraic Approach to Compiler Design
@@ Property / cites work: An Algebraic Approach to Compiler Design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+The laws of Occam programming
@@ Property / cites work: The laws of Occam programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic hardware/software partitioning algorithm
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank