|
|
Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer
A. Lichnewsky
,
F. Thomasset
RR-0820, INRIA. 1988
Reports
inria-00075731v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automatic detection of parallelism in scientific programs- application to array-processors
A. Lichnewsky
,
F. Thomasset
,
Christine Eisenbeis
RR-0775, INRIA. 1987
Reports
inria-00075777v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Techniques de base sur l'exploitation automatique du parallelisme dans les programmes
A. Lichnewsky
,
F. Thomasset
RR-0460, INRIA. 1985
Reports
inria-00076094v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Multi-processeur INRIA:structure et fonctionnement
Jocelyne Erhel
,
A. Lichnewsky
,
F. Thomasset
RT-0014, INRIA. 1982, pp.130
Reports
inria-00070140v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Vectorizing finite element methods
Jocelyne Erhel
,
A. Lichnewsky
,
F. Thomasset
RR-0383, INRIA. 1985
Reports
inria-00076173v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|