Quantifier elimination in automatic loop parallelization (Q2457396): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2005.09.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2080706210
@@ Property / OpenAlex ID: W2080706210 / rank @@
+Normal rank
@@ Property / cites work @@
+New Finite Pivoting Rules for the Simplex Method
@@ Property / cites work: New Finite Pivoting Rules for the Simplex Method / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+Mapping affine loop nests
@@ Property / cites work: Mapping affine loop nests / rank @@
+Normal rank
@@ Property / cites work @@
+Dataflow analysis of array and scalar references
@@ Property / cites work: Dataflow analysis of array and scalar references / rank @@
+Normal rank
@@ Property / cites work @@
+Some efficient solutions to the affine scheduling problem. I: One- dimensional time
+Normal rank
@@ Property / cites work @@
+Some efficient solutions to the affine scheduling problem. II: Multidimensional time
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234321
@@ Property / cites work: Q4234321 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank