INRIA - Institut National de Recherche en Informatique et en Automatique - Search

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	inria-00071857v1 Reports Abdou Guermouche, Jean-Yves l'Excellent, Gil Utard. Analysis and Improvments of the Memory Usage of a Multifrontal Solver [Research Report] RR-4729, LIP RR-2003-08, INRIA, LIP. 2003
	hal-00807379v1 Conference papers Abdou Guermouche, Jean-Yves l'Excellent, Gil 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 Guermouche, Jean-Yves l'Excellent, Gil Utard. Impact of reordering on the Memory of a Multifrontal Solver Parallel Computing, Elsevier, 2003, 29 (9), pp.1191--1218
	inria-00073661v1 Reports David Cachera, Gil Utard. Proving Data-Parallel Programs : a Unifying Approach [Research Report] RR-3032, INRIA. 1996
	inria-00073660v1 Reports Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot. Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language [Research Report] RR-3033, INRIA. 1996
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM