Lisibilite et comprehension des programmes informatiques:analyse du probleme dans un service informatique de l'EDF
J.C. Sperandio
,
A. Drouin
RT-0026, INRIA. 1983, pp.23
Rapport
inria-00070130v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Opérateur carré du champ, subordinateurs et processus de Dirichlet
Nicolas Bouleau
Séminaire de Théorie du Potentiel , Feb 1983, France. pp.82-91
Communication dans un congrès
hal-00451771v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Commande non lineaire robuste des robots manipulateurs
Claude Samson
[Rapport de recherche] RR-0182, INRIA. 1983
Rapport
inria-00076376v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Chorus:A communication and processing architecture for distributed systems
H. Zimmermann
,
M. Guillemont
,
G. Morisset
,
J.S. Banino
RR-0328, INRIA. 1984
Rapport
inria-00076229v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Modélisation avec pivot pour une loi générale
Jean Pellaumail
[Rapport de recherche] RR-0321, INRIA. 1984
Rapport
inria-00076236v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Systèmes de processus communicants et interprétation parallèle de langages fonctionnels
Boubakar Gamatié
[Rapport de recherche] RR-0320, INRIA. 1984
Rapport
inria-00076237v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Le_Lisp,a portable and efficient Lisp system
J. Chailloux
,
M. Devin
,
J.M. Hullot
RR-0319, INRIA. 1984
Rapport
inria-00076238v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Evaluation of parallel execution of program tree structures
Philippe Mussi
,
Philippe Nain
RR-0318, INRIA. 1984
Rapport
inria-00076239v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Probabilistic counting algorithms for data base applications
Philippe Flajolet
,
G. Nigel Martin
[Research Report] RR-0313, INRIA. 1984
Rapport
inria-00076244v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Simulations numeriques dans la fabrication des circuits a semiconducteurs (Process modelling)
Americo Marrocco
[Rapport de recherche] RR-0305, INRIA. 1984
Rapport
inria-00076252v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire)
Yves Bekkers
,
Bernard Canet
,
Olivier Ridoux
,
Lucien Ungaro
[Rapport de recherche] RR-0283, INRIA. 1984
Rapport
inria-00076275v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Une approche à la validité des protocoles d'enchères par la méthode des tests de spécification
Christine Ecault
[Rapport de recherche] RR-0279, INRIA. 1984
Rapport
inria-00076279v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Morse:A functional query language and its semantic data model
M. Bouzeghoub
RR-0270, INRIA. 1984
Rapport
inria-00076288v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Improved upper bounds on shellsort
Janet Incerpi
,
Robert Sedgewick
RR-0267, INRIA. 1984
Rapport
inria-00076291v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
On the observational semantics of fair parallelism
Philippe Darondeau
,
Laurent Kott
[Research Report] RR-0262, INRIA. 1983
Rapport
inria-00076296v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Equations de Chapman-Kolmogorov et flots stationnaires pour des processus markoviens
Jean-Yves Le Boudec
,
Jean Pellaumail
[Rapport de recherche] RR-0260, INRIA. 1983
Rapport
inria-00076298v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Solution à forme produit d'un systeme linéaire
Jean Pellaumail
[Rapport de recherche] RR-0259, INRIA. 1983
Rapport
inria-00076299v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Ordonnancement des pieces dans un systeme de traitement de surfaces
D. Bolignano
,
Jean-Marie Proth
,
K. Voyiatzis
RR-0234, INRIA. 1983
Rapport
inria-00076324v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
On the limiting form of the Kalmanbucy filter as measurement noise tends to zero (Part I,Finite Dimension)
T. Hamatsuka
RR-0226, INRIA. 1983
Rapport
inria-00076332v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Généralisation de l'analyse des correspondances à la comparaison de tableaux de frequence
Brigitte Escofier
[Rapport de recherche] RR-0207, INRIA. 1983
Rapport
inria-00076351v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Algebraic analogues to fundamental notions of query and dependency theory
Serge Abiteboul
[Research Report] RR-0201, INRIA. 1983
Rapport
inria-00076357v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Le systeme LUCIFER d'aide a la conception de circuits integres
J. Chailloux
,
J.M. Hullot
,
Jean-Jacques Levy
,
J. Vuillemin
RR-0196, INRIA. 1983
Rapport
inria-00076362v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
A new method of computing global elastic moduli for composite materials
D. Begis
,
A. Bestagno
,
G. Duvaut
,
A. Hassim
,
M. Nuc
RR-0195, INRIA. 1983
Rapport
inria-00076363v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Computational semantics of terms rewriting systems
Gérard Boudol
[Research Report] RR-0192, INRIA. 1983, pp.98
Rapport
inria-00076366v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Monte Carlo methods in nonlinear filtering and importance sampling
François Le Gland
Proceedings of the 23rd IEEE Conference on Decision and Control, Las Vegas 1984 , IEEE--CSS, Dec 1984, Las Vegas, United States. pp.31-32,
⟨10.1109/CDC.1984.272246⟩
Communication dans un congrès
hal-00912071v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Theory and practice of sequential algorithms : the Kernel of the applicative Language CDS
Gérard Berry
,
P.L. Curien
[Research Report] RR-0225, INRIA. 1983
Rapport
inria-00076333v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Indices d'association partielle entre variables "qualitatives" ordinales
I.C. Lerman
Annales de l'ISUP , 1983, XXVIII (1-2), pp.7-46
Article dans une revue
hal-03711568v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
[Nonparametric approach to the determination of critical diameters. Comparison with conventional methods].
Jean-Pierre Flandrois
,
G. Carret
Pathologie Biologie , 1984, 32 (5 Pt 2), pp.488-91
Article dans une revue
hal-02332698v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Systeme informatique de commande du robot V 80
V. Dupourque
RT-0035, INRIA. 1984, pp.93
Rapport
inria-00070123v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Etude preliminaire du travail de secretariat dans un service hospitalier specialise
S. Sebillotte
RT-0030, INRIA. 1983, pp.40
Rapport
inria-00070127v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More