The top documents tagged [parallel solvers]

03-stepbystepcalculation

BIRS Workshop, Banff, Canada Jan 22, 2014 © 2014 IBM Corporation Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.

Parallelizing finite element PDE solvers in an object-oriented framework Xing Cai Department of Informatics University of Oslo.

UTS CRICOS PROVIDER CODE: 00099F VARIOUS FLAVOURS OF BIG DATA IN COMPUTER VISION, BANKING AND TEACHING uts.edu.au Massimo Piccardi.

Recent Trends in Graph Partitioning for Scientific Computing

Abstractions: Programming and deploying apps. on Grids

Multifaceted Algorithm Design Richard Peng M.I.T..

A Software Framework for Easy Parallelization of PDE Solvers

ProCASt

[published at AAAI-2013]