13752 search results - page 2538 / 2751 » Parallel and Distributed Haskells |
159
click to vote
PPAM
2007
Springer
16 years 18 days 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...
205
click to vote
PPAM
2007
Springer
16 years 18 days 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...
177
click to vote
PVM
2007
Springer
16 years 18 days 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...
161
click to vote
PVM
2007
Springer
16 years 18 days 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...
183
click to vote
SEAFOOD
2007
Springer
16 years 18 days 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...