Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

85 Results
Deposit type : Fulltext
Image document

Modélisation de la notion de test de programmes; application à la production de jeux de tests

Luc Bougé
Génie logiciel [cs.SE]. Université Pierre et Marie Curie - Paris VI, 1982. Français. ⟨NNT : ⟩
Theses tel-00416558v1
Image document

Minerve : Manuel de référence

Anne-Marie Vercoustre , Pierre Maurice , Luc Lucrèce
[Rapport de recherche] RT-0017, INRIA. 1982, pp.62
Reports inria-00070139v1
Image document

Unfold/fold program transformations

Laurent Kott
[Research Report] RR-0155, INRIA. 1982
Reports inria-00076404v1
Image document

On deterministic control problem : an approximation procedure for the optimal cost

Roberto L. Gonzalez , Edmundo Rofman
RR-0151, INRIA. 1982
Reports inria-00076409v1
Image document

Croisements,ordres et ultrametriques:Application a la recherche de concensus en classification automatique

Edwin Diday
RR-0144, INRIA. 1982
Reports inria-00076416v1
Image document

Metal,un langage de specification pour le systeme Mentor

B. Melese
RR-0142, INRIA. 1982
Reports inria-00076418v1
Image document

Etude numerique de la solidification d'un alliage a N composants

A. Bermudez , Ch. Saguez
RR-0137, INRIA. 1982
Reports inria-00076423v1
Image document

Local stability of the output least square parameter estimation technique

Guy Chavent
[Research Report] RR-0136, INRIA. 1982
Reports inria-00076424v1
Image document

Quelques remarques sur les problèmes d'existence en élasticité non linéaire

P.G. Ciarlet
RR-0121, INRIA. 1982
Reports inria-00076439v1
Image document

Loi d'une variable aléatoire à valeurs dans R+ réalisant le minimum des moments d'ordre supérieur à deux lorsque les deux premiers sont fixes

Marek Kowalowka , Raymond Marie
[Rapport de recherche] RR-0114, INRIA. 1982
Reports inria-00076446v1
Image document

Compiling relational queries for a finite state automation hardware filter

D. Plateau
RR-0171, INRIA. 1982
Reports inria-00076387v1
Image document

Free vibration of a thin shell.Application to an arch dam

Michel Bernadou , Jean-Marie Boisserie
[Research Report] RR-0161, INRIA. 1982
Reports inria-00076398v1
Image document

Domain decomposition methods for non linear problems in fluid dynamics

Roland Glowinski , Jacques Périaux , Q.V. Dinh
RR-0147, INRIA. 1982
Reports inria-00076413v1
Image document

TQL. A textual query language

François Bancilhon , Patrick Richard
RR-0145, INRIA. 1982
Reports inria-00076415v1
Image document

An overview of systems modelling and evaluation tendencies

G. Jomier
RR-0134, INRIA. 1982
Reports inria-00076426v1
Image document

Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon

Albert Benveniste , Jean-Jacques Fuchs
[Rapport de recherche] RR-0128, INRIA. 1982
Reports inria-00076432v1
Image document

Analyse d'opinions d'instituteurs à l'égard de l'appropriation des nombres naturels par les élèves de cycle préparatoire

Régis Gras , Annie Bessot , Claude Comiti
[Rapport de recherche] RR-0112, INRIA. 1982
Reports inria-00076448v1
Image document

Stability analysis of adaptively controlled not-necessarily minimum phase systems with disturbances

Claude Samson
[Research Report] RR-0110, INRIA. 1982
Reports inria-00076450v1
Image document

Aide à la résolution de problème par présentation graphique des informations

Bernard Senach
[Rapport de recherche] RT-0013, INRIA. 1982, pp.68
Reports inria-00070141v1
Image document

Manuel d'utilisation et critiques du systeme Plume

R. Lu Cong Sang
RT-0021, INRIA. 1982, pp.26
Reports inria-00070135v1
Image document

Espaces de distributions sur des ouverts periodiques et applications

G. Nguet Seng
RR-0172, INRIA. 1982
Reports inria-00076386v1
Image document

Evaluation d'algorithmes de controle de concurrence

J. Madelaine
RR-0164, INRIA. 1982
Reports inria-00076395v1
Image document

Un algorithme systolique pour la reconnaissance de mots connectes

Jean-Pierre Banâtre , Patrice Frison , Patrice Quinton
[Rapport de recherche] RR-0148, INRIA. 1982
Reports inria-00076412v1
Image document

Simulation numerique d'un probleme parabolique non lineaire : trempe d'un barreau metallique

Paul-Louis George
RR-0146, INRIA. 1982
Reports inria-00076414v1
Image document

Approche polynomiale des systemes lineaires stationnaires causaux.Application a la representation cyclique

Laurent Baratchart
RR-0143, INRIA. 1982
Reports inria-00076417v1
Image document

An approximation to the optimum check-point interval using integer programming

M. Magazine
RR-0139, INRIA. 1982
Reports inria-00076421v1
Image document

On the convergence of incremental methods in finite elasticity

Michel Bernadou , P.G. Ciarlet , J. Hu
RR-0135, INRIA. 1982
Reports inria-00076425v1
Image document

On a functional equation arising in the analysis of a protocol for a multi-access broadcast channel

Guy Fayolle , Philippe Flajolet , Micha Hofri
[Research Report] RR-0131, INRIA. 1982
Reports inria-00076429v1
Image document

Iterees d'applications lineaires par morceaux

A. Meritet
RR-0124, INRIA. 1982
Reports inria-00076436v1
Image document

Méthode d'interprétation d'une classification hiérarchique d'attributs-Modalités pour l'"explication" d'une variable ; application à la recherche de seuil critique de la tension artérielle systolique et des indicateurs de risque cardiovasculaire

Basavanepa Tallur
[Rapport de recherche] RR-0123, INRIA. 1982
Reports inria-00076437v1