13752 search results - page 2538 / 2751 » Parallel and Distributed Haskells |
118
Voted
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an out-of-core sparse direct solver for unsymmetric linear systems. The solver factors the coefficient matrix A into A = PLU using Gaussian elimination with pa...
160
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
For about ten years now, Bo K˚agstr¨om’s Group in Umea, Sweden, Jerzy Wa´sniewski’s Team at Danish Technical University in Lyngby, Denmark, and I at IBM Research in Yorktown...
139
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
130
click to vote
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
139
Voted
SEAFOOD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes lessons from running software development projects across three globally distributed educational institutions. What was innovative about this study w...