E1AR0002@SMUVM1.BITNET (02/27/86)
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