|
||
---|---|---|
inria-00071857v1
Reports
Analysis and Improvments of the Memory Usage of a Multifrontal Solver [Research Report] RR-4729, LIP RR-2003-08, INRIA, LIP. 2003 |
||
hal-00807378v1
Journal articles
Impact of reordering on the Memory of a Multifrontal Solver Parallel Computing, Elsevier, 2003, 29 (9), pp.1191--1218 |
||
hal-00807379v1
Conference papers
On the memory Usage of a Parallel Multifrontal Solver Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS'03), 2003, Unknown |
||
inria-00073661v1
Reports
Proving Data-Parallel Programs : a Unifying Approach [Research Report] RR-3032, INRIA. 1996 |
||
inria-00073660v1
Reports
Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language [Research Report] RR-3033, INRIA. 1996 |
||
|