🚀 go-pugleaf

People can obtain the text of papers or thesis by mail to :
renzetti@imag.UUCP           (or ...!seismo!mcvax!vmucnam!imag!renzetti)

or by mail to :
F. Renzetti  IMAG  B.P. 68  38402 St MARTIN D'HERES  (France)

F. Renzetti is the person in charge of our library.


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

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

%A M. ADIBA
%A Q.N. BUI
%A J. PALAZZO DE OLIVEIRA
%D JAN 1985
%R IMAG RR TIGRE 23
%C Grenoble, France
%T Notion de temps dans les bases de donnees generalisees

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

%A J.L. BERGERAND
%A P. CASPI
%A N. HALBWACHS
%A D. PILAUD
%A E. PILAUD
%D APR 1985
%R IMAG RR 520
%C Grenoble, France
%T Outline of a real time data flow language

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

%A S. GRAF
%A J. SIFAKIS
%D FEB 1985
%R IMAG RR 526
%C Grenoble, France
%T From synchronization tree logic to acceptance model logic

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

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

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

%A Michel COSNARD
%A Yves ROBERT
%D SEP 1985
%R IMAG RR 554
%C Grenoble, France
%T Algorithmique parallele pour machines SIMD & MIMD

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

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

%A Michel COSNARD
%A Yves ROBERT
%A Denis TRYSTRAM
%D JUL 1985
%R IMAG RR 552
%C Grenoble, France
%T Resolution parallele de systemes lineaires denses par diagonalisation

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

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

%A A. LE BRETON
%A M. MUSIELA
%D MAY 1985
%R IMAG RR 539
%C Grenoble, France
%T Strong law of large numbers for some classes of semi-martingales  and
strong consistency of estimates in linear regression models

%A C. MASSE
%A M. COSNARD
%A M.H. ACQUIER
%D JUN 1985
%R IMAG RR 538
%C Grenoble, France
%T Bifurcations structure of one paramete families of piecewise increasing
functions with a single discontinuity

%A Michel COSNARD
%A Eric COLES
%D JUN 1985
%R IMAG RR 543
%C Grenoble, France
%T Bifurcation structure of a discrete neuronal equation

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

%A J.R. BARRA
%A M. BECKER
%A D. BELAID
%A F. CHATELIN
%A C. MAZEL
%D JUN 1985
%R IMAG RR 542
%C Grenoble, France
%T Realisation d'un logiciel d'analyses factorielles avec systeme
d'assistance intelligente a l'utilisateur

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

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

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

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

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

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

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

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