Skip to Main content Skip to Navigation
Help


...
inria-00071968v1  Reports
Abdou GuermoucheJean-Yves l'ExcellentGil Utard. On the Memory Usage of a Parallel Multifrontal Solver
[Research Report] RR-4617, LIP RR-2002-42, INRIA, LIP. 2002
...
inria-00070102v1  Reports
François DelebecqueC. KlimannSerge Steer. BLAISE.Guide d'utilisation
[Rapport de recherche] RT-0056, INRIA. 1985, pp.121
...
inria-00077114v1  Reports
Rachid DjenidiRamine NikoukhahYves SorelSerge Steer. Interface Scicos-SynDEx
[Rapport de recherche] RR-4250, INRIA. 2001
...
hal-02102484v1  Reports
Luc BougéGil Utard. Escape constructs in data-parallel languages: semantics and proof system
[Research Report] LIP RR-94-18, Laboratoire de l'informatique du parallélisme. 1994, 2+19p
...
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-02101901v1  Reports
Eddy CaronGil Utard. Parallel out-of-core matrix inversion
[Research Report] LIP RR-2002-04, Laboratoire de l'informatique du parallélisme. 2002, 2+17p
...
hal-02101986v1  Reports
Gil Utard. Validation of the compilation of Data-Parallel C ``while'' loops for shared memory architectures
[Research Report] LIP RR-1994-13, Laboratoire de l'informatique du parallélisme. 1994, 2+21p
...
hal-02101836v1  Reports
Guy CuvillierGil Utard. Compilation of data-parallel program for a network of workstations
[Research Report] LIP RR-1994-31, Laboratoire de l'informatique du parallélisme. 1994, 2+24p