4586 search results - page 82 / 918 » Computing stable models in parallel |
186
Voted
EUROPAR
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. ILU(k) is a commonly used preconditioner for iterative linear solvers for sparse, non-symmetric systems. It is often preferred for the sake of its stability. We present T...
111
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
103
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The UPIO (User-controllable Parallel I/O) we proposed xtends the abstraction of a linear file model into an n-dimensional file model, making it possible to control the layout of d...
ENTCS
2006
15 years 2 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
PVM
2005
Springer
15 years 8 months ago
2005
Springer