PPAM
2001
Springer
14 years 8 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
14 years 8 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...
PPAM
2001
Springer
14 years 8 months ago
2001
Springer
PPAM
2001
Springer
14 years 8 months ago
2001
Springer
Abstract. This paper investigates the complexity of scheduling biprocessor tasks on dedicated processors to minimize mean flow time. Since the general problem is strongly NP-hard,...
PPAM
2001
Springer
14 years 8 months ago
2001
Springer
In this work we consider the problem of estimating execution time of distributed applications. The main difficulty stems from the communication delays and shared nature of the comp...
PPAM
2001
Springer
14 years 8 months ago
2001
Springer
PPAM
2001
Springer
14 years 8 months ago
2001
Springer
