Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

489 résultats
Page :
triés par
Image document

LT/GEOL 1.0 : A MAPLE package for constrained planar euclidean geometric structures

 L.W. Ericson
RT-0101, INRIA. 1988, pp.87
Rapport inria-00070065v1
Image document

EDORA - An expert system for assistance in biological modeling

 Leila Alem
[Research Report] RT-0099, INRIA. 1988, pp.18
Rapport inria-00070067v1
Image document

Determining the exit time distribution for a closed cyclic network

 François Baccelli , William A. Massey , Paul E. Wright
[Research Report] RR-0832, INRIA. 1988
Rapport inria-00076893v1
Image document

La conception ergonomique d'interfaces : problemes de methode

 Dominique Scapin , P. Reynard , A. Pollier
RR-0957, INRIA. 1988
Rapport inria-00075602v1
Image document

Enumeration of bordered words

 Mireille Regnier
RR-0956, INRIA. 1988
Rapport inria-00075603v1
Image document

On the multiplicity of operational semantics for logic programming and their modelization by attribute grammars

 Pierre Deransart
[Research Report] RR-0916, INRIA. 1988
Rapport inria-00075640v1
Image document

On the stability and convergence of higher order mixed finite element methods for second order elliptic problems

 M. Suri
RR-0915, INRIA. 1988
Rapport inria-00075641v1
Image document

Complete evaluation of Horn clauses : an automata theoretic approach

 Bernard Lang
[Research Report] RR-0913, INRIA. 1988
Rapport inria-00075643v1
Image document

General and efficient decentralized consensus protocols

 Jean-Claude Bermond , Jean-Claude König , Michel Raynal
Proceedings International workshop, Jul 1987, Amsterdam, Netherlands. pp.41-56
Communication dans un congrès hal-02973251v1

Domains and dynamic loading: reconciling autonomy and integration

 Marc Shapiro
SIGOPS European Workshop on ``Autonomy or interdependence in distributed systems?'', 1988, Cambridge, United Kingdom. ⟨10.1145/504092.504127⟩
Communication dans un congrès hal-01248234v1
Image document

An empirically-derived control structure for the process of program understanding

 Françoise Détienne , E. Soloway
[Research Report] RR-0886, INRIA. 1988
Rapport inria-00075668v1
Image document

L'activité de comparaison de représentations dans la mise au point de programmes

 Willemien Visser
Le travail humain, 1988, Numéro Spécial "Psychologie ergonomique de la programmation informatique", 51 (4), pp.351-362
Article dans une revue hal-00642568v1
Image document

Explicit calculation of reactive flows with an upwind finite element hydrodynamical code

 Abderrahmane Habbal , Alain Dervieux , Hervé Guillard , Bernard Larrouturou
[Research Report] RR-0690, INRIA. 1987
Rapport inria-00075863v1
Image document

Homogeneisation d'equations hyperboliques du premier ordre. Application aux milieux poreux

 Yacine Y. Amirat , K. Hamdache , A. Ziani
RR-0803, INRIA. 1988
Rapport inria-00075748v1
Image document

Extension of Chernikova's algorithm for solving general mixed linear programming problems

 Felipe Fernandez , Patrice Quinton
[Research Report] RR-0943, INRIA. 1988
Rapport inria-00075615v1
Image document

An office representation framework for planning and monitoring office activities

 Alain Michard
[Research Report] RR-0891, INRIA. 1988
Rapport inria-00075663v1
Image document

Un schéma (abstrait) d'itération répartie. Application au calcul des chemins de valeurs minimales

 Jean-Michel Hélary , Michel Raynal
[Rapport de recherche] RR-0879, INRIA. 1988
Rapport inria-00075675v1
Image document

Détermination spatio-temporelle de traceurs dans une séquence d'images sous-marines à des fins de trajectographie

 Patrick Lalande , Patrick Bouthemy
[Rapport de recherche] RR-0877, INRIA. 1988
Rapport inria-00075677v1
Image document

Lambda-Upsilon-Omega : an assistant algorithms analyzer

 Philippe Flajolet , Paul Zimmermann , Bruno Salvy
[Research Report] RR-0876, INRIA. 1988
Rapport inria-00075678v1
Image document

Graphes canoniques de graphes algébriques

 Didier Caucal
[Rapport de recherche] RR-0872, INRIA. 1988
Rapport inria-00075682v1
Image document

Frequency allocation for high speed-communications

 Philippe Jacquet , Paul Mühlethaler
RR-0850, INRIA. 1988
Rapport inria-00075703v1
Image document

Structuration des connaissances et raisonnement a l'aide d'objets

 Christine Pierret-Golbreich
RR-0847, INRIA. 1988
Rapport inria-00075706v1
Image document

On the power of languages for the manipulation of complex objects

 Serge Abiteboul , C. Beeri
[Research Report] RR-0846, INRIA. 1988
Rapport inria-00075707v1
Image document

An iterative Euclidean algorithm

 Paul Camion
RR-0844, INRIA. 1988
Rapport inria-00075709v1
Image document

Average number of messages for distributed leader finding in rings of processors

 C. Lavault
RR-0840, INRIA. 1988
Rapport inria-00075713v1
Image document

Tetraedrisation automatique et respect de la frontiere

 Paul-Louis George , Frédéric Hecht , Eric Saltel
[Rapport de recherche] RR-0835, INRIA. 1988
Rapport inria-00075718v1
Image document

On the execution of parallel programs on multiprocessor systems. A queuing theory approach

 François Baccelli , Zhen Liu
[Research Report] RR-0833, INRIA. 1988
Rapport inria-00075719v1
Image document

Implementing queries and updates on universal scheme interfaces

 C. Lecluse , N. Spyratos
RR-0805, INRIA. 1988
Rapport inria-00075746v1
Image document

Solving disequations

 Claude Kirchner , Pierre Lescanne
[Research Report] RR-0686, INRIA. 1987
Rapport inria-00075867v1
Image document

MACHNET un reseau performant pour le haut debit ou les communications longues distances

 Philippe Jacquet , Paul Mühlethaler
RR-0684, INRIA. 1987
Rapport inria-00075869v1
Page :