%A G.T. Nguyen
%A J. Olivares
%T SYCSLOG - systeme logique d'integrite semantique
%R IMAG RR TIGRE 26
%C Grenoble, France
%D January 1985

%A V. Quint
%A Irene Vatton
%T GRIF : un editeur interactif de documents structures
%R IMAG RR TIGRE 27
%C Grenoble, France
%D March 1985

%A M. Adiba
%A Q.N. Bui
%A J. Palazzo de\ Oliveira
%T Notion de temps dans les bases de donnees generalisees
%R IMAG RR TIGRE 23
%C Grenoble, France
%D January 1985

%A A. Dandache
%T Etude de structures regulieres PLA - ROM dans la partie controle  de
microprocesseurs
%R IMAG RR 516
%C Grenoble, France
%D April 1985

%A J.L. Bergerand
%A P. Caspi
%A N. Halbwachs
%A D. Pilaud
%A E. Pilaud
%T Outline of a real time data flow language
%R IMAG RR 520
%C Grenoble, France
%D April 1985

%A Jean Mermet
%T Several steps towards a circuits integrated cad system : CASCADE
%R IMAG RR 515
%C Grenoble, France
%D March 1985

%A S. Graf
%A J. Sifakis
%T From synchronization tree logic to acceptance model logic
%R IMAG RR 526
%C Grenoble, France
%D February 1985

%A F. Robert
%T Convergence locale d'iterations serie on parallele
%R IMAG RR 536
%C Grenoble, France
%D June 1985

%A Jean-michel Muller
%T Hardware computation of elementary functions including range reduction
%R IMAG RR 523
%C Grenoble, France
%D March 1985

%A H. Balacheff
%T Processus de preuves et situations de validation
%R IMAG RR 528
%C Grenoble, France
%D May 1985

%A Michel Cosnard
%A Yves Robert
%T Algorithmique parallele pour machines SIMD & MIMD
%R IMAG RR 554
%C Grenoble, France
%D September 1985

%A Didier Pellegrin
%T Test algorithmique de l'attraction d'un point fixe dans une iteration
discrete
%R IMAG RR 549
%C Grenoble, France
%D June 1985

%A B. Gleyse
%T Nombre de racines d'un polynome de R(X) ou C(X) dans le disque unite
%R IMAG RR 551
%C Grenoble, France
%D July 1985

%A Michel Cosnard
%A Yves Robert
%A Denis Trystram
%T Resolution parallele de systemes lineaires denses par diagonalisation
%R IMAG RR 552
%C Grenoble, France
%D July 1985

%A Yves Robert
%A Denis Trystram
%T Un reseau systolique orthogonal pour le probleme du chemin algebrique
%R IMAG RR 553
%C Grenoble, France
%D July 1985

%A Abalo Baya
%T Un algorithme de calcul de la longueur de cycle et de la periode  effective
d'une congruence lineaire
%R IMAG RR 555
%C Grenoble, France
%D September 1985

%A A. le\ Breton
%A M. Musiela
%T Strong law of large numbers for some classes of semi-martingales  and
strong consistency of estimates in linear regression models
%R IMAG RR 539
%C Grenoble, France
%D May 1985

%A C. Masse
%A M. Cosnard
%A M.H. Acquier
%T Bifurcations structure of one parameter families
of piecewise increasing functions with a single discontinuity
%R IMAG RR 538
%C Grenoble, France
%D June 1985

%A Michel Cosnard
%A Eric Coles
%T Bifurcation structure of a discrete neuronal equation
%R IMAG RR 543
%C Grenoble, France
%D June 1985

%A F. Robert
%T Encore des resultats d'iterations discretes
%R IMAG RR 556
%C Grenoble, France
%D September 1985

%A J.R. Barra
%A M. Becker
%A D. Belaid
%A F. Chatelin
%A C. Mazel
%T Realisation d'un logiciel d'analyses factorielles avec systeme
d'assistance intelligente a l'utilisateur
%R IMAG RR 542
%C Grenoble, France
%D June 1985

%A A. Dandache
%T PLAs RECONFIGURABLES
%R IMAG RR 547
%C Grenoble, France
%D July 1985

%A J.L. Paillet
%T Un modele de fonctions sequentielles pour la verification formelle  de
systemes digitaux
%R IMAG RR 546
%C Grenoble, France
%D June 1985

%A Jean Fonlupt
%A Denis Naddef
%T The traveling salesman problem in graphs with some excluded minors
%R IMAG RR 557
%C Grenoble, France
%D September 1985

