|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Unfold/fold program transformations
Laurent Kott
[Research Report] RR-0155, INRIA. 1982
Reports
inria-00076404v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On deterministic control problem : an approximation procedure for the optimal cost
Roberto L. Gonzalez
,
Edmundo Rofman
RR-0151, INRIA. 1982
Reports
inria-00076409v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Croisements,ordres et ultrametriques:Application a la recherche de concensus en classification automatique
Edwin Diday
RR-0144, INRIA. 1982
Reports
inria-00076416v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Metal,un langage de specification pour le systeme Mentor
B. Melese
RR-0142, INRIA. 1982
Reports
inria-00076418v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Etude numerique de la solidification d'un alliage a N composants
A. Bermudez
,
Ch. Saguez
RR-0137, INRIA. 1982
Reports
inria-00076423v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Local stability of the output least square parameter estimation technique
Guy Chavent
[Research Report] RR-0136, INRIA. 1982
Reports
inria-00076424v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Quelques remarques sur les problèmes d'existence en élasticité non linéaire
P.G. Ciarlet
RR-0121, INRIA. 1982
Reports
inria-00076439v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Compiling relational queries for a finite state automation hardware filter
D. Plateau
RR-0171, INRIA. 1982
Reports
inria-00076387v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
TQL. A textual query language
François Bancilhon
,
Patrick Richard
RR-0145, INRIA. 1982
Reports
inria-00076415v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An overview of systems modelling and evaluation tendencies
G. Jomier
RR-0134, INRIA. 1982
Reports
inria-00076426v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Stability analysis of adaptively controlled not-necessarily minimum phase systems with disturbances
Claude Samson
[Research Report] RR-0110, INRIA. 1982
Reports
inria-00076450v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Manuel d'utilisation et critiques du systeme Plume
R. Lu Cong Sang
RT-0021, INRIA. 1982, pp.26
Reports
inria-00070135v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Espaces de distributions sur des ouverts periodiques et applications
G. Nguet Seng
RR-0172, INRIA. 1982
Reports
inria-00076386v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Evaluation d'algorithmes de controle de concurrence
J. Madelaine
RR-0164, INRIA. 1982
Reports
inria-00076395v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Simulation numerique d'un probleme parabolique non lineaire : trempe d'un barreau metallique
Paul-Louis George
RR-0146, INRIA. 1982
Reports
inria-00076414v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Approche polynomiale des systemes lineaires stationnaires causaux.Application a la representation cyclique
Laurent Baratchart
RR-0143, INRIA. 1982
Reports
inria-00076417v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An approximation to the optimum check-point interval using integer programming
M. Magazine
RR-0139, INRIA. 1982
Reports
inria-00076421v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the convergence of incremental methods in finite elasticity
Michel Bernadou
,
P.G. Ciarlet
,
J. Hu
RR-0135, INRIA. 1982
Reports
inria-00076425v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Iterees d'applications lineaires par morceaux
A. Meritet
RR-0124, INRIA. 1982
Reports
inria-00076436v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|