An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic (Q478379): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2014.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2026366530
@@ Property / OpenAlex ID: W2026366530 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy tree splitting
@@ Property / cites work: Lazy tree splitting / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Quantifier Elimination as an Abstract Decision Procedure
+Normal rank
@@ Property / cites work @@
+Q3579404
@@ Property / cites work: Q3579404 / rank @@
+Normal rank
@@ Property / cites work @@
+Routing, merging, and sorting on parallel models of computation
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical approach to model checking duration calculus using Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Bounds on the automata size for Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Parallel programming with a pattern language
@@ Property / cites work: Parallel programming with a pattern language / rank @@
+Normal rank
@@ Property / cites work @@
+A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Cache-Oblivious Algorithms
@@ Property / cites work: Cache-Oblivious Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm + strategy = parallelism
@@ Property / cites work: Algorithm + strategy = parallelism / rank @@
+Normal rank