%A Yves Demazeau
%T La programmation des jeux: programmation classique et intelligence
artificielle
%R IMAG RR 502
%C Grenoble, France
%D April 1985

%A Sylvie Roge
%T Systemes PARalleles communicants. Etude du non-determinisme: comparaison
des comportements des processus
%R IMAG RR 541
%C Grenoble, France
%D June 1985

%A Rachid Echahed
%T Predicats et sous-types en LPG realisation de la E-unification
%R IMAG RR 550
%C Grenoble, France
%D July 1985

%A Philippe Chatelin
%T On laderman's algorithm to multiply 3 x 3 matrices in 23 multiplications
%R IMAG RR 559
%C Grenoble, France
%D October 1985

%A Bui Quang Ngoc
%T Gestion des historiques pour la base de donnees generalisees Tigre
%R IMAG RR 29
%C Grenoble, France
%D June 1985

%A Jean Fricot
%T Champs aleatoires de renouvellement
%R These doct. ing., GRENOBLE-USMG
%C Grenoble, France
%D 1985
%K AUTOMATE
%K CHAMP ALEATOIRE
%K EPIDEMIOLOGIE
%K MESURE
%K PROCESSUS PONCTUEL
%K RENOUVELLEMENT
%K SPATIAL
%W IMAG Mediatheque

%A Eric Goles Chacc
%T Comportement dynamique de reseaux d'automates
%R These Specialite, GRENOBLE-USMG
%C Grenoble, France
%D 1985
%K RESEAU AUTOMATE
%K ITERATION
%K FONCTION SEUIL
%K AUTOMATE
%K ITERATION
%K RESEAU BOOLEEN
%W IMAG Mediatheque

%A Gilles Bogo
%T Conception d'applications pour systemes transactionnels cooperants
%R These Specialite, GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K SYSTEME TRANSACTIONNEL
%K BASE DONNEE
%K SCOT
%K SYSTEME REPARTI
%W IMAG Mediatheque

%A Jean-Pierre Schoellkopf
%T SILICIEL : Contributions a l'architecture des circuits integres et a la
compilation du silicium
%R These Etat, GRENOBLE-USMG,INPG
%C Grenoble, France
%D 1985
%K ARCHITECTURE ORDINATEUR
%K CIRCUIT INTEGRE
%K VLSI
%K TECHNOLOGIE
%K MOS
%K CHEMIN DONNEE
%K SEQUENCEUR
%K MACHINE MICROPROGRAMME
%K ASSEMBLEUR
%K SILICIUM
%K COMPILATION SILICIUM
%K LOGIQUE
%K DYNAMIQUE
%K CONCEPTION ASSISTEE
%K ORDINATEUR
%K CAO
%W IMAG Mediatheque

%A Jean-Frederic Reyss-Brion
%T IMHOTEP : Un generateur automatique d'architectures pour circuits integres
de filtrage numerique
%R These doct. ing., GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K CIRCUIT INTEGRE
%K COMPILATEUR
%K SILICIUM
%K FILTRAGE NUMERIQUE
%K BIBLIOTHEQUE
%K CELLULE
%K ARCHITECTURE
%K CIRCUIT
%K TEMPS-REEL
%K VLSI
%W IMAG Mediatheque

%A Ingrid Eleonora Schreiber Jansch
%T Conception de controleurs autotestables pour des hypotheses de pannes
analytiques
%R These doct. ing., GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K CIRCUIT AUTOTEST
%K CONTROLEUR
%K CONCEPTION VLSI
%K TEST EN LIGNE
%W IMAG Mediatheque

%A Victor German Sanchez Arias
%T Un noyau pour la communication et la synchronisation de processus repartis
%R These doct. ing., GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K ARCHITECTURE SYSTEME REPARTIS
%K SYSTEME TEMPS REEL
%K NOYA
%K COMMUNICATION
%K PROCESSUS COMMUNICANT
%K SYNCHRONISATION PROCESSUS
%W IMAG Mediatheque

%A Walid Naji
%T Graphes de cordes : une caracterisation et ses applications
%R These Etat, GRENOBLE-USMG
%C Grenoble, France
%D 1985
%K GRAPH
%K DIAGRAMME
%K ORIENTATION
%K MATRICE TOTALEMENT UNIMODULAIR
%K MATROIDE
%W IMAG Mediatheque

