Filtrer vos résultats
- 915
- 498
- 1
- 635
- 390
- 272
- 53
- 20
- 15
- 8
- 5
- 4
- 4
- 3
- 2
- 2
- 1
- 434
- 20
- 1217
- 174
- 118
- 62
- 12
- 12
- 10
- 7
- 3
- 3
- 1
- 1
- 1
- 1
- 2
- 700
- 710
- 1118
- 284
- 11
- 1
- 357
- 254
- 235
- 175
- 147
- 130
- 114
- 104
- 101
- 93
- 47
- 35
- 28
- 22
- 17
- 13
- 13
- 12
- 11
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 45
- 32
- 28
- 26
- 24
- 20
- 20
- 20
- 19
- 19
- 18
- 18
- 17
- 16
- 14
- 14
- 14
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
1 414 résultats
Application of Modules (RealSolving/FRISCO)MuPAD Workshop 1997, 1997, Unknown, Unknown Region
Communication dans un congrès
hal-01434768v1
|
|||
Polynomial system solving in practiceFoCM'97, 1997, Unknown, Unknown Region
Communication dans un congrès
hal-01434770v1
|
|||
A Survey of Recoverable Distributed Shared Memory SystemsIEEE Transactions on Parallel and Distributed Systems, 1997, 8 (9), pp.959--969
Article dans une revue
hal-01271118v1
|
|||
Classification et compressionCinquièmes Rencontres de la Société Francophone de Classification, Sep 1997, Lyon, France. pp.229-234
Communication dans un congrès
hal-01509925v1
|
|||
|
The SIGSAM Challenges: Symbolic Asymptotics in PracticeRT-0209, INRIA. 1997, pp.14
Rapport
inria-00069962v1
|
||
|
Cinq algorithmes de calcul symbolique[Rapport de recherche] RT-0206, INRIA. 1997, pp.21
Rapport
inria-00069965v1
|
||
|
The Coq Proof Assistant : A Tutorial : Version 6.1[Research Report] RT-0204, INRIA. 1997, pp.44
Rapport
inria-00069967v1
|
||
|
PERSIA: manuel utilisateur[Rapport Technique] RT-0202, INRIA. 1997, pp.12
Rapport
inria-00069969v1
|
||
|
«ARC»: Simulateur d'architecture de réseaux de communications[Rapport Technique] RT-0187, INRIA. 1996, pp.24
Rapport
inria-00069984v1
|
||
Méthode d'imagerie microonde pour les reconstructions tomographiques d'hétérogénéités enterrées2nd Meeting Environmental and Engineering Geophysics, Sep 1996, Nantes, France. pp.268-271
Communication dans un congrès
hal-00987341v1
|
|||
Finite element convergence for the Darwin model to Maxwell's equationsESAIM: Mathematical Modelling and Numerical Analysis, 1997, 31 (2), pp.213-250
Article dans une revue
hal-01010389v1
|
|||
MOMIX-emSDH2. Simulatore di Agent di Element Manager SDH2.0[Technical Report] DTR 97.0413, CSELT, Centro Studi e Laboratori Telecomunicazioni, Turin, Italy. 1997, pp.99
Rapport
hal-01154656v1
|
|||
On the Optimality of Allen and Kennedy's Algorithm for Parallelism Extraction in Nested LoopsParallel Algorithms and Applications, 1997, 12 (1-3), pp.83-112. ⟨10.1080/01495739708941417⟩
Article dans une revue
hal-00856887v1
|
|||
Compiling affine nested loops: how to optimize the residual communications after the alignment phase?Journal of Parallel and Distributed Computing, 1996, 38 (2), pp.176-187
Article dans une revue
hal-00856911v1
|
|||
On the removal of anti and output dependencesApplication Specific Systems, Architectures and Processors, 1996, Unknown, pp.353-364
Communication dans un congrès
hal-00856925v1
|
|||
A Numerical Model for Large DeformationProceedings of the International Conference on Pattern Recognition, Aug 1996, Vienne, Austria. pp.471-475, ⟨10.1109/ICPR.1996.546071⟩
Communication dans un congrès
inria-00532689v1
|
|||
Etude spatio-temporelle de la végétation par données satellitaires multicapteursJournées ORASIS, GDR-PRC Communication Homme--Machine, May 1996, Clermond-Ferrand, France
Communication dans un congrès
inria-00532692v1
|
|||
Use of multi-sensor, multi-scale and temporal data for segmenting vegetationImage and Signal Processing for Remote Sensing III, Sep 1996, Taormina, Italy. pp.96-105, ⟨10.1117/12.262878⟩
Communication dans un congrès
inria-00532694v1
|
|||
Image Processing as Input for Air PollutionConférence européenne sur les technologies de l'information pour l'environnement - Metropolis, Informatique pour l'environnement'97, 1997, Strasbourg, France
Communication dans un congrès
inria-00532706v1
|
|||
|
Génération de code réparti par distribution de donnéesRéseaux et télécommunications [cs.NI]. Université Rennes 1, 1997
HDR
tel-00170867v1
|
||
|
Géométrie d'un système de N caméras : théorie, estimation et applicationsInterface homme-machine [cs.HC]. Ecole Polytechnique X, 1996. Français. ⟨NNT : ⟩
Thèse
tel-00267257v1
|
||
|
Interacting Strings of Characters[Research Report] RR-3057, INRIA. 1996
Rapport
inria-00073635v1
|
||
|
Algebraic Way to Derive Discrete Absorbing Boundary Conditions for Wave Equation[Research Report] RR-3053, INRIA. 1996
Rapport
inria-00073639v1
|
||
|
Proving Data-Parallel Programs : a Unifying Approach[Research Report] RR-3032, INRIA. 1996
Rapport
inria-00073661v1
|
||
|
Coq en Coq[Research Report] RR-3026, INRIA. 1996
Rapport
inria-00073667v1
|
||
|
An Interpretation of Typed Objects Into Typed $\pi$-calculusRR-3000, INRIA. 1996
Rapport
inria-00073696v1
|
||
|
Compass-Like Biped Robot Part I : Stability and Bifurcation of Passive Gaits[Research Report] RR-2996, INRIA. 1996
Rapport
inria-00073701v1
|
||
|
Numerical Computation of a Polynomial GCD and ExtensionsRR-2969, INRIA. 1996
Rapport
inria-00073729v1
|
||
|
A Time-Domain Derivation of Optimal and Suboptimal Kirchhoff Quantitative Migrations Via a Least-Squares Approach[Research Report] RR-2967, INRIA. 1996
Rapport
inria-00073731v1
|
||
|
Résolution numérique du modèle de Boltzmann avec énergies internes de rotation et de vibration[Rapport de recherche] RR-3159, INRIA. 1997
Rapport
inria-00073530v1
|