8746 articles  [version française]
.:. Browse > List by year > 1985 .:.
140 documents ordered by :
1 - 2 - 3 - 4 - 5 - 6 - 7 ... Next Last
fulltext access Techniques de base sur l'exploitation automatique du parallelisme dans les programmes
Lichnewsky A., Thomasset F.
N° RR-0460 (1985) [inria-00076094 - version 1]
fulltext access A visualisation method for constructive solid geometry using polygon clipping
Verroust A.
N° RR-0461 (1985) [inria-00076093 - version 1]
fulltext access A probabilistic model for evaluating the Verso software filter
Delebarre V., Richard P.
N° RR-0462 (1985) [inria-00076092 - version 1]
fulltext access Concepts mathematiques et informatiques formalises dans le calcul des constructions
Coquand T., Huet G.
N° RR-0463 (1985) [inria-00076091 - version 1]
fulltext access Etude de sensibilite d'un modele de polarisation electromagnetique vis-a-vis de ses parametres
Goldman Y.
N° RR-0465 (1985) [inria-00076089 - version 1]
fulltext access Evaluation of recursive predicats in deductive databases
De Maindreville C.
N° RR-0467 (1985) [inria-00076087 - version 1]
fulltext access Familles de produits et ilots de fabrication: le cas de machines multiples
Garcia H., Mutel B., Proth J.-M.
N° RR-0469 (1985) [inria-00076085 - version 1]
fulltext access Etude exhaustive de l'algorithme de reallocation-recentrage dans un cas simple
Celeux G.
N° RR-0470 (1985) [inria-00076084 - version 1]
fulltext access Algorithmique parallele et distribuee
Lavallee I., Lavault C.
N° RR-0471 (1985) [inria-00076083 - version 1]
fulltext access Le meta-decompilateur Pretty sous Mentor
Vercoustre A.-M.
N° RT-0062 (1985) [inria-00070097 - version 1]