31 citations · 70 across the 19 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.DC2014★ 8 cited
A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads
Sardar Anisul Haque, Marc Moreno Maza, Ning Xie
We present a model of multithreaded computation, combining fork-join and single-instruction-multiple-data parallelisms, with an emphasis on estimating parallelism overheads of prog…
cs.SC2014★ 31 cited
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
R. Bradford, C. Chen, J. H. Davenport +3
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meanin…