Skip to Main content Skip to Navigation

hal-02101782v1  Reports
V. MounierGil Utard. Axiomatic Semantics of Data-Parallel Languages; Automatization of Programs Verification
[Research Report] LIP RR-1993-08, Laboratoire de l'informatique du parallélisme. 1993, 2+48p
hal-00807379v1  Conference papers
Abdou GuermoucheJean-Yves l'ExcellentGil Utard. On the memory Usage of a Parallel Multifrontal Solver
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS'03), 2003, Unknown
hal-00807378v1  Journal articles
Abdou GuermoucheJean-Yves l'ExcellentGil Utard. Impact of reordering on the Memory of a Multifrontal Solver
Parallel Computing, Elsevier, 2003, 29 (9), pp.1191--1218