7 search results - page 2 / 2 » ppam 2001 |
PPAM
2001
Springer
13 years 9 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
PPAM
2001
Springer
13 years 9 months ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...