%A Iping Supriana Suwardi
%T Mecanisme predictifs d'evaluation des caracteristiques geometriques des
circuits VLSI
%R These doct. ing., GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K EDITEUR
%K PLAN
%K MASSE
%K COHERENCE
%K TOPOLOGIQUE
%K PROPAGATION
%K VOISINAGE
%K INTERFACE
%W IMAG Mediatheque

%A Hakima Najid-Zejli
%T Extensions algebriques : cas general et cas des radicaux
%R These 3eme cycle, GRENOBLE-USMG,INPG
%C Grenoble, France
%D 1985
%K EXTENTION ALGEBRIQUE
%K CALCUL
%K ARITHMETIQUE
%W IMAG Mediatheque

%A Alireza Zolghadrasli
%T Correction et traitement d`images des circuits VLSI issues d`un microscope
electronique a balayage
%R These doct. ing., GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K MICROSCOPIE
%K TRAITEMENT IMAGE
%K CORRELATION
%K VLSI
%K TEST
%W IMAG Mediatheque

%A Dominique Rieu
%T Modele et fonctionnalites d'un SGBD pour les applications CAO
%R These doct. ing., GRENOBLE-INPG
%C Grenoble, France
%D 1985
%K BASE DONNEE
%K CONCEPTION ASSISTEE
%K MODELE DONNEE
%K CONCEPTION
%K OBJET
%W IMAG Mediatheque

%A Hakima Najid-Zejli
%T Extensions algebriques : cas general et cas des radicaux
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K THEORIE ALGEBRIQUE
%K NOMBRE ALGEBRIQUE
%W IMAG Mediatheque

%A Francoise Fogelman Soulie
%T Contributions a une theorie du calcul sur reseaux
%R These Etat, GRENOBLE
%C Grenoble, France
%D 1985
%K RESEAU AUTOMATE
%K COMBINATOIRE
%K ARCHITECTURE PARALLELE
%W IMAG Mediatheque

%A Christian Lenne
%T Mise au point interactive de programmes dans un atelier de genie logiciel
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K GENIE LOGICIEL
%K MISE AU POINT
%K INTERPRETEUR
%K ENVIRONNEMENT PROGRAMMATION
%W IMAG Mediatheque

%A Mohamed Abdou Janati Idrissi
%T Implantation automatisee des circuits integres sur reseaux prediffuses CMOS
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K RESEAU
%K CIRCUIT INTEGRE
%K CMOS
%K IMPLANTATION
%K METHODE
%K CONTRAINTE
%K TRACE
%K CLASSIFICATION
%W IMAG Mediatheque

%A Ali Bensaid
%T Un modele de donnees relationnel etendu pour la mise en oeuvre de bases de
connaissances centrees objets
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K BASE DONNEE RELATIONNELLE
%K EXTENSION
%K RELATION
%K BASE CONNAISSANCE
%K LANGAGE
%W IMAG Mediatheque

%A Hicham al Nachawati
%T Processus de classification sequentiels non arborescents pour l'aide au
diagnostic
%R These Universite, GRENOBLE
%C Grenoble, France
%D 1985
%K SEGMENTATION
%K PROCESSUS ARBORESCENT
%K ANALYSE VARIANCE
%K CLASSIFICATION AUTOMATIQUE
%W IMAG Mediatheque

%A Xin an Pan
%T Experimentation d'automates a seuil pour la reconnaissance de caracteres
%R These Universite, GRENOBLE
%C Grenoble, France
%D 1985
%K MINIMA
%K ALGORITHME ITERATIF
%K RESEAU AUTOMATE
%K AUTOMATE
%K RECONNAISSANCE CARACTERE
%K DISTANCE
%W IMAG Mediatheque

%A Laurent Bergher
%T Analyse de defaillances de circuits VLSI par microscopie electronique a
balayage
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K ANALYSE
%K POTENTIEL
%K VLSI
%K MICROPROCESSEUR
%K ANALYSE IMAGE
%K TEST
%K CAPTEUR IMAGE
%W IMAG Mediatheque

%A Jean-Pierre Bernard
%T Etude d'une machine cellulaire pour la simulation logique de circuits
integres
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K SIMULATION LOGIQUE
%K ARCHITECTURE CELLULAIRE
%K CIRCUIT INTEGRE
%K RESEAU
%K ACCELERATEUR
%W IMAG Mediatheque

%A Yvon Bressy
%T Analyse de modeles ecrits en cascade et superviseur du systeme de
simulation associe
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K SIMULATION
%K LANGAGE SIMULATION
%W IMAG Mediatheque

