Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

8 Results
authFullName_s : F. Thomasset
Image document

Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer

A. Lichnewsky , F. Thomasset
RR-0820, INRIA. 1988
Reports inria-00075731v1
Image document

An exact algorithm for the constraint satisfaction problem : application to dependance computing in automatic parallelization

H. Bennaceur , G. Plateau , F. Thomasset
RR-1246, INRIA. 1990
Reports inria-00075312v1
Image document

Automatic detection of parallelism in scientific programs- application to array-processors

A. Lichnewsky , F. Thomasset , Christine Eisenbeis
RR-0775, INRIA. 1987
Reports inria-00075777v1
Image document

Sur l'approximation d'écoulements multifluides incompressibles visqueux par des éléments finis triangulaires de degré un

Alain Dervieux , F. Thomasset
RR-0067, INRIA. 1981
Reports inria-00076494v1
Image document

Techniques de base sur l'exploitation automatique du parallelisme dans les programmes

A. Lichnewsky , F. Thomasset
RR-0460, INRIA. 1985
Reports inria-00076094v1
Image document

An experiment with arithmetic precision in linear algebra computations

I.S. Duff , Jacques Laminie , A. Lichnewsky , F. Thomasset
RR-0643, INRIA. 1987
Reports inria-00075910v1
Image document

Multi-processeur INRIA:structure et fonctionnement

Jocelyne Erhel , A. Lichnewsky , F. Thomasset
RT-0014, INRIA. 1982, pp.130
Reports inria-00070140v1
Image document

Vectorizing finite element methods

Jocelyne Erhel , A. Lichnewsky , F. Thomasset
RR-0383, INRIA. 1985
Reports inria-00076173v1