%A Andre Raspaud
%T Flots et couvertures par des cycles dans les graphes et les matroides
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K CONSTRUCTION
%K COUVERTURE
%K ESPACE
%K FLOT
%K MATROIDE
%K THEORIE GRAPHE
%W IMAG Mediatheque

%A Julio Medina
%T Fonctions splines avec conditions de forme
%R These Universite, GRENOBLE
%C Grenoble, France
%D 1985
%K INTERPOLATION
%K LISSAGE
%K APPROXIMATION
%K CONTRAINTE
%K FONCTION SPLINE
%W IMAG Mediatheque

%A Eric Archambeau
%T Test fonctionnel des circuits integres digitaux
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K CCONTROLABILITE
%K OBSERVABILITE
%K GENERATION
%K TAUX
%K TEST
%K TESTABILITE
%W IMAG Mediatheque

%A Michel School
%T Architecture pour le filtrage dans les bases de donnees relationnelles
%R These Etat, GRENOBLE
%C Grenoble, France
%D 1985
%K SGBD
%K MACHINE BASE DONNEE
%K FILTRAGE DONNEE
%W IMAG Mediatheque

%A Philippe Vignard
%T Un mecanisme d'exploitation a base de filtrage flou pour une representation
des connaissances centree objets
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K REPRESENTATION CONNAISSANCE
%K EXPLOITATION
%K FILTRAGE
%K DISTRIBUTION
%K SEMANTIQUE
%K ANALOGIE
%K TYPOLOGIE
%W IMAG Mediatheque

%A Tomas Perez Segovia
%T PAOLA : un systeme d'optimisation topologique de P.L.A.
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K CONCEPTION ASSISTEE
%K CONCEPTION CIRCUIT INTEGRE
%K V.L.S.I.
%K HEURISTIQUE
%K OPTIMISATION TOPOLOGIQUE
%W IMAG Mediatheque

%A Beatriz Mejias
%T Difficultes conceptuelles dans l'ecriture d'algorithmes iteratifs chez des
eleves de college
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K BOUCLE
%K CONNAISSANCE
%K DIDACTIQUE
%K ITERATION
%K LANGAGE
%K ORDINATEUR
%W IMAG Mediatheque

%A Rekha Panditrao Kulkarni
%T Fonctions spline cardinales tronquees
%R These Universite, GRENOBLE
%C Grenoble, France
%D 1985
%K FONCTION SPLINE
%K MATRICE TOPLITZ
%W IMAG Mediatheque

%A Djamel Belaid
%T Progiciel inda pour l'analyse des donnees
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K JACOBI
%K INVERSION
%W IMAG Mediatheque

%A Ali Mili
%T Une perspective relationnelle de la programmation
%R These GRENOBLE
%C Grenoble, France
%D 1985
%K ANALYSE FONCTIONNELLE
%K SPECIFICATION
%W IMAG Mediatheque

%A Michel Crastes de Paulet
%T Specification et simulation fonctionnelles de circuits complexes : le
systeme CADOC
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K LANGAGE DESCRIPTION MATERIEL
%K CHDL
%K SIMULATION
%K SIMULATION HYBRIDE
%K SIMULATION FONCTIONNELLE
%W IMAG Mediatheque

%A Charles Cua
%T Amelioration de maillages par des methodes de sous-gradient
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K TRIANGULATION
%K METHODES SOUS-GRADIENT
%W IMAG Mediatheque

%A Roland Balter
%T Maintien de la coherence dans les systemes d'information repartis
%R These GRENOBLE
%C Grenoble, France
%D 1985
%K SYSTEME REPARTI
%K BASE DE DONNEE REPARTI
%K SYSTEME TRANSACTIONNEL
%K COHERENCE
%K VALIDATION
%K REPRISE
%K CONTROLE ACCES
%W IMAG Mediatheque

%A Victor Hugo Zarate Silva
%T Etude et realisation d'un synthetiseur d'images base sur une architecture
banalisee
%R These doct. ing., GRENOBLE
%C Grenoble, France
%D 1985
%K SYNTHESE IMAGE
%K SYSTEME GRAPHIQUE INTERACTIF
%K TEXTURE
%W IMAG Mediatheque

%A Nadia Brahimi
%T Identification optimale des parametres d'un systeme dynamique regi par une
equation differentielle stochastique lineaire commandee
%R These 3eme cycle, GRENOBLE
%C Grenoble, France
%D 1985
%K CONTROLE STOCHASTIQUE
%K MESURE ALEATOIRE
%K OPTIMISATION
%W IMAG Mediatheque