Browse

ftp://ftp.irisa.fr (501)

	ftp://ftp.irisa.fr/techreports/1993/PI-718.ps.gz, 19930405 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687718 COMPOUNDS: AN INTELLIGENT TUTORING SYSTEM FOR LEARNING TO USE COMPOUNDS IN ENGLISH PAUL BOUCHER, FR ED ERIC DANNA ET
	ftp://ftp.irisa.fr/techreports/1993/PI-714.ps.gz, 19930406 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687714 CONTIGUITY ORDERS VINCENT BOUCHITT E, ABDELMAJID HILALI, ROLAND J EGOU, JEAN XAVIER RAMPON I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-711.ps.gz, 19930406 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687711 GENERAL LINEAR METHODS FOR DIFFERENTIAL-ALGEBRAIC EQUATIONS OF INDEX ONE AND TWO PHILIPPE CHARTIER I R I S A INSTITUT
	ftp://ftp.irisa.fr/techreports/1993/PI-715.ps.gz, 19930413 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687715 VERS UN ATELIER E DITORIAL POUR LES DOCUMENTS STRUCTURE S JACQUES ANDRE , DOMINIQUE DECOUCHANT, VINCENT QUINT ET HE LE
	ftp://ftp.irisa.fr/techreports/1993/PI-701.ps.gz, 19930413 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687701 ON-THE-FLY VERIFICATION OF FINITE TRANSITION SYSTEMS CLAUDE JARD, THIERRY J ERON , JEAN-CLAUDE FERNANDEZ ET LAURENT
	ftp://ftp.irisa.fr/techreports/1993/PI-719.ps.gz, 19930413 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687719 SYST EME A BASE DE CONNAISSANCES POUR QUELQUES PROBL EMES AUX VALEURS PROPRES JEAN-FRAN COIS CARPRAUX I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-720.ps.gz, 19930413 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687720 TRANSIENT ANALYSIS OF THE M/M/1 QUEUE PATRICE LEGUESDRON, JEAN PELLAUMAIL, GERARDO RUBINO AND BRUNO SERICOLA I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-708.ps.gz, 19930413 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687708 SPAM: A MULTIPROCESSOR EXECUTION DRIVEN SIMULATION KERNEL ALAIN GEFFLAUT PHILIPPE JOUBERT I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-716.ps.gz, 19930414 Segmentation non supervis ee des images textur ees 23 Reconnaisance des Formes et Intelligence Artificielle, pages 1015022, Lyon, France, 1991. C.S. WON and H. DERIN. Unsupervised segmentation of noisy and textured images using Markov Random Fields. CVGIP : Graphical Models and Image
	ftp://ftp.irisa.fr/techreports/1993/PI-724.ps.gz, 19930415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687724 LAYOUT GENERATION OF BIDIMENSIONAL REGULAR ARRAYS IN THE MADMACS ENVIRONMENT ERIC GAUTRIN , LAURENT PERRAUDEAU AND
	ftp://ftp.irisa.fr/techreports/1993/PI-709.ps.gz, 19930415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687709 REGRESSOR SELECTION AND WAVELET NETWORK CONSTRUCTION QINGHUA ZHANG I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1993/PI-721.ps.gz, 19930419 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687721 BRIQUES DE BASE POUR LA R EALISATION D'ARCHITECTURES PARALL ELES SP ECIALIS EES FRAN COIS CHAROT I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-722.ps.gz, 19930419 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687722 ARCHITECTURES PARALL ELES SP ECIALIS EES POUR LE TRAITEMENT D'IMAGE FRAN COIS CHAROT I R I S A INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1993/PI-723.ps.gz, 19930419 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687723 MADMACS : AN ENVIRONMENT FOR THE LAYOUT OF REGULAR ARRAYS ERIC GAUTRIN AND LAURENT PERRAUDEAU I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-706.ps.gz, 19930419 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687706 DISTRIBUTED TERMINATION DETECTION : GENERAL MODEL AND ALGORITHMS JERSZY BRZEZINSKI, JEAN-MICHEL H ELARY AND MICHEL
	ftp://ftp.irisa.fr/techreports/1993/PI-717.ps.gz, 19930419 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687717 TOOLS FOR CORRECT DSP SYNCHRONIZATION ALAIN KERIHUEL, RODERICK MCCONNELL, FR ED ERIC RAIMBAULT I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-727.ps.gz, 19930430 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687727 ARCHITECTURES SYSTOLIQUES ET PARALL ELISME DE DONN EES; L'ENVIRONNEMENT DE PROGRAMMATION RELACS FR ED ERIC RAIMBAULT,
	ftp://ftp.irisa.fr/techreports/1993/PI-726.ps.gz, 19930430 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687726 RELACS FOR SYSTOLIC PROGRAMMING FR ED ERIC RAIMBAULT, DOMINIQUE LAVENIER I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1993/PI-728.ps.gz, 19930430 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687728 FINE GRAIN PARALLELISM ON A MIMD MACHINE USING FPGAS FR ED ERIC RAIMBAULT, DOMINIQUE LAVENIER , ST EPHANE RUBINI,
	ftp://ftp.irisa.fr/techreports/1993/PI-734.ps.gz, 19930513 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687734 AN INTEGRATED 2D SYSTOLIC ARRAY FOR SPELLING CORRECTION DOMINIQUE LAVENIER I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1993/PI-731.ps.gz, 19930513 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687731 ON-THE-FLY REPLAY: A PRACTICAL PARADIGM AND ITS IMPLEMENTATION FOR DISTRIBUTED DEBUGGING O. GERSTEL, M. HURFIN, N.
	ftp://ftp.irisa.fr/techreports/1993/PI-733.ps.gz, 19930517 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687733 REMARKS ON FILTERING OF SEMI-MARKOV DATA BERNARD DELYON I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYST EMES AL
	ftp://ftp.irisa.fr/techreports/1993/PI-703.ps.gz, 19930517 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687703 COMPUTING ON LINE THE COVERING GRAPH OF THE IDEAL LATTICE OF POSETS CLAIRE DIEHL, CLAUDE JARD, JEAN XAVIER RAMPON I R I
	ftp://ftp.irisa.fr/techreports/1993/PI-707.ps.gz, 19930518 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687707 AN ARCHITECTURE FOR TOLERATING PROCESSOR FAILURES IN SHARED-MEMORY MULTIPROCESSORS MICHEL BAN ATRE, ALAIN GEFFLAUT,
	ftp://ftp.irisa.fr/techreports/1993/PI-710.ps.gz, 19930525 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 710 - Mars 1993 Causal Multicasts in Overlapping Groups: Towards a Low Cost Approach Achour Mostefaoui, Michel Raynal
	ftp://ftp.irisa.fr/techreports/1993/PI-735.ps.gz, 19930525 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687735 FACTORISATION PARALL ELE DE CHOLESKY POUR MATRICES CREUSES SUR UNE M EMOIRE VIRTUELLE PARTAG EE JOCELYNE ERHEL, MOUNIR
	ftp://ftp.irisa.fr/techreports/1993/PI-713.ps.gz, 19930618 Notations I ; J ae IN : : : : : : : : : : : : : Ensembles d'indices. S : : : : : : : : : : : : : : : : : : : : Ensemble fini ou d enombrable de sites s. P(S) : : : : : : : : : : : : : : : : : Ensemble des parties de S. A; A : : : : : : : : : : : : : : : : : Partie de S et son compl ementaire dans S. G =
	ftp://ftp.irisa.fr/techreports/1993/PI-739.ps.gz, 19930623 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687739 MIDEE: SMOOTHING BRANCH AND INSTRUCTION CACHE MISS PENALTIES ON DEEP PIPELINES NATHALIE DRACH, ANDR E SEZNEC I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-738.ps.gz, 19930623 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE 738 TURNING AN ACTION FORMALISM INTO A PLANNER: A CASE STUDY JOACHIM HERTZBERG AND SYLVIE THI EBAUX I R I S A INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1993/PI-740.ps.gz, 19930623 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687740 DYNAMIC PROGRAMMING PARALLEL IMPLEMENTATIONS FOR THE KNAPSACK PROBLEM RUMEN ANDONOV , FR ED ERIC RAIMBAULT AND PATRICE
	ftp://ftp.irisa.fr/techreports/1993/NT-9302.ps.gz, 19930628 Collaboration CAO-Automatique" (C2A) PRC Communication, Coop eration, Concurrence" (C3) GRECO Automatique Cercle pour les Projets Innovants en Informatique (CP2I) PROJET SYNCHRONE Les formats communs des langages synchrones Version 18 juin 1993 Collaboration CAO-Automatique" (C2A) PRC Communication,
	ftp://ftp.irisa.fr/techreports/1993/PI-742.ps.gz, 19930629 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687742 MOTION AND ILLUMINATION VARIATION ESTIMATION USING A HIERARCHY OF MODELS: APPLICATION TO IMAGE SEQUENCE CODING H.
	ftp://ftp.irisa.fr/techreports/1993/PI-743.ps.gz, 19930705 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 743 . Juin 1993 A O(log2 n) fault-tolerant distributed mutual exclusion algorithm based on open-cube structure
	ftp://ftp.irisa.fr/techreports/1993/PI-744.ps.gz, 19930705 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687744 A SECURITY PROOF SYSTEM FOR NETWORKS OF COMMUNICATING PROCESSES JEAN-PIERRE BAN ATRE, CIAR AN BRYCE I R I S A INSTITUT
	ftp://ftp.irisa.fr/techreports/1993/PI-737.ps.gz, 19930708 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687737 DE L'IMAGE VERS LA COMPRESSION CHARLES WAGNER I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYST EMES AL EATOIRES
	ftp://ftp.irisa.fr/techreports/1993/PI-741.ps.gz, 19930712 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687741 UN ENVIRONNEMENT GRAPHIQUE POUR LE LANGAGE SIGNAL PATRICIA BOURNAI, PAUL LE GUERNIC I R I S A INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1993/PI-746.ps.gz, 19930712 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687746 VERS LA SYNTH ESE AUTOMATIQUE DE PROGRAMMES SIGNAL KRZYSZTOF WOLINSKI MOHAMMED BELHADJ I R I S A INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1993/PI-725.ps.gz, 19930720 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687725 LES FONCTIONS DE HACHAGE DIFF ERENTIELLES : APPLICATION A LA G EN ERATION DE GRAPHES D' ETATS BERNARD COUSIN I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-745.ps.gz, 19930720 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 745 SIGNAL MANUAL Patricia BOURNAI, Bruno CH RON, Thierry GAUTIER, Bernard HOUSSAIS and Paul LE GUERNIC INSTIITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-751.ps.gz, 19930728 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687751 ON LINE RECOGNITION OF INTERVAL ORDERS VINCENT BOUCHITT E, ROLAND J EGOU, JEAN XAVIER RAMPON I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-754.ps.gz, 19930909 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687754 COMPUTATION OF THE SINGULAR SUBSPACE ASSOCIATED WITH THE SMALLEST SINGULAR VALUES OF LARGE MATRICES BERNARD PHILIPPE
	ftp://ftp.irisa.fr/techreports/1993/PI-753.ps.gz, 19930909 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687753 OPTIMAL SEQUENTIAL DETECTION AND ISOLATION OF CHANGES IN STOCHASTIC SYSTEMS IGOR V. NIKIFOROV I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-755.ps.gz, 19930913 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687755 SOME CONVERGENCE RESULTS FOR THE NEWTON-GMRES ALGORITHM R EMI CHOQUET, JOCELYNE ERHEL I R I S A INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1993/PI-752.ps.gz, 19930913 30 Charles Kervrann, Fabrice Heitz C.S. WON and H. DERIN. Unsupervised segmentation of noisy and textured images using Markov Random Fields. CVGIP : Graphical Models and Image Processing, Vol. 54, No 4: pages 30828, July 1992. Z. WU and R. LEAHY. A new unsupervised hierarchical
	ftp://ftp.irisa.fr/techreports/1993/PI-748.ps.gz, 19930916 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687748 ALGORITHM ENGINEERING AND VLSI DESIGN WILLIAM MARNANE AND RUMEN ANDONOV I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1993/PI-749.ps.gz, 19930916 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687749 ALLOCATING MEMORY ARRAYS FOR POLYHEDRA DORAN K. WILDE AND SANJAY RAJOPADHYE I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1993/PI-736.ps.gz, 19930927 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687736 TRANSIENT SOLUTIONS OF MARKOV PROCESSES BY KRYLOV SUBSPACES BERNARD PHILIPPE AND ROGER B. SIDJE I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-750.ps.gz, 19930927 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687750 A COUNTING MODEL FOR SOFTWARE RELIABILITY ANALYSIS JAMES LEDOUX, GERARDO RUBINO I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1993/PI-757.ps.gz, 19930930 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687757 STATIC DOMAIN ANALYSIS FOR COMPILING COMMUTATIVE LOOP NESTS MARC LE FUR, JEAN-LOUIS PAZAT, FRAN COISE ANDR E I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-758.ps.gz, 19931013 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687758 A NEW APPROACH TO PARALLEL SPARSE CHOLESKY FACTORIZATION ON DISTRIBUTED MEMORY PARALLEL COMPUTERS MOUNIR HAHAD,
	ftp://ftp.irisa.fr/techreports/1993/PI-766.ps.gz, 19931013 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 766 UNE NOUVELLE FAMILLE D'INDICES DE DISSIMILARITE POUR LA MDS ROGER NGOUENET I R I S A INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1993/PI-764.ps.gz, 19931013 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687764 AN EFFICIENT IMPLEMENTATION OF SEQUENTIALLY CONSISTENT DISTRIBUTED SHARED MEMORIES M. MIZUNO, M. RAYNAL, G. SINGH AND
	ftp://ftp.irisa.fr/techreports/1993/PI-768.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 768 DATA-FLOW SYNCHRONOUS LANGUAGES ALBERT BENVENISTE, PAUL CASPI, PAUL LE GUERNIC, NICOLAS HALBWACHS I R I S A INSTITUT
	ftp://ftp.irisa.fr/techreports/1993/PI-761.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687761 INTERLEAVED SECTORED CACHES: RECONCILING LOW TAG VOLUME AND LOW MISS RATIO ANDR E SEZNEC I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-767.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687767 HIGH-LEVEL PRIMITIVES FOR RECURSIVE MAXIMUM LIKELIHOOD ESTIMATION BERNARD C. LEVY ALBERT BENVENISTE RAMINE NIKOUKHAH I
	ftp://ftp.irisa.fr/techreports/1993/PI-765.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687765 DEFINITION AND IMPLEMENTATION OF A FLEXIBLE COMMUNICATION PRIMITIVE FOR DISTRIBUTED PROGRAMMING ACHOUR MOSTEFAOUI AND
	ftp://ftp.irisa.fr/techreports/1993/PI-756.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 756 Segmentation et repr sentation d images de traits Jean-Christophe Pettier Jean Camillerapp INSTIITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1993/PI-760.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687760 ABOUT CACHE ASSOCIATIVITY IN LOW-COST SHARED MEMORY MULTI-MICROPROCESSORS NATHALIE DRACH, ALAIN GEFFLAUT, PHILIPPE
	ftp://ftp.irisa.fr/techreports/1993/PI-769.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 769 - Octobre 1993 - 19 pages D terminer un tat global dans un syst me r parti J.-M. H lary, A. Mostefaoui et M. Raynal
	ftp://ftp.irisa.fr/techreports/1993/PI-759.ps.gz, 19931026 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687759 DASC CACHE: DEALING WITH CACHE ACCESS TIME AND VIRTUAL INDEXING ANDR E SEZNEC I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1993/PI-771.ps.gz, 19931102 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687771 FAST AND EFFICIENT GENERATION OF LOOP BOUNDS ZBIGNIEW CHAMSKI I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1993/PI-772.ps.gz, 19931102 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687772 NESTED LOOP SEQUENCES: TOWARDS EFFICIENT LOOP STRUCTURES IN AUTOMATIC PARALLELIZATION ZBIGNIEW CHAMSKI I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-747.ps.gz, 19931105 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687747 CONTEXTUAL TYPESETTING OF MATHEMATICAL SYMBOLS TAKING CARE OF OPTICAL SCALING JACQUES ANDRE & IRE NE VATTON I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-770.ps.gz, 19931109 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687770 I/O AND COMPUTATION OVERLAP ON SIMD SYSTOLIC ARRAYS DOMINIQUE LAVENIER, FR ED ERIC RAIMBAULT, PATRICE FRISON I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-777.ps.gz, 19931122 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687777 SPECTRAL PORTRAIT FOR NON HERMITIAN LARGE SPARSE MATRICES J.F. CARPRAUX, J. ERHEL, M. SADKANE I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1993/PI-775.ps.gz, 19931122 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687775 STRAT EGIE PERCEPTIVE D'UN ENVIRONNEMENT STATIQUE DANS UN CONTEXTE DE VISION ACTIVE ERIC MARCHAND , FRAN COIS CHAUMETTE
	ftp://ftp.irisa.fr/techreports/1993/PI-778.ps.gz, 19931122 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687778 SEQUENCING DATA FLOW TASKS IN SIGNAL ERIC RUTTEN, PAUL LE GUERNIC I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1993/PI-712.ps.gz, 19931122 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687712 LACS: A LANGUAGE FOR AFFINE COMMUNICATION STRUCTURES SANJAY RAJOPADHYE I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1993/PI-779.ps.gz, 19931129 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 779 - November 1993 Compilation of Head and Strong Reduction Pascal Fradet INSTIITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1993/PI-782.ps.gz, 19931130
	ftp://ftp.irisa.fr/techreports/1993/PI-780.ps.gz, 19931203 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687780 A HIERARCHICAL STATISTICAL FRAMEWORK FOR THE SEGMENTATION OF DEFORMABLE OBJECTS IN IMAGE SEQUENCES CHARLES KERVRANN,
	ftp://ftp.irisa.fr/techreports/1993/PI-762.ps.gz, 19931206 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687762 CHARACTERIZATION OF PROGRAM DEPENDENCIES BY INTEGER PROGRAMMING TECHNIQUES YVON J EGOU I R I S A INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1993/PI-781.ps.gz, 19931206 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687781 A DISTRIBUTED GARBAGE COLLECTOR FOR ACTIVE OBJECTS ISABELLE PUAUT I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1993/PI-763.ps.gz, 19931206 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687763 OUT-OF-ORDER EXECUTION OF INTERRUPTIBLE CODES YVON J EGOU I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES
	ftp://ftp.irisa.fr/techreports/1993/PI-773.ps.gz, 19931209 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687773 SOME ON LINE COMPUTATIONS OF THE IDEAL LATTICE OF POSETS CLAUDE JARD, GUY VINCENT JOURDAN, JEAN XAVIER RAMPON I R I S A
	ftp://ftp.irisa.fr/techreports/1993/PI-787.ps.gz, 19931229 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687787 DISTRIBUTED ARRAY MANAGEMENT FOR HPF COMPILERS YVES MAH EO, JEAN-LOUIS PAZAT I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1993/PI-785.ps.gz, 19931229 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687785 A LIBRARY FOR DOING POLYHEDRAL OPERATIONS DORAN K. WILDE I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES
	ftp://ftp.irisa.fr/techreports/1993/PI-786.ps.gz, 19931229 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687786 AN INDUCTIVE CONSTRUCTIVE METHOD FOR COMPUTATION OF THE FACE LATTICE OF A POLYHEDRON DORAN K. WILDE SANJAY RAJOPADHYE I
	ftp://ftp.irisa.fr/techreports/1994/PI-788.ps.gz, 19940107 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687788 ROBUST MULTIRESOLUTION ESTIMATION OF PARAMETRIC MOTION MODELS APPLIED TO COMPLEX SCENES JEAN-MARC ODOBEZ AND PATRICK
	ftp://ftp.irisa.fr/techreports/1994/PI-784.ps.gz, 19940111 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687784 RESTRICTION OF A MARKOV RANDOM FIELD ON A GRAPH AND MULTIRESOLUTION IMAGE ANALYSIS PATRICK P EREZ, FABRICE HEITZ I R I
	ftp://ftp.irisa.fr/techreports/1994/PI-795.ps.gz, 19940124 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687795 MACHINES SP ECIALIS EES POUR LA COMPARAISON DE S EQUENCES BIOLOGIQUES LOUIS AUDOIRE, JEAN-JACQUES CODANI, DOMINIQUE
	ftp://ftp.irisa.fr/techreports/1993/PI-774.ps.gz, 19940201 30 Laurent Miclet et Cyrille de Gentile J. Gregor Data-driven inductive inference of finite-state automata. IJPRAI (to be published), 1993 J. E. Hopcroft and J. D. Ullman Formal languages and their relations to automata. Addison-Wesley, 1969 M. Kudo and M. Shimbo Efficient
	ftp://ftp.irisa.fr/techreports/1994/PI-797.ps.gz, 19940201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687797 TYPAGE DES GRAPHES DE D ECISIONS TERNAIRES HERV E MARCHAND , MICHEL LE BORGNE I R I S A INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1994/PI-792.ps.gz, 19940201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687792 OPTIMAL TILING RUMEN ANDONOV, SANJAY RAJOPADHYE I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES AL
	ftp://ftp.irisa.fr/techreports/1994/PI-789.ps.gz, 19940201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687789 A DETERMINISTIC APPROACH TO STOCHASTIC APPROXIMATION BERNARD DELYON I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-791.ps.gz, 19940207 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687791 AN OPTIMAL ALGO-TECH-CUIT FOR THE KNAPSACK PROBLEM RUMEN ANDONOV, SANJAY RAJOPADHYE I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-803.ps.gz, 19940310 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687803 CACHE ORGANIZATION INFLUENCE ON LOOP BLOCKING FRAN COIS BODIN, ANDR E SEZNEC I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-800.ps.gz, 19940310 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687800 SIMULATION D'E CLAIRAGE DANS UN ENVIRONNEMENT CONTENANT DES MILIEUX SEMI-TRANSPARENTS ERIC LANGUE NOU, MICHAEL CHELLE
	ftp://ftp.irisa.fr/techreports/1994/PI-804.ps.gz, 19940311 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687804 DIRECT-MAPPED VERSUS SET-ASSOCIATIVE PIPELINED CACHES NATHALIE DRACH, ANDR E SEZNEC, DANIEL WINDHEISER I R I S A
	ftp://ftp.irisa.fr/techreports/1994/PI-801.ps.gz, 19940311 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687801 A SPARSE KNAPSACK ALGO-TECH-CUIT AND ITS SYNTHESIS RUMEN ANDONOV, SANJAY RAJOPADHYE I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-799.ps.gz, 19940314 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687799 LISSAGE DE PROCESSUS MARKOVIENS SUR UN GRAPHE ERIC FABRE I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYST EMES AL
	ftp://ftp.irisa.fr/techreports/1994/PI-794.ps.gz, 19940314 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687794 WHEN ALL THE OBSERVERS OF A DISTRIBUTED COMPUTATION DO AGREE EDDY FROMENTIN AND MICHEL RAYNAL INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-798.ps.gz, 19940314 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687798 CONTROL OF POLYNOMIAL DYNAMIC SYSTEMS: AN EXAMPLE BRUNO DUTERTRE , MICHEL LE BORGNE I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-796.ps.gz, 19940314 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687796 LOCAL STATES IN DISTRIBUTED COMPUTATIONS: A FEW RELATIONS AND FORMULAS EDDY FROMENTIN AND MICHEL RAYNAL INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-806.ps.gz, 19940328 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687806 COMPUTING THE TOUGHNESS AND THE SCATTERING NUMBER FOR INTERVAL AND OTHER GRAPHS D. KRATSCH, T. KLOKS, H. M ULLER I R I
	ftp://ftp.irisa.fr/techreports/1994/PI-802.ps.gz, 19940328 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687802 ON WEAK LUMPABILITY OF DENUMERABLE MARKOV CHAINS JAMES LEDOUX I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1994/PI-809.ps.gz, 19940328 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687809 EFFICIENT TREATMENT OF FAILURES IN RPC SYSTEMS VAL ERIE ISSARNY, GILLES MULLER, ISABELLE PUAUT I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-805.ps.gz, 19940328 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687805 PERFORMABILITY ANALYSIS OF FAULT-TOLERANT COMPUTER SYSTEMS H EDI NABLI, BRUNO SERICOLA I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-810.ps.gz, 19940329 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687810 FROM HIGH LEVEL PROGRAMMING MODEL TO FPGA MACHINES JEAN PIERRE BAN ATRE, DOMINIQUE LAVENIER, MARC VIEILLOT I R I S A
	ftp://ftp.irisa.fr/techreports/1994/PI-811.ps.gz, 19940329 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687811 A GENERAL APPROACH TO TRACE-CHECKING IN DISTRIBUTED COMPUTING SYSTEMS CLAUDE JARD, THIERRY J ERON, GUY-VINCENT JOURDAN
	ftp://ftp.irisa.fr/techreports/1994/PI-812.ps.gz, 19940406 24 Gilbert Cabillic, Thierry Priol, Isabelle Puaut R. Zajcew, P. Roy, D. Black, C. Peak, P. Guedes, B. Kemp, J. LoVerso, M Leibensperger, M. Barnett, F. Rabii & D. Netterwala. An osf/1 unix for massively parallel multicomputers . Proceedings of the 1993 s Usenix Winter Conference,
	ftp://ftp.irisa.fr/techreports/1994/PI-814.ps.gz, 19940428 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687814 RE -EXE CUTION ET ANALYSE DE CALCULS RE PARTIS MICHEL RAYNAL INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1994/PI-808.ps.gz, 19940428 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687808 DIFFERENTIAL ALGEBRAIC EQUATIONS A NEW LOOK AT THE INDEX G. LE VEY I R I S A INSTITUT DE RECHERCHEEN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-807.ps.gz, 19940428 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687807 ETUDE D'ALGORITHMES DE QUANTIFICATION VECTORIELLE ARBORESCENTE POUR LA COMPRESSION D'IMAGES FIXES PATRICK FICHE,
	ftp://ftp.irisa.fr/techreports/1994/PI-817.ps.gz, 19940428 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687817 ON THE FLY TESTING OF REGULAR PATTERNS IN DISTRIBUTED COMPUTATIONS EDDY FROMENTIN, MICHEL RAYNAL, VIJAY K GARG AND ALEX
	ftp://ftp.irisa.fr/techreports/1994/PI-816.ps.gz, 19940428 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687816 SUBTYPING WITH UNION TYPES, INTERSECTION TYPES AND RECURSIVE TYPES II FLEMMING DAMM I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-818.ps.gz, 19940505 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687818 COMPUTING ON LINE THE LATTICE OF MAXIMAL ANTICHAINS OF POSETS GUY VINCENT JOURDAN, JEAN XAVIER RAMPON, CLAUDE JARD I R
	ftp://ftp.irisa.fr/techreports/1994/PI-815.ps.gz, 19940511 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687815 WAVELET ESTIMATORS: ADAPTING TO UNKNOWN SMOOTHNESS ANATOLI JUDITSKY INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES
	ftp://ftp.irisa.fr/techreports/1994/PI-820.ps.gz, 19940519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687820 ON PROPERTIES OF A CLASS OF SPECTRAL CHARACTERISTICS OF MATRICES AND APPLICATIONS TO ORDINARY DIFFERENTIAL EQUATIONS
	ftp://ftp.irisa.fr/techreports/1994/PI-822.ps.gz, 19940519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687822 A COMPONENT MODEL FOR SYNCHRONOUS VLSI SYSTEM DESIGN DOMINIQUE LAVENIER, RODERICK MCCONNELL I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-821.ps.gz, 19940519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687821 DETERMINATION OF STABILITY ZONES FOR LINEAR SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS DEPENDING ON TWO PARAMETERS
	ftp://ftp.irisa.fr/techreports/1994/PI-790.ps.gz, 19940527 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687790 EFFICIENT PARALLEL NON-LINEAR MULTIGRID RELAXATION ALGORITHMS FOR LOW-LEVEL VISION APPLICATIONS E. MEMIN, F. HEITZ AND
	ftp://ftp.irisa.fr/techreports/1994/PI-824.ps.gz, 19940602 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687824 HPF TO C-PANDORE TRANSLATOR L. JERID, F. ANDR E, O. CH ERON, J.L. PAZAT, T. ERNST I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-823.ps.gz, 19940602 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687823 VERIFICATION OF REGULAR ARCHITECTURES USING ALPHA : A CASE STUDY C. DEZAN, P. QUINTON I R I S A INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1994/PI-825.ps.gz, 19940602 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687825 MECHANICAL PROOFS OF SECURITY PROPERTIES JEAN-PIERRE BAN ATRE, CIAR AN BRYCE, DANIEL LE M ETAYER I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-829.ps.gz, 19940607 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687829 REGULAR ARRAY SYNTHESIS USING ALPHA DORAN K. WILDE AND OUMAROU SI E I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-830.ps.gz, 19940607 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687830 LOOP NEST SYNTHESIS USING THE POLYHEDRAL LIBRARY HERV E LE VERGE, VINCENT VAN DONGEN AND DORAN K. WILDE I R I S A
	ftp://ftp.irisa.fr/techreports/1994/PI-831.ps.gz, 19940607 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687831 ACC EL ERATION DE L'ALGORITHME DE NEWTON-GMRES POUR LES EQUATIONS DE NAVIER-STOKES R EMI CHOQUET I R I S A INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-826.ps.gz, 19940608 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687826 ARBORESCENT CANONICAL FORM OF BOOLEAN EXPRESSIONS TOCH EOU AMAGBEGNON LO C BESNARD PAUL LE GUERNIC I R I S A INSTITUT
	ftp://ftp.irisa.fr/techreports/1994/PI-827.ps.gz, 19940616 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687827 THE ALPHA LANGUAGE DORAN K. WILDE I R I S A INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES AL EATOIRES Campus de
	ftp://ftp.irisa.fr/techreports/1994/PI-834.ps.gz, 19940616 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687834 STABILITY OF THE KRYLOV BASES AND SUBSPACES J.F. CARPRAUX, S. GODUNOV, S. KUZNETZOV I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-837.ps.gz, 19940627 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 837 A CALCULUS OF STOCHASTIC SYSTEMS FOR THE SPECIFICATION, SIMULATION, AND HIDDEN STATE ESTIMATION OF HYBRID
	ftp://ftp.irisa.fr/techreports/1994/PI-836.ps.gz, 19940627 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687836 DICHOTOMIE SPECTRALE PAR UNE ELLIPSE S. K. GODUNOV M. SADKANE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES AL
	ftp://ftp.irisa.fr/techreports/1994/PI-835.ps.gz, 19940628 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687835 E TUDE COMPARATIVE DES ARCHITECTURES DES MICROPROCESSEURS INTEL PENTIUM ET POWERPC 601 ANDRE SEZNEC, THIERRY VAULE ON
	ftp://ftp.irisa.fr/techreports/1994/PI-828.ps.gz, 19940628 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687828 USING STATIC ANALYSIS TO DERIVE IMPERATIVE CODE FROM ALPHA PATRICE QUINTON, SANJAY RAJOPADHYE, DORAN WILDE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-813.ps.gz, 19940701 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687813 A SHIFT REGISTER BASED LINEAR SYSTOLIC ARRAY FOR THE GENERAL KNAPSACK PROBLEM R. ANDONOV, P. QUINTON, S. RAJOPADHYE, D.
	ftp://ftp.irisa.fr/techreports/1994/PI-838.ps.gz, 19940721 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687838 TYPE INFERENCE WITH SET THEORETIC TYPE OPERATORS FLEMMING DAMM INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1994/PI-845.ps.gz, 19940721 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687845 LYAPUNOV'S STABILITY OF LARGE MATRICES BY PROJECTION METHODS A.N. MALYSHEV , M. SADKANE INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-843.ps.gz, 19940721 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687843 VSDF: SYNCHRONOUS DATA FLOW FOR VLSI ALAIN KERIHUEL, RODERICK MCCONNELL, SANJAY RAJOPADHYE INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-842.ps.gz, 19940721 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687842 INEVITABLE GLOBAL STATES: A CONCEPT TO DETECT PROPERTIES OF DISTRIBUTED COMPUTATIONS EDDY FROMENTIN AND MICHEL RAYNAL
	ftp://ftp.irisa.fr/techreports/1994/PI-844.ps.gz, 19940721 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687844 ON PARABOLIC AND ELLIPTIC SPECTRAL DICHOTOMY A.N. MALYSHEV , M. SADKANE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1994/PI-793.ps.gz, 19940729 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687793 E TUDE D'ALGORITHMES DE SUIVI TEMPOREL DE SEGMENTATION BASE E MOUVEMENT POUR LA COMPRESSION DE SE QUENCES D'IMAGES
	ftp://ftp.irisa.fr/techreports/1994/PI-847.ps.gz, 19940802 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687847 POLYNOMIAL ALGORITHMS FOR THE SYNTHESIS OF BOUNDED NETS ERIC BADOUEL , LUCA BERNARDINELLO AND PHILIPPE DARONDEAU
	ftp://ftp.irisa.fr/techreports/1994/NT9401.ps.gz, 19940803 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESN O T ET E C H N I Q U ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86879401 THE ALPHA COMPILER AND UNCOMPILER TECHNICAL REPORT DORAN K. WILDE AND ANDREW SNODDY INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-846.ps.gz, 19940804 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687846 NEW ESTIMATES OF THE SPECTRAL DICHOTOMY A.N. MALYSHEV INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES AL EATOIRES
	ftp://ftp.irisa.fr/techreports/1994/PI-833.ps.gz, 19940804 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687833 USING WAVELET NETWORK IN NONPARAMETRIC ESTIMATION QINGHUA ZHANG INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1994/PI-819.ps.gz, 19940804 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687819 EVENT-BASED DIAGNOSIS FOR EVOLUTIVE SYSTEMS MARIE-ODILE CORDIER AND SYLVIE THI EBAUX I R I S A INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-852.ps.gz, 19940829 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687852 3D LAYOUT OF REACHABILITY GRAPHS OF COMMUNICATING PROCESSES THIERRY J ERON, CLAUDE JARD INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-851.ps.gz, 19940829 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687851 DEPENDENCY TRACKING AND FILTERING IN DISTRIBUTED COMPUTATIONS CLAUDE JARD, GUY-VINCENT JOURDAN INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-853.ps.gz, 19940901 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687853 TOLERATING NODE FAILURES IN CACHE ONLY MEMORY ARCHITECTURES MICHEL BAN ATRE, ALAIN GEFFLAUT, CHRISTINE MORIN INSTITUT
	ftp://ftp.irisa.fr/techreports/1994/PI-850.ps.gz, 19940901 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687850. Septembre 1994 OPTIMIZATION OF NUMBER OF PROCESSORS IN VLSI ARRAYS YANNICK SAOUTER INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1994/PI-854.ps.gz, 19940901 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687854 VISUAL SERVOING USING DYNAMIC IMAGE PARAMETERS VENKATARAMAN SUNDARESWARAN, PATRICK BOUTHEMY, FRAN COIS CHAUMETTE
	ftp://ftp.irisa.fr/techreports/1994/PI-849.ps.gz, 19940912 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 849 WAVELETS IN IDENTIFICATION WAVELETS, SPLINES, NEURONS, FUZZIES : HOW GOOD FOR IDENTIFICATION A. JUDITSKY, Q. ZHANG, B.
	ftp://ftp.irisa.fr/techreports/1994/PI-855.ps.gz, 19940915 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687855 SHARED VIRTUAL MEMORY AND MESSAGE PASSING PROGRAMMING ON A FINITE ELEMENT APPLICATION R. BERRENDORF, M. GERNDT, Z.
	ftp://ftp.irisa.fr/techreports/1994/PI-857.ps.gz, 19940915 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687857 NEW FAST SMOOTHERS FOR MULTISCALE SYSTEMS ERIC FABRE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE ATOIRES
	ftp://ftp.irisa.fr/techreports/1994/PI-856.ps.gz, 19940915 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687856 ON THE COMPUTATION OF WAVELET COEFFICIENTS BERNARD DELYON, ANATOLI JUDITSKY INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-859.ps.gz, 19940927 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687859 ON-THE-FLY ANALYSIS OF DISTRIBUTED COMPUTATIONS EDDY FROMENTIN, CLAUDE JARD, GUY-VINCENT JOURDAN, MICHEL RAYNAL
	ftp://ftp.irisa.fr/techreports/1994/PI-860.ps.gz, 19940928 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687860 A RECURSIVE VARIANCE REDUCTION ALGORITHM FOR ESTIMATING COMMUNICATION NETWORK RELIABILITY HECTOR CANCELA, MOHAMED EL
	ftp://ftp.irisa.fr/techreports/1994/PI-858.ps.gz, 19940928 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687858 PARCOURS DE POLYE DRE PARAME TRE AVEC L'E LIMINATION DE FOURIER-MOTZKIN MARC LE FUR INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-861.ps.gz, 19941008 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687861 LOCALISATION DES DISCONTINUITE S EN VUE D'UN MAILLAGE OPTIMAL POUR LA RADIOSITE MICKAEL SAUVE E ET ERIC LANGUE NOU
	ftp://ftp.irisa.fr/techreports/1994/PI-865.ps.gz, 19941008 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687865 PROTOTYPING OF VLSI COMPONENTS FROM A FORMAL SPECIFICATION RODERICK MCCONNELL INSTITUT DE RECHERCHEEN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-862.ps.Z, 19941008 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687862 IRREGULAR LOOP PATTERNS COMPILATION ON DISTRIBUTED SHARED MEMORY MULTIPROCESSORS MOUNIR HAHAD, THIERRY PRIOL AND
	ftp://ftp.irisa.fr/techreports/1994/PI-870.ps.gz, 19941008 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687870 FOR A NEW REAL-TIME METHODOLOGY THIERRY GAUTIER PAUL LE GUERNIC OLIVIER MAFFE IS INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1994/PI-872.ps.gz, 19941102 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687872 EXPRESSING AND DETECTING CONTROL FLOW PROPERTIES OF DISTRIBUTED COMPUTATIONS VIJAY K GARG, ALEX TOMLINSON, EDDY
	ftp://ftp.irisa.fr/techreports/1994/PI-875.ps.gz, 19941102 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687875 APPLYING THE SYNCHRONOUS APPROACH FOR REAL TIME ACTIVE VISUAL RECONSTRUCTION ERIC MARCHAND, ERIC RUTTEN , FRANC OIS
	ftp://ftp.irisa.fr/techreports/1994/PI-873.ps.gz, 19941102 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687873 SOME SOFTWARE TOOLS TO CONTROL THE ACCURACY IN SCIENTIFIC COMPUTING J.F. CARPRAUX INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1994/PI-864.ps.gz, 19941102 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687864 RE ALISATION D'UNE BIBLIOTHE QUE C DE FONCTIONS ONDELETTES. MIKAE L BOURGES-SE VENIER INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-877.ps.gz, 19941103 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687877 A PRAGMATIC RECONSTRUCTION OF LAMBDAPROLOG CATHERINE BELLEANNE E, PASCAL BRISSET ET OLIVIER RIDOUX INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-874.ps.gz, 19941103 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687874 TRANSIENT CHARACTERISTICS OF AN M=M=1 SYSTEM APPLIED TO STATISTICAL MULTIPLEXING ON AN ATM LINK FABRICE GUILLEMIN,
	ftp://ftp.irisa.fr/techreports/1994/PI-879.ps.gz, 19941103 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687879 THE ARCHITECTURE OF AN IMPLEMENTATION OF LAMBDAPROLOG: PROLOG/MALI PASCAL BRISSET ET OLIVIER RIDOUX INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-863.ps.gz, 19941103 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687863 SYNCHRONIZATION MINIMIZATION IN A SPMD EXECUTION MODEL F. BODIN AND L. KERVELLA AND M. O' BOYLE INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1994/PI-880.ps.gz, 19941104 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687880 PROGRAMMATION PAR OBJETS ET PARALLE LISME DE DONNE ES DANS PALADIN FRE DE RIC GUIDEC INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1994/PI-882.ps.gz, 19941104 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687882 MEASURING CONCURRENCY OF REGULAR DISTRIBUTED COMPUTATIONS CYRILLE BAREAU, BENO T CAILLAUD, CLAUDE JARD, RENE THORAVAL
	ftp://ftp.irisa.fr/techreports/1994/PI-868.ps.gz, 19941107 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687868 PARALLELIZATION OF A WAVE PROPAGATION APPLICATION USING A DATA PARALLEL COMPILER FRANC OISE ANDRE , MARC LE FUR, YVES
	ftp://ftp.irisa.fr/techreports/1994/PI-883.ps.gz, 19941107 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687883 AN IMPLEMENTATION OF GLOBAL FLUSH PRIMITIVES USING COUNTERS M. AHUJA, M. RAYNAL INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1994/PI-869.ps.gz, 19941107 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687869 THE PANDORE COMPILER: OVERVIEW AND EXPERIMENTAL RESULTS FRANC OISE ANDRE , MARC LE FUR, YVES MAHE O, JEAN-LOUIS PAZAT
	ftp://ftp.irisa.fr/techreports/1994/PI-866.ps.gz, 19941116 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687866 MATRICES AVL POUR LA CLASSIFICATION ET L'ALIGNEMENT DE SEQUENCES PROTEIQUES. I.C. LERMAN , PH. PETER , J.L. RISLER
	ftp://ftp.irisa.fr/techreports/1994/PI-871.ps.gz, 19941128 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687871 SEQUENTIAL CONSISTENCY IN DISTRIBUTED SYSTEMS : THEORY AND IMPLEMENTATION M. MIZUNO, M. RAYNAL, J.Z. ZHOU INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-885.ps.gz, 19941129 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687885 CONCEPTION ET IMPLANTATION D'UN SERVEUR SMDS SUR ARCHITECTURES MODULAIRES FRE DE RIC GUERBER, JEAN-MARC JE ZE QUEL,
	ftp://ftp.irisa.fr/techreports/1994/PI-884.ps.gz, 19941129 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687884 PRIORITIZED TRANSITIONS FOR UPDATES MARIE-ODILE CORDIER AND PIERRE SIEGEL INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-881.ps.gz, 19941129 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687881 COMPARISON OF ACCURATE DOT PRODUCT ALGORITHMS JU RGEN WOLFF V. GUDENBERG INSTITUT FU R INFORMATIK UNIVERSITA T WU
	ftp://ftp.irisa.fr/techreports/1994/PI-887.ps.gz, 19941212 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687887 CAUSAL DELIVERIES IN UNRELIABLE NETWORKS WITH REAL-TIME DELIVERY CONSTRAINTS R. BALDONI, A. MOSTEFAOUI AND M. RAYNAL
	ftp://ftp.irisa.fr/techreports/1994/PI-888.ps.gz, 19941212 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687888 COMMUTATION ET RE SEAUX ATM PATRICE LEGUESDRON, JEAN PELLAUMAIL INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1994/PI-867.ps.gz, 19941223 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N EN o I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687867 EXE CUTION DE CODES IRRE GULIERS PAR MIGRATION DE TA CHES YVON JE GOU INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE
	ftp://ftp.irisa.fr/techreports/1994/PI-886.ps.gz, 19941223 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687886 DE TECTION DE RUPTURE DE MODE LE APPLIQUE E A L'ASSERVISSEMENT VISUEL FARABI BENSALAH, FRANC OIS CHAUMETTE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1994/PI-895.ps.gz, 19941223 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687895 COMPUTING WAVELET DENSITY ESTIMATOR FOR STOCHASTIC PROCESSES FRE DE RIQUE LEBLANC , ANATOLI JUDITSKY INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-890.ps.gz, 19950105 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687890 GENERAL RESULTS ON THE CONVERGENCE OF STOCHASTIC ALGORITHMS BERNARD DELYON IRISA/INRIA, CAMPUS DE BEAULIEU, 35042
	ftp://ftp.irisa.fr/techreports/1995/PI-896.ps.gz, 19950105 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687896 TRACTABLE APPROXIMATION TO OPTIMAL PLANNING IN THE BLOCKS WORLD JOHN SLANEY AND SYLVIE THIE BAUX INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1995/PI-898.ps.gz, 19950123 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687898 VISUAL SERVOING IN ROBOTICS SCHEME USING A CAMERA/LASER-STRIPE SENSOR DJAMEL KHADRAOUI , GUY MOTYL , PHILIPPE MARTINET
	ftp://ftp.irisa.fr/techreports/1994/PI-891.ps.gz, 19950123 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687891 LOCATING SINGULAR POINTS AND CHARACTERIZING DEFORMABLE FLOW FIELDS IN AN IMAGE SEQUENCE MARIETTE MAURIZOT, PATRICK
	ftp://ftp.irisa.fr/techreports/1994/PI-841.ps.gz, 19950127 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687841 UTILISATION DES INDEX D'UN E DITEUR STRUCTURE DANS LE CADRE D'ACTES ME DIE VAUX JACQUES ANDRE & HE LE NE RICHY
	ftp://ftp.irisa.fr/techreports/1995/PI-903.ps.gz, 19950130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687903 E QUATIONS ADJOINTES ET TRACE DE PARTICULE POUR LE CALCUL D'ILLUMINATION GLOBALE S. N. PATTANAIK AND KADI BOUATOUCH
	ftp://ftp.irisa.fr/techreports/1994/PI-894.ps.gz, 19950130 36Michel Ban tre et Gilles Muller 34Michel Ban tre et Gilles Muller Proposition d une architecture pour l exp rimentation de syst mes distribu s extensibles33 R f rences M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian & M. Young. Mach: A New Kernel Foundation for
	ftp://ftp.irisa.fr/techreports/1995/PI-897.ps.gz, 19950130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687897 A RECOVERABLE DISTRIBUTED SHARED MEMORY INTEGRATING COHERENCE AND RECOVERABILITY ANNE-MARIE KERMARREC, GILBERT
	ftp://ftp.irisa.fr/techreports/1995/PI-902.ps.gz, 19950130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687902 POM: A VIRTUAL PARALLEL MACHINE FEATURING OBSERVATION MECHANISMS FRE DE RIC GUIDEC AND YVES MAHE O INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-900.ps.gz, 19950130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687900 LOGICAL TIME: A WAY TO CAPTURE CAUSALITY IN DISTRIBUTED SYSTEMS M. RAYNAL, M. SINGHAL INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-893.ps.gz, 19950202 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687893 A COMPOSITION LAW FOR RUNGE-KUTTA METHODS APPLIED TO INDEX-2 DIFFERENTIAL-ALGEBRAIC EQUATIONS R.P.K. CHAN , P. CHARTIER
	ftp://ftp.irisa.fr/techreports/1995/PI-906.ps.gz, 19950202 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687906 DUALITIES BETWEEN NETS AND AUTOMATA INDUCED BY SCHIZOPHRENIC OBJECTS ERIC BADOUEL AND PHILIPPE DARONDEAU INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-908.ps.gz, 19950210 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687908 COVER PRESERVING EMBEDDINGS OF BIPARTITE ORDERS INTO BOOLEAN LATTICES JUTTA MITAS, KLAUS REUTER INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1995/PI-899.ps.gz, 19950210 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687899 SEMANTICS OF RECOVERY LINES FOR BACKWARD RECOVERY IN DISTRIBUTED SYSTEMS JERZY BRZEZI NSKI, JEAN-MICHEL HELARY, MICHEL
	ftp://ftp.irisa.fr/techreports/1995/PI-909.ps.gz, 19950210 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687909 SKEWED ASSOCIATIVITY ENHANCES PERFORMANCE PREDICTABILITY FRANC OIS BODIN, ANDRE SEZNEC INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-911.ps.gz, 19950306 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687911 A UNIFIED FRAMEWORK FOR THE SPECIFICATION AND RUN-TIME DETECTION OF DYNAMIC PROPERTIES IN DISTRIBUTED COMPUTATIONS O
	ftp://ftp.irisa.fr/techreports/1995/PI-915.ps.gz, 19950314 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687915 RECURSIVE PATH CONDITIONING MONTE CARLO SIMULATION OF COMMUNICATION NETWORK RELIABILITY HE CTOR CANCELA , MOHAMED EL
	ftp://ftp.irisa.fr/techreports/1995/PI-913.ps.gz, 19950315 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 N 913 - F vrier 1995 Lessons from FTM: an Experiment in the Design and Implementation of a Low Cost Fault Tolerant System
	ftp://ftp.irisa.fr/techreports/theses/1994/fabre.ps.gz, 19950320 No d'ordre : 1313 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES I U.F.R. Structure et Propri et es de la Mati ere pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention : Traitement du Signal et T el ecommunications par Eric FABRE Traitement du signal multir esolution : conception de
	ftp://ftp.irisa.fr/techreports/1995/PI-917.ps.gz, 19950331 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687917 THE SIGNAL DATA FLOW METHODOLOGY APPLIED TO A PRODUCTION CELL TOCHE OU PASCALIN AMAGBEGNON, PAUL LE GUERNIC, HERVE
	ftp://ftp.irisa.fr/techreports/1995/PI-916.ps.gz, 19950331 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687916 SPECIFYING AND VERIFYING A TRANSFORMER STATION IN SIGNAL AND SIGNALGTI HERV E MARCHAND , ERIC RUTTEN , MAZEN SAMAAN
	ftp://ftp.irisa.fr/techreports/1995/PI-889.ps.gz, 19950331 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687889 HALTING PROBLEM FOR ONE-STATE TURING MACHINES YANNICK SAOUTER INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1995/PI-920.ps.gz, 19950403 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687920 K-ARBITER: A SAFE AND GENERAL SCHEME FOR H-OUT OF-K MUTUAL EXCLUSION PROBLEMS ROBERTO BALDONI, YOSHIFUMI MANABE MICHEL
	ftp://ftp.irisa.fr/techreports/1995/PI-919.ps.gz, 19950403 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687919 E TUDE ARCHITECTURALE D'UN ALGORITHME D'ESTIMATION DE MOUVEMENT BLOC-RE CURSIF FRANC OIS CHAROT, CLAUDE LABIT ET PASCAL
	ftp://ftp.irisa.fr/techreports/1995/PI-918.ps.gz, 19950404 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687918 LA SUPPRESSION DES ANOMALIES DANS LES PROTOCOLES : VERS UNE ME THODE BASE E SUR L'AJOUT INCRE MENTAL DE TRANSITIONS
	ftp://ftp.irisa.fr/techreports/1995/PI-924.ps.gz, 19950412 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687924 THE PERFORMANCE OF CONSISTENT CHECKPOINTING IN DISTRIBUTED SHARED MEMORY SYSTEMS GILBERT CABILLIC, GILLES MULLER,
	ftp://ftp.irisa.fr/techreports/1995/PI-923.ps.gz, 19950412 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687923 EXPLORATION RAPIDE ET EXHAUSTIVE DES BANQUES D'ADN PASCALE GUERDOUX-JAMET, DOMINIQUE LAVENIER INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-921.ps.gz, 19950412 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687921 PERFORMABILITY ANALYSIS FOR DEGRADABLE COMPUTER SYSTEMS HE DI NABLI AND BRUNO SERICOLA INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-930.ps.gz, 19950519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687930 OCO MANUEL DE L'UTILISATEUR (VERSION PR ELIMINAIRE) F. BODIN, G. LE FOL, F. RAIMBAULT INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-928.ps.gz, 19950519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687928 MODE LISATION DE L'APPRENANT DANS UN TUTEUR INTELLIGENT DES COMPOSE S EN ANGLAIS FRE DE RIC DANNA ET PASCALE SE BILLOT
	ftp://ftp.irisa.fr/techreports/1995/PI-926.ps.gz, 19950519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687926 FROM CAUSAL CONSISTENCY TO SEQUENTIAL CONSISTENCY IN SHARED MEMORY SYSTEMS M. RAYNAL, A. SCHIPER INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1995/PI-929.ps.gz, 19950519 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687929 THE SYNTHESIS PROBLEM FOR ELEMENTARY NET SYSTEMS IS NP-COMPLETE ERIC BADOUEL , LUCA BERNARDINELLO AND PHILIPPE
	ftp://ftp.irisa.fr/techreports/1995/PI-932.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687932 ETUDE DES ARCHITECTURES DES MICROPROCESSEURS DEC 21164, IBM POWER2 ET MIPS R8000 ANDRE SEZNEC, YANN ME VEL INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-927.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687927 MODEL-CHECKING OF CTL ON INFINITE KRIPKE STRUCTURES DEFINED BY SIMPLE GRAPH GRAMMARS YVES-MARIE QUEMENER AND THIERRY JE
	ftp://ftp.irisa.fr/techreports/1995/PI-934.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687934 TREE-VISIBILITY ORDERS DIETER KRATSCH , JEAN-XAVIER RAMPON INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1995/PI-933.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687933 ON MODELING CONSISTENT CHECKPOINTS AND THE DOMINO EFFECT IN DISTRIBUTED SYSTEMS ROBERTO BALDONI, JEAN MICHEL HELARY
	ftp://ftp.irisa.fr/techreports/1995/PI-907.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687907 RETARDS DANS LES RE SEAUX ATM JEAN PELLAUMAIL, ZOUBIDA JADDA INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1995/PI-925.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687925 CONSISTENT CHECKPOINTING IN MESSAGE PASSING DISTRIBUTED SYSTEMS ROBERTO BALDONI, JEAN MICHEL HELARY ACHOUR MOSTEFAOUI ,
	ftp://ftp.irisa.fr/techreports/1995/PI-912.ps.gz, 19950529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687912 CORRECTEUR TYPOGRAPHIQUE POUR L'E DITION E LECTRONIQUE HE LE NE RICHY & JACQUES ANDRE INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-931.ps.gz, 19950608 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687931 A NEW METHOD FOR THE GENERATION OF STRONG PRIME NUMBERS YANNICK SAOUTER INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE
	ftp://ftp.irisa.fr/techreports/1995/PI-901.ps.gz, 19950608 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 901 ALGORITHMES GE NE TIQUES SE QUENTIELS ET PARALLE LES POUR UNE REPRE SENTATION AFFINE DES PROXIMITE S I. C. LERMAN - R.
	ftp://ftp.irisa.fr/techreports/theses/1995/guidec.ps.gz, 19950609 No d'ordre : 1390 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Fr ed eric Guidec Un cadre conceptuel pour la programmation par objets des
	ftp://ftp.irisa.fr/techreports/1995/PI-935.ps.gz, 19950613 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687935 CONTEXT-FREE EVENT DOMAINS ARE RECOGNIZABLE ERIC BADOUEL PHILIPPE DARONDEAU AND JEAN-CLAUDE RAOULT INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-936.ps.gz, 19950613 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687936 FLIP-FLOP NETS VINCENT SCHMITT INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE ATOIRES Campus de Beaulieu 35042
	ftp://ftp.irisa.fr/techreports/1995/PI-937.ps.gz, 19950630 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687937 A THEORY OF SEQUENTIAL FUNCTIONS B.GAMATIE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE ATOIRES Campus de
	ftp://ftp.irisa.fr/techreports/1995/PI-938.ps.gz, 19950630 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687938 DIFFE RENTIATION SYMBOLIQUE ORIENTE E OBJETS LAURENT COGNE ET BRUNO ARNALDI INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1995/PI-914.ps.gz, 19950630 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687914 A DIFFERENTIAL GEOMETRIC APPROACH TO NONLINEAR FILTERING : THE PROJECTION FILTER DAMIANO BRIGO BERNARD HANZON, FRANCOIS
	ftp://ftp.irisa.fr/techreports/1995/PI-940.ps.gz, 19950712 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687940 A MATRIX-FREE PRECONDITIONER APPLIED TO CFD RE MI CHOQUET INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/theses/1995/hahad.ps.gz, 19950712 N d'Ordre : 1396 THE SE Pre sente e devant l'Universite de Rennes I Institut de Formation Supe rieure en Informatique et Communication pour obtenir le titre de Docteur de l'Universite de Rennes I Mention INFORMATIQUE par Mounir HAHAD Sujet Sche mas d'exe cution pour algorithmes irre guliers sur machines
	ftp://ftp.irisa.fr/techreports/1995/PI-939.ps.gz, 19950712 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687939 ON SOME STRUCTURED INVERSE EIGENVALUE PROBLEMS ROBERT ERRA, BERNARD PHILIPPE INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1995/PI-942.ps.gz, 19950712 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687942 DERIVATION OF STATIC ANALYSERS OF FUNCTIONAL PROGRAMS FROM PATH PROPERTIES OF A NATURAL SEMANTICS VALE RIE GOURANTON ET
	ftp://ftp.irisa.fr/techreports/1995/PI-910.ps.gz, 19950719 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687910 LOGIC PROGRAMMING ENVIRONMENTS: DYNAMIC PROGRAM ANALYSIS AND DEBUGGING MIREILLE DUCASSE AND JACQUES NOYE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-947.ps.gz, 19950724 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687947 MESH PARTITIONING TECHNIQUES AND NEW OBSERVATIONS FOR 3-REGULAR GRAPHS FABIO GUERINONI INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-941.ps.gz, 19950724 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687941 Ge ne ration automatique des conditions d'ordre des me thodes de Runge-Kutta pour un syste me diffe rentiel alge brique
	ftp://ftp.irisa.fr/techreports/1995/PI-946.ps.gz, 19950725 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687946 A General Approach for Run-Time Specialization and its Application to C Charles Consel and Franc ois Noe l INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-905.ps.gz, 19950808 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687905 DERIVING IMPERATIVE CODE FROM FUNCTIONAL PROGRAMS PATRICE QUINTON, SANJAY RAJOPADHYE, DORAN WILDE INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1995/PI-904.ps.gz, 19950808 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687904 THE NAIVE EXECUTION OF AFFINE RECURRENCE EQUATIONS PATRICE QUINTON, SANJAY RAJOPADHYE, DORAN WILDE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-944.ps.gz, 19950828 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687944 MATCHING MICRO-KERNELS TO MODERN APPLICATIONS USING FINE-GRAINED MEMORY PROTECTION CIARA N BRYCE & GILLES MULLER
	ftp://ftp.irisa.fr/techreports/1995/PI-948.ps.gz, 19950828 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687948 TRANSIENT QUEUE LENGTH AND BUSY PERIOD OF THE BMAP/PH/1 QUEUE BRUNO SERICOLA INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/theses/1995/lefur.ps.gz, 19950831 No d'ordre : 1403 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Marc Le Fur Compilation de boucles dirig ee par la distribution des donn ees
	ftp://ftp.irisa.fr/techreports/theses/1995/jourdan.ps.gz, 19951003 N d'ordre : 1361 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Guy-Vincent Jourdan L'analyse d'ex ecutions r eparties en utilisant la th eorie
	ftp://ftp.irisa.fr/techreports/1995/PI-954.ps.gz, 19951011 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687954 AN ADAPTIVE LOCAL GRID REFINEMENT METHOD FOR NONLINEAR FILTERING ZHIQIANG CAI, FRANCOIS LE GLAND, HUILONG ZHANG
	ftp://ftp.irisa.fr/techreports/1995/PI-955.ps.gz, 19951011 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687955 AN EFFICIENT CAUSAL ORDERING ALGORITHM FOR MOBILE COMPUTING ENVIRONMENTS RAVI PRAKASH , MICHEL RAYNAL , MUKESH SINGHAL
	ftp://ftp.irisa.fr/techreports/1995/PI-949.ps.gz, 19951018 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687949 DEADLOCK DETECTION IN MULTIDATABASE SYSTEMS: A PERFORMANCE ANALYSIS ROBERTO BALDONI, SILVIO SALZA INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1995/PI-952.ps.gz, 19951018 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687952 STOCHASTIC APPROXIMATION WITH AVERAGING BERNARD DELYON, ANATOLI IOUDITSKI IRISA, CAMPUS DE BEAULIEU, 35042 RENNES
	ftp://ftp.irisa.fr/techreports/1995/PI-945.ps.gz, 19951018 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687945 QUANTIFICATION VECTORIELLE PAR EMBOI TAGE D'UNE HIE RARCHIE DE RE SEAUX RE GULIERS DE POINTS VINCENT RICORDEL, CLAUDE
	ftp://ftp.irisa.fr/techreports/1995/PI-951.ps.gz, 19951018 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687951 USING NONLINEAR BLACK-BOX MODELS IN FAULT DETECTION AND ISOLATION QINGHUA ZHANG INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1995/PI-961.ps.gz, 19951108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687961 PARALLEL COMPUTATION OF SPECTRAL PORTRAITS OF MATRICES BY BIDIAGONALIZATION A.N. MALYSHEV INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-956.ps.gz, 19951108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687956 SUR LA STABILITE DE MATRICES DE GRANDE TAILLE A.N. MALYSHEV , M. SADKANE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE
	ftp://ftp.irisa.fr/techreports/1995/PI-960.ps.gz, 19951108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687960 PERFORMABILITY MEASURE FOR ACYCLIC MARKOVIAN MODELS HE DI NABLI INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1995/PI-963.ps.gz, 19951108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687963 SUR LA MODE LISATION STRUCTURELLE MARKOVIENNE EN FIABILITE DU LOGICIEL JAMES LEDOUX INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-950.ps.gz, 19951108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687950 ROBUST MOTION DETECTION WITH TEMPORAL DECOMPOSITION AND STATISTICAL REGULARIZATION JEAN MICHEL L TANG, PATRICK BOUTHEMY
	ftp://ftp.irisa.fr/techreports/1995/PI-968.ps.gz, 19951108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687968 A SUITE OF FORMAL DEFINITIONS FOR CONSISTENCY CRITERIA IN DISTRIBUTED SHARED MEMORIES M. RAYNAL, A. SCHIPER INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-964.ps.gz, 19951110 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687964 COMA: AN OPPORTUNITY FOR BUILDING FAULT-TOLERANT SCALABLE SHARED MEMORY MULTIPROCESSORS MICHEL BANA TRE , ALAIN
	ftp://ftp.irisa.fr/techreports/1995/PI-969.ps.gz, 19951115 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687969 DON'T USE THE PAGE NUMBER, BUT A POINTER ON IT ANDRE SEZNEC INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1995/PI-970.ps.gz, 19951115 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687970 ABOUT EFFECTIVE CACHE MISS PENALTY ON OUT-OF-ORDER SUPERSCALAR PROCESSORS ANDRE SEZNEC, FABIEN LLOANSI INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-962.ps.gz, 19951115 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 962 octobre 1995 La mobilit dans les syst mes r partis Nadjib Badache INSTIITUT DE RECHERCHE EN INFORMATIQUE ET SYST MES
	ftp://ftp.irisa.fr/techreports/1995/PI-959.ps.gz, 19951120 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687959 UN APERC U DES PROBLE MES DE SE CURITE DANS LES SYSTE MES INFORMATIQUES CHRISTOPHE BIDAN & VALE RIE ISSARNY INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-965.ps.gz, 19951120 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687965 A FERMAT-LIKE SEQUENCE AND PRIMES OF THE FORM 2H:3N + 1 YANNICK SAOUTER INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE
	ftp://ftp.irisa.fr/techreports/1995/PI-973.ps.gz, 19951130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 973 Masquage de la perte de synchronisation pour les applications multim dias r parties Bernard COUSIN & Gagnon VIHO
	ftp://ftp.irisa.fr/techreports/1995/PI-958.ps.gz, 19951130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N EN o I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687958 TASK MIGRATION, A TECHNIQUE FOR IRREGULAR CODE IMPLEMENTATION ON DISTRIBUTED MEMORY ARCHITECTURES YVON JE GOU
	ftp://ftp.irisa.fr/techreports/1995/PI-957.ps.gz, 19951130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687957 E VOLUTION DES GAMMES DE PROCESSEURS MIPS, DEC ALPHA, POWERPC, SPARC ET XXX86 ANDRE SEZNEC, YANN ME VEL INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1995/PI-967.ps.gz, 19951130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687967 EFFICIENT DISTRIBUTED DETECTION OF CONJUNCTIONS OF LOCAL PREDICATES M. HURFIN M. MIZUNO M. RAYNAL M. SINGHAL INSTITUT
	ftp://ftp.irisa.fr/techreports/1995/PI-974.ps.gz, 19951130 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687974 CALCULABILITY OF THE SEMANTICS OF ENGLISH NOMINAL COMPOUNDS: COMBINING GENERAL LINGUISTIC RULES AND CORPUS-BASED
	ftp://ftp.irisa.fr/techreports/1995/PI-976.ps.gz, 19951204 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687976 ON IMPROVING THE CONVERGENCE OF RADAU IIA METHODS APPLIED TO INDEX 2 DAES A. AUBRY , P. CHARTIER INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1995/PI-971.ps.gz, 19951204 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687971 SIMULATION D'UN CIRCUIT ELECTRO-DOMESTIQUE EN SIGNAL D. CHAUVEAU , M. BONS INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1995/PI-977.ps.gz, 19951206 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687977 VINOGRADOV'S THEOREM IS TRUE UP TO 1020 YANNICK SAOUTER INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE ATOIRES
	ftp://ftp.irisa.fr/techreports/1995/PI-975.ps.gz, 19951207 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687975 A SURVEY OF RECOVERABLE DISTRIBUTED SHARED MEMORY SYSTEMS CHRISTINE MORIN, ISABELLE PUAUT INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1995/PI-978.ps.gz, 19960201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687978 MULTI VIDEO SCHEME VIDEOCONFERENCING APPLICATIONS BERNARD COUSIN AND ZHOU JUNHUI INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1995/PI-979.ps.gz, 19960201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687979 A UNIFORM APPROACH FOR COMPILE-TIME AND RUN-TIME SPECIALIZATION CHARLES CONSEL, LUKE HORNOF, FRANC OIS NOE L, JACQUES
	ftp://ftp.irisa.fr/techreports/1995/PI-972.ps.gz, 19960201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 972 - D cembre 1995 A Taxonomy of Functional Language Implementations Part I: Call-by-Value R mi Douence and Pascal
	ftp://ftp.irisa.fr/techreports/1995/PI-966.ps.gz, 19960201 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687966 SVMVIEW: A PERFORMANCE TUNING TOOL FOR DSM-BASED PARALLEL COMPUTERS DIDIER BADOUEL, THIERRY PRIOL, LUC RENAMBOT
	ftp://ftp.irisa.fr/techreports/1996/PI-983.ps.gz, 19960213 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687983 FROM SERIALIZABLE TO CAUSAL TRANSACTIONS FOR COLLABORATIVE APPLICATIONS M. RAYNAL , G. THIA-KIME , M. AHAMAD INSTITUT
	ftp://ftp.irisa.fr/techreports/1996/PI-986.ps.gz, 19960215 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687986 A MULTI THREADS RUNTIME FOR THE PANDORE DATA PARALLEL COMPILER FRAN OISE ANDR INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-984.ps.gz, 19960215 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687984 GAMMA AND THE CHEMICAL REACTION MODEL JEAN-PIERRE BANA TRE ET DANIEL LE ME TAYER INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1996/PI-982.ps.gz, 19960215 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687982 COEFFICIENTS D'ASSOCIATION ET VARIABLES TR S GRAND NOMBRE DE CAT GORIES DANS LES ARBRES DE D CISION ; APPLICATION
	ftp://ftp.irisa.fr/techreports/1996/PI-985.ps.gz, 19960215 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687985 WEAK LUMPABILITY OF FINITE MARKOV CHAINS AND POSITIVE INVARIANCE OF CONES JAMES LEDOUX INSTITUT DE RECHERCHEEN
	ftp://ftp.irisa.fr/techreports/1996/PI-981.ps.gz, 19960219 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687981 MUTUALLY CONSISTENT RECORDING IN ASYNCHRONOUS COMPUTATIONS ROBERTO BALDONI, JEAN-MICHEL HELARY, MICHEL RAYNAL INSTITUT
	ftp://ftp.irisa.fr/techreports/1996/PI-987.ps.gz, 19960219 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687987 AN APPROACH TO INTEGRATE FORMAL VALIDATION IN AN OO LIFE-CYCLE OF PROTOCOLS CLAUDE JARD, JEAN-MARC JE ZE QUEL, LAURENCE
	ftp://ftp.irisa.fr/techreports/1993/PI-732.ps.gz, 19960227 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687732 ONDELETTES ORTHOGONALES ET BIORTHOGONALES (VERSION RE VISE E) BERNARD DELYON INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-990.ps.gz, 19960312 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687990 MULTIPLE-BLOCK AHEAD BRANCH PREDICTORS ANDRE SEZNEC, STE PHAN JOURDAN, PASCAL SAINRAT, PIERRE MICHAUD INSTITUT DE
	ftp://ftp.irisa.fr/techreports/theses/1995/garduno.ps.gz, 19960312 Nod0ordre : 1358 THESE Pr esent ee DEVANT L'UNIVERSITE DE RENNES I U. F. R. Structure et propri et es de la mati ere pour obtenir le grade de Docteur de l'Universit e de Rennes I Mention : Traitement du Signal et T el ecommunications par Victor GARCIA-GARDU~NO Sujet de la th ese Une approche de
	ftp://ftp.irisa.fr/techreports/1996/PI-991.ps.gz, 19960314 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687991 DENSE ESTIMATION AND OBJECT-ORIENTED SEGMENTATION OF THE OPTICAL FLOW WITH ROBUST TECHNIQUES E. ME MIN, P. PE REZ, AND
	ftp://ftp.irisa.fr/techreports/1996/PI-992.ps.gz, 19960321 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687992 DETECTING DIAMOND NECKLACES IN LABELED DAGS (A PROBLEM FROM DISTRIBUTED DEBUGGING) MICHEL HURFIN, MICHEL RAYNAL
	ftp://ftp.irisa.fr/techreports/theses/1996/vieillot.ps.gz, 19960321 No d'ordre : 1504 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Marc Vieillot Mise en oeuvre de l'op erateur Gamma a l'aide de circuits logiques
	ftp://ftp.irisa.fr/techreports/theses/resumes_de_these/resumes-1992.ps.gz, 19960322 1. Francis COURTOT - 14 janvier 1992 CARLA : acquisition et induction sur le mat eriau compositionnel Le but de cette th ese est de formaliser des outils de repr esentation et d'apprentissage automatique pour un syst eme d'aide a la composition musicale, et ceci afin d'augmenter la libert e du
	ftp://ftp.irisa.fr/techreports/theses/resumes_de_these/resumes-1993.ps.gz, 19960322 1. Pierre Nerzic - 8 janvier 1993 Erreurs et echecs dans le dialogue oral homme-machine : d etection et r eparation Le cadre de cette th ese est celui de l' etude du dialogue en langue naturelle entre l'homme et la machine et concerne la mod elisation de certaines erreurs survenant dans les dialogues
	ftp://ftp.irisa.fr/techreports/1996/PI-998.ps.gz, 19960322 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687998 IMPROVEMENT OF HALTON SEQUENCES DISTRIBUTION BRUNO TUFFIN INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST EMES AL
	ftp://ftp.irisa.fr/techreports/theses/resumes_de_these/resumes-1995.ps.gz, 19960322 1. Alain Gefflaut - 5 janvier 1995 Proposition et evaluation d'une architecture extensible a m emoire partag ee tol erante aux fautes Les architectures extensibles a m emoire partag ee sont une r eponse aux besoins croissants des applications en puissance de calcul. Elles allient la facilit e de
	ftp://ftp.irisa.fr/techreports/1996/PI-1001.ps.gz, 19960328 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871001 GENERATING REGULAR ARITHMETIC CIRCUITS WITH AlpHard PATRICIA LE MOENNER, LAURENT PERRAUDEAU, PATRICE QUINTON, SANJAY
	ftp://ftp.irisa.fr/techreports/1996/PI-988.ps.gz, 19960403 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687988 SAMBA SYSTOLIC ACCELERATORS FOR MOLECULAR BIOLOGICAL APPLICATIONS DOMINIQUE LAVENIER INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/theses/1995/nguyen.ps.gz, 19960410 No d'ordre : 1434 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES I U.F.R. Structure et Propri et es de la Mati ere pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention : Traitement du Signal et T el ecommunications par Eric Nguyen Phuc Compression s elective et focalisation visuelle
	ftp://ftp.irisa.fr/techreports/1996/PI-1004.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871004 SURVEILLANCE ET DIAGNOSTIC DE SYST EMES DYNAMIQUES: APPROCHES COMPL EMENTAIRES DU TRAITEMENT DE SIGNAL ET DE
	ftp://ftp.irisa.fr/techreports/1995/PI-922.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687922 THE DIAMOND TORUS : A CAYLEY GRAPH ON THE 6-VALENT GRID DOMINIQUE D ES ERABLE INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1994/PI-840.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687840 THE ARROWHEAD TORUS : A CAYLEY GRAPH ON THE 6-VALENT GRID DOMINIQUE D ES ERABLE INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1996/PI-996.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687996 THE MORTALITY OF A PAIR OF 2 2 MATRICES IS DECIDABLE YANNICK SAOUTER INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYST MES
	ftp://ftp.irisa.fr/techreports/1994/PI-848.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687848 BROADCASTING IN THE ARROWHEAD TORUS DOMINIQUE D ES ERABLE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES AL
	ftp://ftp.irisa.fr/techreports/1996/PI-1006.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871006 STARDUST: AN ENVIRONMENT FOR PARALLEL PROGRAMMING ON NETWORKS OF HETEROGENEOUS WORKSTATIONS GILBERT CABILLIC, ISABELLE
	ftp://ftp.irisa.fr/techreports/1996/PI-1005.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871005 VARIANCE REDUCTIONS APPLIED TO PRODUCT-FORM MULTI-CLASS QUEUING NETWORKS: ANTITHETIC VARIATES AND LOW DISCREPANCY
	ftp://ftp.irisa.fr/techreports/1996/PI-1003.ps.gz, 19960415 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871003 PARALLEL OPERATORS JEAN-MARC JE ZE QUEL, JEAN-LIN PACHERIE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTE MES ALE
	ftp://ftp.irisa.fr/techreports/1996/PI-1009.ps.gz, 19960419 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871009 M ethodes Pseudo-symplectiques A. Aubry INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES AL EATOIRES Campus de
	ftp://ftp.irisa.fr/techreports/1996/PI-993.ps.gz, 19960430 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687993 FUNCTIONAL AGGREGATION FOR NONPARAMETRIC ESTIMATION ANATOLI JUDITSKY , ARKADI NEMIROVSKI INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/theses/resumes_de_these/resumes-1994.ps.gz, 19960502 1. Zakaria Lahjomri - 12 janvier 1994 Conception et evaluation d'un m ecanisme de m emoire virtuelle partag ee sur une machine multiprocesseur a m emoire distribu ee Les besoins en puissance de calcul ont motiv e de nombreuses recherches dans le domaine des architectures. Depuis quelques ann ees, ces
	ftp://ftp.irisa.fr/techreports/1996/PI-1008.ps.gz, 19960502 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871008 INFORMATION CRITERIA FOR RESIDUAL GENERATION AND FAULT DETECTION AND ISOLATION MICH OEELE BASSEVILLE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1996/PI-1010.ps.gz, 19960503 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871010 SURVEILLANCE D'INSTALLATIONS INDUSTRIELLES: D E- MARCHE G EN ERALE ET CONCEPTION DE L'ALGORITHMIQUE MICH OEELE
	ftp://ftp.irisa.fr/techreports/1996/PI-1012.ps.gz, 19960503 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871012 A MONTE CARLO ALGORITHM BASED ON A STATE-SPACE DECOMPOSITION METHODOLOGY FOR FLOW NETWORK RELIABILITY EVALUATION ST
	ftp://ftp.irisa.fr/techreports/1996/PI-1013.ps.gz, 19960510 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871013 AVAILABILITY ANALYSIS AND STATIONARY REGIME DETECTION OF MARKOV PROCESSES BRUNO SERICOLA INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-995.ps.gz, 19960510 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687995 MODEL-CHECKING OF INFINITE GRAPHS DEFINED BY GRAPH GRAMMARS Olaf Burkart , Yves-Marie Quemener INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-994.ps.gz, 19960510 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687994 FINITELY REPRESENTING INFINITE REACHABILITY GRAPHS OF CFSMS WITH GRAPH GRAMMARS Yves-Marie Quemener , Thierry J eron
	ftp://ftp.irisa.fr/techreports/1996/PI-1014.ps.gz, 19960523 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871014 POINT AND EXPECTED INTERVAL AVAILABILITY ANALYSIS WITH STATIONARITY DETECTION HA SCAM ABDALLAH, RAYMOND MARIE, BRUNO
	ftp://ftp.irisa.fr/techreports/1996/PI-1011.ps.gz, 19960530 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871011 FT-NFS : AN EFFICIENT FAULT TOLERANT NFS SERVER DESIGNED FOR OFF-THE-SHELF WORKSTATIONS NADINE PEYROUZE, GILLES MULLER
	ftp://ftp.irisa.fr/techreports/1996/PI-1024.ps.gz, 19960531 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871024 ETUDE DES ARCHITECTURES DES MICROPROCESSEURS MIPS R10000, ULTRASPARC ET PENTIUMPRO ANDR E SEZNEC, FABIEN LLOANSI
	ftp://ftp.irisa.fr/techreports/1996/PI-1007.ps.gz, 19960531 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871007 EVALUATION OF POLYNOMIALS THROUGH THE SIMPLEX ALGORITHM. O. BEAUMONT INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1996/PI-1020.ps.gz, 19960531 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871020 INFORMATION: ENTROPIES, DIVERGENCES ET MOYENNES MICH OEELE BASSEVILLE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1996/PI-980.ps.gz, 19960531 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687980 AN INFERENCE ALGORITHM FOR THE STATIC VERIFICATION OF POINTER MANIPULATION PASCAL FRADET, RONAN GAUGNE AND DANIEL LE M
	ftp://ftp.irisa.fr/techreports/1996/PI-1026.ps.gz, 19960603 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871026 ON POLYNOMIAL MIXING BOUNDS FOR STOCHASTIC DIFFERENTIAL EQUATIONS A. YU. VERETENNIKOV INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-1025.ps.gz, 19960603 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871025 STATIC AND DYNAMIC ADAPTATION OF TRANSACTIONAL CONSISTENCY OLIVER THEEL AND MICHEL RAYNAL INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-1019.ps.gz, 19960605 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871019 A COMPLETE SET OF SATISFACTION RULES FOR PROPERTY DETECTION IN DISTRIBUTED COMPUTATIONS MICHEL HURFIN, MAZAAKI MIZUNO
	ftp://ftp.irisa.fr/techreports/1996/PI-1021.ps.gz, 19960614 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871021 A UNIFORM AND AUTOMATIC APPROACH TO COPY ELIMINATION IN SYSTEM EXTENSIONS VIA PROGRAM SPECIALIZATION EUGEN NICOLAE
	ftp://ftp.irisa.fr/techreports/1996/PI-1031.ps.gz, 19960619 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871031 SKEWED BRANCH PREDICTORS PIERRE MICHAUD, ANDR E SEZNEC, RICHARD UHLIG INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1996/PI-1015.ps.gz, 19960619 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871015 NORMALITY: A CONSISTENCY CONDITION FOR CONCURRENT OBJECTS VIJAY K. GARG , MICHEL RAYNAL INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-1018.ps.gz, 19960619 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871018 EFFICIENT MESSAGE LOGGING FOR UNCOORDINATED CHECKPOINTING PROTOCOLS ACHOUR MOSTEFAOUI , MICHEL RAYNAL INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1996/PI-1030.ps.gz, 19960619 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871030 BROADCAST WITH TIME AND CAUSALITY CONSTRAINTS FOR MULTIMEDIA APPLICATIONS R. BALDONI , R. PRAKASH , M. RAYNAL , M.
	ftp://ftp.irisa.fr/techreports/1996/PI-1033.ps.gz, 19960619 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871033 SENSITIVITY ANALYSIS OF STIFF MARKOV PROCESSES HA SCAM ABDALLAH INSTITUT DE RECHERCHEEN INFORMATIQUE ET SYST OEEMES AL
	ftp://ftp.irisa.fr/techreports/1996/PI-1032.ps.gz, 19960619 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871032 Salto: SYSTEM FOR ASSEMBLY-LANGUAGE TRANSFORMATION AND OPTIMIZATION ERVEN ROHOU, FRAN COIS BODIN, ANDR E SEZNEC,
	ftp://ftp.irisa.fr/techreports/1996/PI-989.ps.gz, 19960704 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687989 STRUCTURED GAMMA PASCAL FRADET AND DANIEL LE M ETAYER INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES AL EATOIRES
	ftp://ftp.irisa.fr/techreports/1996/PI-1035.ps.gz, 19960705 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871035 AN EXPERIMENT IN AUTOMATIC GENERATION OF TEST SUITES FOR PROTOCOLS WITH VERIFICATION TECHNOLOGY JEAN-CLAUDE FERNANDEZ,
	ftp://ftp.irisa.fr/techreports/1996/PI-1034.ps.gz, 19960711 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871034 STRUCTURATION DE SC OEENES ARCHITECTURALES COMPLEXES EN VUE DE SIMULATION D' ECLAIRAGE. D. MENEVEAUX, E. MAISEL, F.
	ftp://ftp.irisa.fr/techreports/1996/PI-1038.ps.gz, 19960719 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871038 A NEW STABLE ALGORITHM FOR COMPUTING STEADY STATE MEASURES FOR MARKOV CHAINS ALESSANDRO MERLO , BRUNO SERICOLA AND
	ftp://ftp.irisa.fr/techreports/1996/PI-997.ps.gz, 19960719 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687997 BRANCH PREDICTION AND SIMULTANEOUS MULTITHREADING (V2) S BASTIEN HILY & ANDR SEZNEC INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-1037.ps.gz, 19960905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871037 PARALLEL COMPUTATION OF SPECTRAL PORTRAIT OF LARGE MATRICES VINCENT HEUVELINE AND MILOUD SADKANE INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1996/PI-1029.ps.gz, 19960905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871029 FAULT-TOLERANT DISTRIBUTED SYSTEMS: A MODULAR APPROACH TO THE NON-BLOCKING ATOMIC COMMITMENT PROBLEM MICHEL RAYNAL
	ftp://ftp.irisa.fr/techreports/1996/PI-1039.ps.gz, 19960905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871039 AN ADAPTIVE ARCHITECTURE FOR CAUSALLY CONSISTENT DISTRIBUTED SERVICES MUSTAQUE AHAMAD , MICHEL RAYNAL , G ERARD
	ftp://ftp.irisa.fr/techreports/1996/PI-1028.ps.gz, 19960905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871028 GEOMETRIC ERGODICITY IN HIDDEN MARKOV MODELS FRANCOIS LE GLAND, LAURENT MEVEL INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-1040.ps.gz, 19960905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871040 PERFORMABILITY ANALYSIS OF TWO APPROACHES TO FAULT TOLERANCE PHILIPPE JOUBERT, GERARDO RUBINO AND BRUNO SERICOLA
	ftp://ftp.irisa.fr/techreports/1996/PI-1041.ps.gz, 19960905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871041 UNE APPROCHE POUR DES CAPTEURS D'ALARMES INTELLIGENTS DANS LES R ESEAUX REN EE BOUBOUR ET CLAUDE JARD INSTITUT DE
	ftp://ftp.irisa.fr/techreports/theses/1996/nougaret.ps.gz, 19960906 No d'ordre : 1591 THESE A pr esenter devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Jean-Luc NOUGARET Titre de la th ese Contr^ole du mouvement pour l'animation
	ftp://ftp.irisa.fr/techreports/theses/1996/montaut.ps.gz, 19960910 No d'Ordre : 1467 THESE Pr esent ee devant L'Universit e de Rennes I Institut de Formation Sup erieure en Informatique et Communication Pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention INFORMATIQUE par Thierry MONTAUT Sujet M ethodes pour l' elimination du faux-partage et
	ftp://ftp.irisa.fr/techreports/1996/PI-1044.ps.gz, 19960916 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871044 ABSTRACTIONS PAR OUBLI ET SYNTH OEESE D'INFORMATIONS DANS LES REPR ESENTATIONS OEA OBJETS ST EPHANE LE PEUTREC, SOPHIE
	ftp://ftp.irisa.fr/techreports/1996/PI-1045.ps.gz, 19960916 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871045 ASYMPTOTIC RESULTS FOR THE SUPERPOSITION OF A LARGE NUMBER OF DATA CONNECTIONS ON AN ATM LINK ALAIN DUPUIS, FABRICE
	ftp://ftp.irisa.fr/techreports/1996/PI-1017.ps.gz, 19961016 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871017 EXTENSION OF THE ALPHA LANGUAGE TO RECURRENCES ON SPARSE PERIODIC DOMAINS PATRICE QUINTON, SANJAY RAJOPADHYE, TANGUY
	ftp://ftp.irisa.fr/techreports/1996/PI-1016.ps.gz, 19961016 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871016 ON MANIPULATING Z-POLYHEDRA PATRICE QUINTON, SANJAY RAJOPADHYE, TANGUY RISSET INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-1042.ps.gz, 19961016 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871042 ARNOLDI-FABER METHOD FOR LARGE NON HERMITIAN EIGENVALUE PROBLEMS VINCENT HEUVELINE AND MILOUD SADKANE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1996/PI-1051.ps.gz, 19961017 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871051 AUTOMATIC SYNTHESIS OF REGULAR ARCHITECTURES OPTIMIZED AT THE BIT LEVEL FLORENT DE DINECHIN, PATRICIA LE MO ENNER
	ftp://ftp.irisa.fr/techreports/1996/PI-1043.ps.gz, 19961017 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871043 A NOTE ON THE SPECTRAL PORTRAIT OF MATRICES S. K. GODUNOV AND M. SADKANE INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1996/PI-1050.ps.gz, 19961017 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871050 BOUNDED NORMAL APPROXIMATION IN HIGHLY RELIABLE MARKOVIAN SYSTEMS BRUNO TUFFIN INSTITUT DE RECHERCHEEN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-1055.ps.gz, 19961017 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871055 VISIBILITY MASKS FOR SOLVING COMPLEX RADIOSITY COMPUTATIONS ON MULTIPROCESSORS BRUNO ARNALDI, THIERRY PRIOL, LUC
	ftp://ftp.irisa.fr/techreports/1996/PI-1054.ps.gz, 19961017 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871054 A FRAMEWORK OF APPLICATION GENERATOR DESIGN CHARLES CONSEL, SCOTT THIBAULT INSTITUT DE RECHERCHEEN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-1046.ps.gz, 19961021 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871046 SPLITTING OF ACTIONS, HIGHER-DIMENSIONAL AUTOMATA, AND NET SYNTHESIS ERIC BADOUEL INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1996/PI-1049.ps.gz, 19961021 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871049 CONSISTENT STATE RESTORATION IN SHARED MEMORY SYSTEMS R. BALDONI , J.M. H ELARY , A. MOSTEFAOUI , M. RAYNAL INSTITUT
	ftp://ftp.irisa.fr/techreports/1996/PI-1060.ps.gz, 19961030 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871060 ON THE USE OF LOW DISCREPANCY SEQUENCES IN MONTE CARLO METHODS BRUNO TUFFIN INSTITUT DE RECHERCHEEN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1996/PI-1056.ps.gz, 19961030 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871056 G EN ERATION DE PLANS DE REPRISE DE SERVICE POUR LES R ESEAUX DE DISTRIBUTION D'EDF SYLVIE THI EBAUX, MARIE-ODILE
	ftp://ftp.irisa.fr/techreports/1996/PI-1053.ps.gz, 19961030 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENo I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 1053 A real-time hw/sw co-design approach based on the SIGNAL language and its environment A. Kountouris, C. Wolinski
	ftp://ftp.irisa.fr/techreports/habilitations/delyon.ps.gz, 19961105 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Bernard Delyon Etudes d'algorithmes d'estimation adaptative soutenue le 27 juin 1996 devant le jury compos e de Mme. Marie Duflo Pr esident MM
	ftp://ftp.irisa.fr/techreports/habilitations/iouditski.ps.gz, 19961106 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Anatoli Iouditski L'identification et la commande adaptative: une approche par la th eorie de l'information soutenue le 26 janvier 1996 devant le
	ftp://ftp.irisa.fr/techreports/theses/1996/bensalah.ps.gz, 19961220 No d'Ordre : 1393 THESE Pr esent ee devant L'Universit e de Rennes I U.F.R. Structure et Propri et es de la Mati ere Pour obtenir Le Titre de Docteur de l'Universit e de Rennes I Mention Traitement du Signal et T el ecommunications par Farabi BENSALAH Titre de la th ese Estimation du mouvement par
	ftp://ftp.irisa.fr/techreports/1996/PI-1057.ps.gz, 19970324 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871057 ADAPTATIVE MULTIGRID AND VARIABLE PARAMETERIZATION FOR OPTICAL-FLOW ESTIMATION E. M EMIN AND P. P EREZ INSTITUT DE
	ftp://ftp.irisa.fr/techreports/theses/1996/cabillic.ps.gz, 19970402 Num ero d'ordre : 1621 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE Ecole Doctorale : Sciences pour l'ing enieur PAR Gilbert CABILLIC Equipe d'accueil : IRISA (projet SOLIDOR) Composante universitaire : IFSIC Titre
	ftp://ftp.irisa.fr/techreports/theses/1996/fabre.ps.gz, 19970402 No d'Ordre : 1651 TH ESE Pr esent ee devant L'Universit e de Rennes I Institut de Formation Sup erieure en Informatique et Communication Pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention INFORMATIQUE Titre de la th ese Interpr etation automatique des s equences binominales en anglais
	ftp://ftp.irisa.fr/techreports/theses/1996/quemener.ps.gz, 19970402 No d'ordre : 1681 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Yves-Marie Quemener V erification de protocoles a espace d' etats infini repr
	ftp://ftp.irisa.fr/techreports/theses/1996/noel.ps.gz, 19970402 N. d'ordre : 1618 TH ESE pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir le grade de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Fran cois No el Sujet de la th ese Sp ecialisation dynamique de code par
	ftp://ftp.irisa.fr/techreports/theses/1997/schmitt.ps.gz, 19970402 No Ordre : 1758. TH ESE pr esent ee devant l'UNIVERSIT E de RENNES I Institut de Formation Sup erieure en Informatique et Communication pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention Informatique par Vincent Schmitt REPR ESENTATIONS FINIES DE COMPORTEMENTS CONCURRENTS Soutenue le
	ftp://ftp.irisa.fr/techreports/theses/1997/anquetil.ps.gz, 19970402 No d ordre : 1712 TH SE pr sent e devant L UNIVERSIT DE RENNES I Institut de Formation Sup rieure en Informatique et Communication (Sciences pour l Ing nieur) pour obtenir le titre de Docteur de l Universit de Rennes I mention Informatique par Eric ANQUETIL Mod lisation et reconnaissance par la logique
	ftp://ftp.irisa.fr/techreports/1997/PI-1090.ps.gz, 19970408 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871090 UNE M ETHODE STABLE DE BLOC-DIAGONALISATION DE MATRICES: APPLICATION AU CALCUL DE PORTRAIT SPECTRAL PIERRE-FRAN COIS
	ftp://ftp.irisa.fr/techreports/1997/PI-1095.ps.gz, 19970408 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871095 PARALL ELISATION DE CALCULS D' ORBITES JOCELYNE ERHEL , BERNARD PHILIPPE , ST EPHANIE RAULT INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1997/PI-1076.ps.gz, 19970409 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871076 A COMMUNICATION-INDUCED CHECKPOINTING PROTOCOL THAT ENSURES ROLLBACK-DEPENDENCY TRACKABILITY R. BALDONI , J.M. H ELARY
	ftp://ftp.irisa.fr/techreports/1997/PI-1098.ps.gz, 19970411 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871098 A SIMPLEX-LIKE ALGORITHM FOR INTERVAL LINEAR SYSTEMS. O. BEAUMONT INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES
	ftp://ftp.irisa.fr/techreports/1996/PI-999.ps.gz, 19970414 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687999 OPTIMAL TILING OF TWO-DIMENSIONAL UNIFORM RECURRENCES R. ANDONOV , S. RAJOPADHYE INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1997/PI-1096.ps.gz, 19970421 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871096 A NEW PARTITIONING METHOD FOR ARCHITECTURAL ENVIRONMENTS DANIEL MENEVEAUX, ERIC MAISEL AND KADI BOUATOUCH INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1997/PI-1078.ps.gz, 19970421 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871078 COMPARING CLASSIFICATION TREE STRUCTURES : A SPECIAL CASE OF COMPARING Q-ARY RELATIONS ISRA EL-C ESAR LERMAN INSTITUT
	ftp://ftp.irisa.fr/techreports/1997/PI-1099.ps.gz, 19970421 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871099 TRANSIENT ANALYSIS OF STOCHASTIC FLUID MODELS BRUNO SERICOLA INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES AL
	ftp://ftp.irisa.fr/techreports/1997/PI-1097.ps.gz, 19970421 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871097 MEMORY MANAGEMENT SCHEMES FOR RADIOSITY COMPUTATION IN COMPLEX ENVIRONMENTS DANIEL MENEVEAUX, KADI BOUATOUCH AND ERIC
	ftp://ftp.irisa.fr/techreports/1993/PI-702.ps.gz, 19970423 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-8687 No 702 F EVRIER 1993 FORTRAN S: A FORTRAN INTERFACE FOR SHARED VIRTUAL MEMORY ARCHITECTURES FRAN COIS BODIN, LIONEL
	ftp://ftp.irisa.fr/techreports/1997/PI-1101.ps.gz, 19970423 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871101 SYNET : UN OUTIL DE SYNTH OEESE DE R ESEAUX DE PETRI BORN ES, APPLICATIONS BENO IT CAILLAUD INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1997/PI-1071.ps.gz, 19970430 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871071 AN EFFICIENT AND SCALABLE APPROACH FOR IMPLEMENTING FAULT TOLERANT DSM ARCHITECTURES CHRISTINE MORIN, ANNE-MARIE
	ftp://ftp.irisa.fr/techreports/1996/PI-1066.ps.gz, 19970521 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871066 A LIGHTWEIGHT SOLUTION TO UNIFORM ATOMIC BROADCAST FOR ASYNCHRONOUS SYSTEMS: PROOFS EMMANUELLE ANCEAUME INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1996/PI-1000.ps.gz, 19970526 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871000 ACCURATE DATA DISTRIBUTION INTO BLOCKS MAY BOOST CACHE PERFORMANCE DAN N. TRUONG, FRAN OIS BODIN, ANDR SEZNEC INSTITUT
	ftp://ftp.irisa.fr/techreports/1997/PI-1105.ps.gz, 19970526 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871105 COMMUNICATION-BASED PREVENTION OF USELESS CHECKPOINTS IN DISTRIBUTED COMPUTATIONS JEAN-MICHEL H ELARY, ACHOUR
	ftp://ftp.irisa.fr/techreports/1997/PI-1106.ps.gz, 19970527 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871106 CONSISTENCY ISSUES IN DISTRIBUTED CHECKPOINTS JEAN-MICHEL H ELARY , ROBERT NETZER , MICHEL RAYNAL INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1997/PI-1107.ps.gz, 19970529 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871107 ROLLBACK-DEPENDENCY TRACKABILITY: AN OPTIMAL CHARACTERIZATION AND ITS PROTOCOL ROBERTO BALDONI , JEAN-MICHEL H ELARY ,
	ftp://ftp.irisa.fr/techreports/1997/PI-1104.ps.gz, 19970602 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871104 ON THE RELATIONSHIP BETWEEN IDENTIFICATION AND LOCAL TESTS BERNARD DELYON , ANATOLI JUDITSKY , ALBERT BENVENISTE
	ftp://ftp.irisa.fr/techreports/theses/resumes_de_these/resumes-1996.ps.gz, 19970610 { Bertrand Co uasnon - 19 janvier 1996 Segmentation et reconnaissance de documents guid ees par la connaissance a priori : application aux partitions musicales R esum e Cette th ese s'int eresse a la reconnaissance optique de documents. Dans ce cadre, la fiabilit e est importante afin que l'utilisateur
	ftp://ftp.irisa.fr/techreports/1997/PI-1110.ps.gz, 19970612 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871110 EVOLUTION DES GAMMES DE PROCESSEURS MIPS, DEC ALPHA, POWERPC, SPARC, X86 ET PA-RISC ANDR E SEZNEC, THIERRY LAFAGE
	ftp://ftp.irisa.fr/techreports/1997/PI-1109.ps.gz, 19970612 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871109 UN SYST OEEME DE MODULES AVANC E POUR SIGNAL DAVID NOWAK, JEAN-PIERRE TALPIN, THIERRY GAUTIER INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/theses/1997/chelle.ps.gz, 19970613 No d'ordre : 1764 TH ESE Pr esent ee devant L'UNIVERSIT E DE RENNES I Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes I Mention Informatique par Micha el Chelle Titre de la th ese D eveloppement d'un mod ele de radiosit e
	ftp://ftp.irisa.fr/techreports/1993/resumes-1993.ps.gz, 19970617 P.I. n 694 M ecanismes d'abstraction dans une repr esentation de la connaissance centr ee objet (R.C.O.) St ephane Le Peutrec, Sophie Robin 40 pages - janvier 1993 R esum e : Les travaux r ealis es sur l'abstraction se situent soit dans le cadre de la d emonstration, soit dans le cadre de
	ftp://ftp.irisa.fr/techreports/1996/resumes-1996.ps.gz, 19970617 PI-980 : Un algorithme d'inf erence pour la v erification statique de manipulation de pointeurs Pascal Fradet, Ronan Gaugne and Daniel Le M etayer 33 pages - janvier 1996 R esum e L'utilisation incorrecte de pointeurs est une des sources d'erreurs les plus r epandues. Par cons equent, tout v erificateur
	ftp://ftp.irisa.fr/techreports/theses/1994/noye.ps.gz, 19970617 No d'ordre : 1275 TH ESE pr esent ee devant l'Universit e de Rennes I Institut de Formation Sup erieure en Informatique et Communication pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention Informatique Doctor Communitatis Europeae Elagage de contexte, retour arri ere superficiel,
	ftp://ftp.irisa.fr/techreports/1995/resumes-1995.ps.gz, 19970617 P.I. n 889 Halting problem for one-state Turing machines Yannick Saouter 18 pages - mars 1995 Abstract : In , Turing has established the well-known result of the indecidability of the general halting problem of Turing machines. It is also well known that there exists entire classes of Turing machines
	ftp://ftp.irisa.fr/techreports/1994/resumes-1994.ps.gz, 19970617 P.I. n 783 IPF : un langage pour le traitement d'image sur architecture SIMD : d efinition et performances Yves Robin, Benoit Gu erin, Fran cois Bodin 38 pages - janvier 1994 R esum e : Cet article pr esente le langage IPF (Image Processing Fortran) et une premi ere version de son compilateur sur DECmpp
	ftp://ftp.irisa.fr/techreports/theses/1995/bareau.ps.gz, 19970619 N d'ordre : 1395 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Cyrille Bareau Distribution automatique de programmes s equentiels : etude
	ftp://ftp.irisa.fr/techreports/theses/1995/nzomigni.ps.gz, 19970619 No d'ordre : 1389 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES I U.F.R. Structure et Propri et es de la Mati ere pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention : Traitement du Signal et T el ecommunications par Victor NZOMIGNI Compression sans pertes de s equences d'images
	ftp://ftp.irisa.fr/techreports/theses/1995/choquet.ps.gz, 19970619 No d'ordre : 1499 THESE A pr esenter devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le grade de : Docteur de l'Universit e de Rennes 1 Mention informatique par R emi Choquet Etude de la m ethode de Newton-GMRES. Application aux equations
	ftp://ftp.irisa.fr/techreports/theses/1995/tremois.ps.gz, 19970619 No d'ordre : 1395 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES I U.F.R. S.P.M. pour obtenir le grade de Docteur de l'Universit e de Rennes I Mention : Traitement du Signal et T el ecommunications par Olivier TR EMOIS Etude de m ethodes de trajectographie pour des sources manoeuvrantes Soutenue le
	ftp://ftp.irisa.fr/techreports/theses/1995/amagbegnon.ps.gz, 19970619 N. d'ordre : 1482 THESE A pr esenter devant l'Universit e de Rennes 1 Institut de Formation Sup erieur en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Toch eou Pascalin AMAGBEGNON Titre de la th ese Forme canonique arborescente des
	ftp://ftp.irisa.fr/techreports/theses/1995/maheo.ps.gz, 19970619 No d'ordre : 1404 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Yves Mah eo Environnement pour la compilation dirig ee par les donn ees :
	ftp://ftp.irisa.fr/techreports/theses/1994/belhadj.ps.gz, 19970619 N. d'ordre : 1228 THESE A pre senter devant l'Universite de Rennes 1 Institut de Formation Supe rieur en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universite de Rennes 1 Mention INFORMATIQUE par Mohammed BELHADJ Titre de la the se CONCEPTION D'ARCHITECTURES EN UTILISANT SIGNAL
	ftp://ftp.irisa.fr/techreports/theses/1995/stephan.ps.gz, 19970619 No d'ordre : 1417 THESE pr esent ee devant L'Universit e de Rennes I Institut de Formation Sup erieure en Informatique et Communication pour obtenir le titre de Docteur de l'Universit e de Rennes I mention Informatique Nouvelles fondations pour la programmation en logique disjonctive par Igor St ephan
	ftp://ftp.irisa.fr/techreports/theses/1995/peyrouze.ps.gz, 19970620 THESE pr sent e devant l Universit de Rennes I Institut de Formation Sup rieure en Informatique et Communication pour obtenir Le titre de Docteur de l Universit de Rennes I Mention Informatique par Nadine PEYROUZE Titre de la th se Conception et r alisation d un syst me de gestion de fichiers NFS
	ftp://ftp.irisa.fr/techreports/theses/1995/andre.ps.gz, 19970620 No d'Ordre : 1401 THESE pr esent ee devant L'UNIVERSITE DE RENNES I Institut de Formation Sup erieure en Informatique et Communication pour obtenir le titre de DOCTEUR DE L'UNIVERSITE DE RENNES I Mention Informatique par Pascal ANDRE Sujet de la th ese M ethodes formelles et a objets pour le d
	ftp://ftp.irisa.fr/techreports/1997/PI-1108.ps.gz, 19970623 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871108 POINTS DE CONTR OLE COH ERENTS DANS LES SYST OEEMES R EPARTIS : CONCEPTS ET PROTOCOLES J.-M. H ELARY , A. MOSTEFAOUI ,
	ftp://ftp.irisa.fr/techreports/theses/1997/heuveline.ps.gz, 19970624 No d'ordre: 1757 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication pour obtenir le titre de : Docteur de l'Universit e de Rennes 1 Mention Informatique par Vincent Heuveline Equipe d'accueil : ALADIN Composante universitaire : IRISA
	ftp://ftp.irisa.fr/techreports/theses/1997/hily.ps.gz, 19970704 No d'ordre : 1700 Th ese pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de : DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : informatique Ecole Doctorale : Sciences Pour l'Ing enieur PAR S ebastien Hily Equipe d'accueil : IRISA Composante universitaire : IFSIC Titre de la th ese :
	ftp://ftp.irisa.fr/techreports/1997/PI-1114.ps.gz, 19970707 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871114 A NEW CASE FOR SKEWED-ASSOCIATIVITY ANDR E SEZNEC INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES AL EATOIRES
	ftp://ftp.irisa.fr/techreports/theses/1997/danna.ps.gz, 19970710 No d'ordre : 1705 Th se pr sent e devant l'Universit de Rennes 1 pour obtenir le grade de : Docteur de l'Universit de Rennes 1 Mention : Informatique cole Doctorale : Sciences Pour l'Ing nieur par Fr d ric Danna quipe d'accueil : Irisa Composante universitaire : Ifsic Titre de la th se : Mod lisation de
	ftp://ftp.irisa.fr/techreports/1997/PI-1100.ps.gz, 19970710 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871100 MODELING RAILWAY CONTROL SYSTEMS USING GRAPH GRAMMARS: A CASE STUDY ANNE-ALEXANDRA HOLZBACHER, MICHA EL P ERIN, MARIO
	ftp://ftp.irisa.fr/techreports/1997/PI-1116.ps.gz, 19970711 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871116 FACTORING ALGORITHM FOR COUNTING THE NUMBER OF (S; T )-MINCUTS OF EACH SIZE ST EPHANE BULTEAU INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1997/PI-1115.ps.gz, 19970711 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871115 GEOMETRIC CONVERGENCE OF MARKOV CHAINS THROUGH A LOCAL DOEBLIN CONDITION B. DELYON INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/theses/1997/leleu.ps.gz, 19970721 Num ero d'ordre : 1770 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE Ecole Doctorale : Sciences pour l'ing enieur PAR Fr ed eric LELEU Equipe d'accueil : IRISA (projet SOLIDOR) Composante universitaire : IFSIC Titre
	ftp://ftp.irisa.fr/techreports/1996/PI-1068.ps.gz, 19970806 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871068 SCALING UP PARTIAL EVALUATION FOR OPTIMIZING THE SUN COMMERCIAL RPC PROTOCOL GILLES MULLER , EUGEN-NICOLAE VOLANSCHI ,
	ftp://ftp.irisa.fr/techreports/1997/PI-1117.ps.gz, 19970807 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871117 A PETRI NET APPROACH TO FAULT DETECTION AND DIAGNOSIS IN DISTRIBUTED SYSTEMS ARMEN AGHASARYAN, REN EE BOUBOUR, ERIC
	ftp://ftp.irisa.fr/techreports/1997/PI-1111.ps.gz, 19970807 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871111 MAPPING SOFTWARE ARCHITECTURES TO EFFICIENT IMPLEMENTATIONS VIA PARTIAL EVALUATION RENAUD MARLET , SCOTT THIBAULT ,
	ftp://ftp.irisa.fr/techreports/1997/PI-1112.ps.gz, 19970807 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871112 A DOMAIN-SPECIFIC LANGUAGE FOR VIDEO DEVICE DRIVERS: FROM DESIGN TO IMPLEMENTATION SCOTT THIBAULT , RENAUD MARLET ,
	ftp://ftp.irisa.fr/techreports/1997/PI-1094.ps.gz, 19970807 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871094 FAST, OPTIMIZED SUN RPC USING AUTOMATIC PROGRAM SPECIALIZATION GILLES MULLER , RENAUD MARLET , EUGEN-NICOLAE VOLANSCHI
	ftp://ftp.irisa.fr/techreports/1997/PI-1121.ps.gz, 19970904 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871121 ON MINIMAX PREDICTION FOR NONPARAMETRIC AUTOREGRESSIVE MODELS ANATOLI JUDITSKY , BERNARD DELYON INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1997/PI-1118.ps.gz, 19970904 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871118 FAST ASYNCHRONOUS CONSENSUS BASED ON A WEAK FAILURE DETECTOR MICHEL HURFIN , MICHEL RAYNAL INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1997/PI-1119.ps.gz, 19970904 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871119 STATIC DEBUGGING OF C PROGRAMS: DETECTION OF POINTER ERRORS IN RECURSIVE DATA STRUCTURES RONAN GAUGNE INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1997/PI-1120.ps.gz, 19970905 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871120 TOWARDS EFFICIENT PARALLEL RADIOSITY FOR DSM-BASED PARALLEL COMPUTERS USING VIRTUAL INTERFACES LUC RENAMBOT , BRUNO
	ftp://ftp.irisa.fr/techreports/theses/1995/kervrann/kervrann-part1.ps.gz, 19970909 No d'ordre : 1531 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES I U.F.R. Structure et Propri et es de la Mati ere pour obtenir le titre de Docteur de l'Universit e de Rennes I Mention : Traitement du Signal et T el ecommunications par Charles KERVRANN Mod eles statistiques pour la segmentation et le
	ftp://ftp.irisa.fr/techreports/theses/1995/kervrann/kervrann-part2.ps.gz, 19970909 Chapitre 5 Suivi du mod ele d eformable dans une s equence d'images La prise en compte de la coh erence du mouvement de la structure d eformable dans le cadre de techniques de suivi am eliore sensiblement la qualit e de la segmentation. Dans le chapitre pr ec edent, nous avons montr e que les techniques
	ftp://ftp.irisa.fr/techreports/theses/1995/kervrann/kervrann-part3.ps.gz, 19970909 Chapitre 6 Mesure du mouvement pour le suivi et la segmentation de structures d eformables L'information spatio-temporelle est essentielle a la compr ehension du contenu d'une sc ene. La perception du mouvement facilite, en effet dans bien des cas, l'estimation de la profondeur d'une pi ece ou la
	ftp://ftp.irisa.fr/techreports/theses/1997/leroy/leroy2.ps.gz, 19970911 Deuxi eme partie Caract erisation du style de l' ecriture et adaptation 157 1. Corr elations entre caract eristiques de l' ecriture. Chapitre 1 Corr elations entre caract eristiques de l' ecriture. 1.1 Introduction La premi ere partie de ce m emoire d ecrit une approche descendante de reconnaissance de
	ftp://ftp.irisa.fr/techreports/theses/1997/leroy/leroy4.ps.gz, 19970911 2. Adaptation des diff erentes phases de la reconnaissance a un scripteur ou a un style d' ecriture Chapitre 2 Adaptation des diff erentes phases de la reconnaissance a un scripteur ou a un style d' ecriture 2.1 Introduction Nous profitons de l'information sur le type d' ecriture que nous pouvons
	ftp://ftp.irisa.fr/techreports/theses/1997/leroy/leroy3.ps.gz, 19970911 1. Corr elations entre caract eristiques de l' ecriture. 1.7. Partition en classes Fig. 1.17 { Echantillon 1 de la classe 1 Fig. 1.18 { Echantillon 2 de la classe 1 classe 1 : hach ee (comportant beaucoup de traits), petite de corps, simplifi ee comportant peu de mouvements descendants, peu de boucles n
	ftp://ftp.irisa.fr/techreports/1997/PI-1123.ps.gz, 19970912 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871123 RECHERCHE MULTIPLE D'ASSOCIATION D'EXPRESSIONS R EGULI OEERES FLEXIBLES DANS LES GRANDES S EQUENCES G EN ETIQUES.
	ftp://ftp.irisa.fr/techreports/1997/PI-1124.ps.gz, 19970915 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871124 ENVIRONNEMENT DE CONCEPTION D'AUTOMATISMES DISCRETS BAS E SUR LE LANGAGE SIGNAL P. BOURNAI, M. LE BORGNE, H. MARCHAND
	ftp://ftp.irisa.fr/techreports/1997/PI-1122.ps.gz, 19970915 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871122 ON-BOARD COMPONENT FAULT DETECTION AND ISOLATION USING THE STATISTICAL LOCAL APPROACH MICH OEELE BASSEVILLE INSTITUT
	ftp://ftp.irisa.fr/techreports/1997/PI-1127.ps.gz, 19970923 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871127 OPIUM: AN EXTENDABLE TRACE ANALYSER FOR PROLOG MIREILLE DUCASS E, IRISA/INSA INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1997/PI-1128.ps.gz, 19970925 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871128 PARALL ELISATION D'UNE COMBINAISON DES M ETHODES DE MONTE CARLO ET QUASI-MONTE CARLO ET APPLICATION AUX R ESEAUX DE
	ftp://ftp.irisa.fr/techreports/theses/1996/bons.ps.gz, 19970925 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Chapitre 1 La connaissance des usages domestiques de l lectricit . . . . . . . . . . . . . . 7 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
	ftp://ftp.irisa.fr/techreports/1997/PI-1130.ps.gz, 19970926 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871130 ANALYSE SYNTAXIQUE NON D ETERMINISTE UTILISANT UN MOD OEELE DE N-GRAMS CHRISTINE SINOQUET - JACQUES NICOLAS INSTITUT
	ftp://ftp.irisa.fr/techreports/theses/1997/leroy/leroy1.ps.gz, 19970926 No d'ordre : 1724 Th ese pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de : DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : informatique Ecole Doctorale : Sciences Pour l'Ing enieur PAR Annick LEROY Equipe d'accueil : IRISA Composante universitaire : IFSIC Titre de la th ese :
	ftp://ftp.irisa.fr/techreports/theses/1997/leroy/lisez-moi.ps.gz, 19970929 Reconnaissance de carac ere par approche descendante Caract erisation du style de l ecriture et adaptation Annick Leroy { Premier fichier postscript : (3 mega) Plan Introduction { Premi ere partie Chapitre 1 : Etude bibliographique : reconnaissance de mots Chapitre 2 : Premi ere r eduction de lexique
	ftp://ftp.irisa.fr/techreports/theses/1995/kervrann/lisez-moi.ps.gz, 19970930 Charles Kervrann - 28 novembre 1995 Mod eles statistiques pour la segmentation et le suivi de structures d eformables bidimensionnelles dans une s equence d'images { Premier fichier : kervrann-part1.ps.gz : de la page 1 a la page 120 { Deuxi eme fichier : kervrann-part2.ps.gz : de la page 121 a la page
	ftp://ftp.irisa.fr/techreports/1997/PI-1129.ps.gz, 19971002 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871129 DIRECT INCREMENTAL MODEL-BASED IMAGE MOTION SEGMENTATION FOR VIDEO ANALYSIS JEAN-MARC ODOBEZ AND PATRICK BOUTHEMY
	ftp://ftp.irisa.fr/techreports/1997/PI-1131.ps.gz, 19971003 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871131 A SYNCHRONOUS APPROACH FOR HARDWARE DESIGN MICHEL ALLEMAND, FRAN COIS BODIN, APOSTOLOS KOUNTOURIS, PAUL LE GUERNIC,
	ftp://ftp.irisa.fr/techreports/habilitations/lavenier.ps.gz, 19971003 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Dominique Lavenier CONCEPTION D'ARCHITECTURES SYSTOLIQUES INTEGREES soutenue le 1er octobre 1997 devant le jury compos e de M. J. Lenfant Pr
	ftp://ftp.irisa.fr/techreports/theses/1997/lher.ps.gz, 19971006 N. d'ordre : 1780 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE par Dominique L'HER Titre de la th ese MOD ELISATION DU GRAFCET TEMPORIS E ET V
	ftp://ftp.irisa.fr/techreports/1997/PI-1103.ps.gz, 19971006 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871103 A TAXONOMY OF CLOCK SYNCHRONIZATION ALGORITHMS EMMANUELLE ANCEAUME AND ISABELLE PUAUT INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1997/PI-1125.ps.gz, 19971007 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871125 PARTIAL ORDER CONTROL AND OPTIMAL CONTROL OF DISCRETE EVENT SYSTEMS MODELED AS POLYNOMIAL DYNAMICAL SYSTEMS OVER
	ftp://ftp.irisa.fr/techreports/theses/1997/roze.ps.gz, 19971009 No d'ordre : 1698 Th ese pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention : Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Laurence Roz e Equipe d'accueil : Irisa Composante universitaire : Ifsic Titre de la th ese :
	ftp://ftp.irisa.fr/techreports/1997/PI-1133.ps.gz, 19971010 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871133 R EDUCTION DES BORNES DE L'ERREUR D'APPROXIMATION DES M ETHODES DE QUASI-MONTE CARLO BRUNO TUFFIN INSTITUT DE
	ftp://ftp.irisa.fr/techreports/theses/1997/billot.ps.gz, 19971013 Num ero d'ordre : 1808 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de Docteur de l'Universit e de Rennes 1 Mention INFORMATIQUE Ecole Doctorale : Sciences pour l'ing enieur PAR Manuel BILLOT Equipe d'accueil : IRISA (projet SOLIDOR) Composante universitaire : IFSIC Titre de
	ftp://ftp.irisa.fr/techreports/1997/PI-1136.ps.gz, 19971017 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871136 AN AUGMENTED SUBSPACE CONJUGATE GRADIENT JOCELYNE ERHEL , FR ED ERIC GUYOMARC'H INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/1997/PI-1132.ps.gz, 19971021 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871132 HADES : A MIDDLEWARE SUPPORT FOR DISTRIBUTED SAFETY-CRITICAL REAL-TIME APPLICATIONS E. ANCEAUME, G. CABILLIC, P.
	ftp://ftp.irisa.fr/techreports/1997/PI-1140.ps.gz, 19971024 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871140 STRUCTURED SCHEDULING OF RECURRENCE EQUATIONS TANGUY RISSET, FLORENT DUPONT DE DINECHIN, AND SOPHIE ROBERT INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1997/PI-1139.ps.gz, 19971103 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871139 PROVIDING RELIABILITY ON DEMAND IN DISTRIBUTED VOD SERVERS M. BILLOT INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/1997/PI-1134.ps.gz, 19971106 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871134 A SCHEME FOR QUALITY OF SERVICE MANAGEMENT IN DISTRIBUTED APPLICATIONS ST EPHANE LORCY, AND NO EL PLOUZEAU INSTITUT DE
	ftp://ftp.irisa.fr/techreports/theses/1997/tuffin.ps.gz, 19971106 No d'Ordre: 1851 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : MATH EMATIQUES ET SES APPLICATIONS Ecole Doctorale de Math ematiques de l'Ouest PAR Bruno TUFFIN UFR : Math ematiques Simulation acc el er ee par les m ethodes de
	ftp://ftp.irisa.fr/techreports/1997/PI-1138.ps.gz, 19971107 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871138 REDUCING THE NUMBER OF BINARY SPLITS, IN DECISION TREE INDUCTION, BY MEANS OF AN HIERARCHICAL CLASSIFICATION ISRA EL-C
	ftp://ftp.irisa.fr/techreports/1997/PI-1146.ps.gz, 19971114 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871146 SOLVING THE CONSENSUS PROBLEM IN A MOBILE ENVIRONMENT NADJIB BADACHE , MICHEL HURFIN , RAIMUNDO MACEDO INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1997/PI-1143.ps.gz, 19971114 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871143 SUBSPACE-BASED FAULT DETECTION AND ISOLATION METHODS - APPLICATION TO VIBRATION MONITORING MICH OEELE BASSEVILLE,
	ftp://ftp.irisa.fr/techreports/1997/PI-1147.ps.gz, 19971117 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871147 A PRACTICAL BUILDING BLOCK FOR SOLVING AGREEMENT PROBLEMS IN ASYNCHRONOUS DISTRIBUTED SYSTEMS MICHEL HURFIN , MICHEL
	ftp://ftp.irisa.fr/techreports/1997/PI-1148.ps.gz, 19971118 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871148 A UNIFIED APPROACH TO SHOT CHANGE DETECTION AND CAMERA MOTION CHARACTERIZATION P. BOUTHEMY, M. GELGON AND F. GANANSIA
	ftp://ftp.irisa.fr/techreports/theses/1997/boubour.ps.gz, 19971118 No d'ordre: 1827 TH ESE Pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Ren ee Boubour Equipe d'accueil : Irisa Composante universitaire : Ifsic Suivi de pannes par corr
	ftp://ftp.irisa.fr/techreports/1997/PI-1142.ps.gz, 19971121 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871142 TOL ERANCE AUX FAUTES DANS LES SYST OEEMES D'EXPLOITATION TEMPS-R EEL OEA S URET E CRITIQUE PASCAL CHEVOCHOT &
	ftp://ftp.irisa.fr/techreports/1997/PI-1149.ps.gz, 19971124 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871149 A FLUID QUEUE DRIVEN BY A MARKOVIAN QUEUE BRUNO SERICOLA AND BRUNO TUFFIN INSTITUT DE RECHERCHE EN INFORMATIQUE ET
	ftp://ftp.irisa.fr/techreports/1997/PI-1113.ps.gz, 19971124 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871113 A PROGRESSIVE ALGORITHM FOR THREE POINT TRANSPORT REYNALD DUMONT, KADI BOUATOUCH, PHILIPPE GOSSELIN INSTITUT DE
	ftp://ftp.irisa.fr/techreports/1997/PI-1126.ps.gz, 19971127 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871126 COMMUNICATION-INDUCED DETERMINATION OF CONSISTENT SNAPSHOTS J.-M. H ELARY , A. MOSTEFAOUI , M. RAYNAL INSTITUT DE
	ftp://ftp.irisa.fr/techreports/theses/1997/le_moenner/moenner1.ps.gz, 19971127 No d'ordre: 1883 TH ESE Pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Patricia Le Mo enner Equipe d'accueil : Irisa Composante universitaire : Ifsic Contribution a la r
	ftp://ftp.irisa.fr/techreports/theses/1997/le_moenner/moenner3.ps.gz, 19971127 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871051 AUTOMATIC SYNTHESIS OF REGULAR ARCHITECTURES OPTIMIZED AT THE BIT LEVEL FLORENT DE DINECHIN, PATRICIA LE MO ENNER
	ftp://ftp.irisa.fr/techreports/theses/1997/le_moenner/lisez-moi.ps, 19971127 Patricia Le Mo enner - 21 novembre 1997 Contribution a la r ealisation d'une cha^ ne compl ete pour la synth ese de circuits r eguliers - le fichier moenner1 correspond a la th ese - le fichier moenner2 correspond a l'annexe F : G en eration de circuits arithm etiques r eguliers avec AlpHard - le
	ftp://ftp.irisa.fr/techreports/theses/1997/le_moenner/moenner2.ps.gz, 19971127 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871001 GENERATING REGULAR ARITHMETIC CIRCUITS WITH AlpHard PATRICIA LE MOENNER, LAURENT PERRAUDEAU, PATRICE QUINTON, SANJAY
	ftp://ftp.irisa.fr/techreports/theses/1997/jouffe.ps.gz, 19971211 No d'ordre : 1789 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES I pour obtenir le grade de Docteur de l'Universit e de Rennes I Mention : Informatique par Lionel Jouffe Equipe d'accueil : IRISA, Rennes Ecole doctorale : Informatique, traitement du signal et t el ecommunications Composante
	ftp://ftp.irisa.fr/techreports/habilitations/pazat.ps.gz, 19971211 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Jean-Louis Pazat G EN ERATION DE CODE R EPARTI PAR DISTRIBUTION DE DONN EES soutenue le 27 novembre 1997 devant le jury compos e de M. Jean-Pierre
	ftp://ftp.irisa.fr/techreports/theses/1997/thiakime.ps.gz, 19971211 No d'ordre: 1858 TH ESE Pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique par G erard Thia-Kime Equipe d'accueil : IRISA Ecole Doctorale : Sciences Pour l'Ing enieur Composante universitaire : IFSIC Titre de la th ese : Crit
	ftp://ftp.irisa.fr/techreports/1997/PI-1154.ps.gz, 19971212 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871154 A FRAMEWORK FOR PARALLEL PROGRAMMING IN JAVA PASCALE LAUNAY AND JEAN-LOUIS PAZAT INSTITUT DE RECHERCHE EN INFORMATIQUE
	ftp://ftp.irisa.fr/techreports/theses/1997/lavallee.ps.gz, 19971219 No d'ordre: 1876 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Pierre-Fran cois Lavall ee Equipe
	ftp://ftp.irisa.fr/techreports/theses/1997/gouranton.ps.gz, 19971219 N. d'ordre : 1845 TH ESE Pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de Docteur de l'Universit e de Rennes 1 mention Informatique par Val erie GOURANTON Equipe d'accueil : IRISA, Institut de Recherche en Informatique et Syst eme Al eatoires Composante universitaire : IFSIC,
	ftp://ftp.irisa.fr/techreports/1997/PI-1157.ps.gz, 19971223 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871157 DETERMINING A STRUCTURED SPATIO-TEMPORAL REPRESENTATION OF VIDEO CONTENT FOR EFFICIENT VISUALISATION AND INDEXING M.
	ftp://ftp.irisa.fr/techreports/theses/1997/hornof.ps.gz, 19971223 N. d'ordre : 1810 TH ESE pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de Docteur de l'Universit e de Rennes 1 Mention : Informatique Ecole Doctorale : Sciences Pour l'Ing enieur Institut de Formation Sup erieure en Informatique et Communication par Luke HORNOF Titre de la th ese
	ftp://ftp.irisa.fr/techreports/theses/1997/marchand.ps.gz, 19971223 No d'ordre : 1828 TH ESE Pr esent ee devant L'UNIVERSIT E DE RENNES I Institut de Formation Sup erieure en Informatique et Communication Pour obtenir Le Titre de DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : INFORMATIQUE par Herv e MARCHAND M ETHODES DE SYNTH ESE D'AUTOMATISMES D ECRITS PAR DES SYST
	ftp://ftp.irisa.fr/techreports/habilitations/jezequel.ps.gz, 19971223 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Jean-Marc J ez equel Programmation fiable et efficace des architectures parall eles distribu ees soutenue le 18 Novembre 1997 devant le jury compos
	ftp://ftp.irisa.fr/techreports/1997/PI-1150.ps.gz, 19971226 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871150 COMPOSITIONALITY IN DATAFLOW SYNCHRONOUS LANGUAGES : SPECIFICATION & CODE GENERATION ALBERT BENVENISTE , PAUL LE
	ftp://ftp.irisa.fr/techreports/theses/1997/robert.ps.gz, 19980106 No d'ordre: 1882 TH ESE Pr esent ee devant l'Universit e de Rennes 1 pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Sophie ROBERT Equipe d'accueil : IRISA Composante universitaire : IFSIC Parall elisation
	ftp://ftp.irisa.fr/techreports/theses/1997/zeghers.ps.gz, 19980106 No d'ordre: 1859 TH ESE pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Eric Zeghers Equipe d'accueil :
	ftp://ftp.irisa.fr/techreports/1997/PI-1144.ps.gz, 19980108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871144 CONSENSUS IN ASYNCHRONOUS SYSTEMS WHERE PROCESSES CAN CRASH AND RECOVER M. HURFIN , A. MOSTEFAOUI , M. RAYNAL INSTITUT
	ftp://ftp.irisa.fr/techreports/1997/PI-1158.ps.gz, 19980108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871158 AN EXTENDED WEIGHTED FAIR QUEUING (EWFQ) ALGORITHM FOR BROADBAND APPLICATIONS INCLUDING MULTICAST TRAFFIC MUDASSIR
	ftp://ftp.irisa.fr/techreports/1997/PI-1159.ps.gz, 19980108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871159 PROPOSING A NEW QUEUE SERVICE SCHEME FOR ABR MULTICAST FLOW MUDASSIR TUFAIL AND BERNARD COUSIN INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1997/PI-1137.ps.gz, 19980108 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871137 SECURITY AND DYNAMIC CLASS LOADING IN JAVA: A FORMALISATION T. JENSEN D. LE M ETAYER T. THORN INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/theses/1997/bulteau.ps.gz, 19980108 No d'Ordre: 1884 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : INFORMATIQUE Ecole Doctorale : SCIENCES POUR L'ING ENIEUR PAR St ephane BULTEAU Equipe d'accueil : IRISA Composante universitaire : IFSIC Etude topologique des r
	ftp://ftp.irisa.fr/techreports/theses/1997/gauvrit.ps.gz, 19980109 No d'ordre: 1847 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Ecole doctorale : Science Pour l'Ing enieur Composante universitaire : U.F.R. S.P.M. Equipe d'accueil : I.R.I.S.A. pour obtenir le grade de Docteur de l'Universit e de Rennes 1 Mention Traitement du signal et T el ecommunications par
	ftp://ftp.irisa.fr/techreports/theses/1997/aubry.ps.gz, 19980112 No d'ordre : 1818 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES 1 pour obtenir le titre de DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : Informatique PAR Pascal AUBRY Equipe d'accueil : Irisa Ecole Doctorale : Sciences Pour L'Ing enieur Composante universitaire : Ifsic TITRE DE LA TH ESE Mises en
	ftp://ftp.irisa.fr/techreports/1998/PI-1156.ps.gz, 19980113 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871156 AN AUTONOMOUS ACTIVE VISION SYSTEM FOR COMPLETE AND ACCURATE 3D SCENE RECONSTRUCTION ERIC MARCHAND, FRAN COIS
	ftp://ftp.irisa.fr/techreports/theses/1997/ricquebourg.ps.gz, 19980113 No d'ordre : 1594 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES I Institut de Formation Sup erieure en Informatique et Communication pour obtenir le grade de Docteur de l'Universit e de Rennes I Mention : Informatique Ecole doctorale : Sciences pour l'ing enieur par Yann Ricquebourg Equipe d'accueil
	ftp://ftp.irisa.fr/techreports/1998/PI-1163.ps.gz, 19980115 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871163 RECONFIGURABLE NETS, A CLASS OF HIGH LEVEL PETRI NETS SUPPORTING DYNAMIC CHANGES WITHIN WORKFLOW SYSTEMS ERIC BADOUEL
	ftp://ftp.irisa.fr/techreports/1998/PI-1164.ps.gz, 19980116 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871164 UNE M ETHODE NON INCR EMENTALE D'HOMOG EN EISATION DE STRUCTURES ELASTOM OEERES APPLICATION AUX COMPOSITES
	ftp://ftp.irisa.fr/techreports/1998/PI-1155.ps.gz, 19980122 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871155 2D FLUID MOTION ANALYSIS FROM A SINGLE IMAGE: APPLICATION TO EXPERIMENTAL VISUALIZATIONS OF FLUID FLOW MARIETTE
	ftp://ftp.irisa.fr/techreports/1997/PI-1153.ps.gz, 19980122 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871153 GCDS: A COMPILER STRATEGY FOR TRADING CODE SIZE AGAINST PERFORMANCE IN EMBEDDED APPLICATIONS FRAN COIS BODIN, ZBIGNIEW
	ftp://ftp.irisa.fr/techreports/theses/1997/mevel.ps.gz, 19980122 Nffi d'ordre : 1865 TH ESE pr esent ee devant L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention MATH EMATIQUES ET APPLICATIONS Ecole doctorale MATH EMATIQUES DE L'OUEST Institut Math ematiques de Rennes par Laurent MEVEL Titre de la th ese : STATISTIQUE
	ftp://ftp.irisa.fr/techreports/theses/1997/cogne.ps.gz, 19980123 No d'ordre: 1888 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Laurent Cogn e Laboratoire
	ftp://ftp.irisa.fr/techreports/habilitations/issarny.ps.gz, 19980209 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Val erie Issarny Architectures logicielles pour syst emes distribu es soutenue le 9 octobre 1997 devant le jury compos e de Mr Michel Raynal Pr
	ftp://ftp.irisa.fr/techreports/1998/PI-1145.ps.gz, 19980209 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871145 BDL, A LANGUAGE OF DISTRIBUTED REACTIVE OBJECTS JEAN-PIERRE TALPIN, ALBERT BENVENISTE, BENOIT CAILLAUD, CLAUDE JARD,
	ftp://ftp.irisa.fr/techreports/theses/1997/lefol.ps.gz, 19980209 No d'ordre: 1826 TH ESE Pr esent ee devant l'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et Communication pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention Informatique Ecole Doctorale : Sciences Pour l'Ing enieur par Gwendal Le Fol Equipe d'accueil :
	ftp://ftp.irisa.fr/techreports/theses/1997/maurizot/maurizot1.ps.gz, 19980210 Nffi d'ordre : 1830 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de : DOCTEUR DE L'UNIVERSIT E DE RENNES 1 Mention : Informatique par Mariette MAURIZOT Equipe d'accueil : IRISA Ecole doctorale : Science pour l'ing enieur Composante universitaire : IFSIC Titre de la th ese :
	ftp://ftp.irisa.fr/techreports/theses/1997/maurizot/maurizot2.ps.gz, 19980210 5.3 Transform ee de Fourier et cepstre de l'image floue 95 Fig. 5.5 { Trac e de la fonction d ecal ee du module de la transform ee de Fourier discr ete de la fonction de flou pour des amplitudes de flou de 5 (decal5) et 12 (decal12), pour un support de taille 64 64. Si nous appliquons la transform ee de
	ftp://ftp.irisa.fr/techreports/theses/1997/maurizot/maurizot3.ps.gz, 19980210 6.2 Estimation du mod ele affine de mouvement 135 Si l'on exploite les equations (6.5) et (6.6), ceci revient a minimiser, sachant que j j = 1 : X X2F g(EX) = X X2F 2 oe2 + ETX 2EX (6.8) A fix e, la minimisation se fait terme a terme, en r esolvant le syst eme compos e des equations
	ftp://ftp.irisa.fr/techreports/1998/PI-1170.ps.gz, 19980211 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871170 SAFE AND EFFICIENT ACTIVE NETWORK PROGRAMMING SCOTT THIBAULT, CHARLES CONSEL, AND GILLES MULLER INSTITUT DE RECHERCHE
	ftp://ftp.irisa.fr/techreports/1998/PI-1171.ps.gz, 19980217 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871171 GENERATION OF DISTRIBUTED PARALLEL JAVA PROGRAMS PASCALE LAUNAY AND JEAN-LOUIS PAZAT INSTITUT DE RECHERCHE EN
	ftp://ftp.irisa.fr/techreports/1997/PI-1141.ps.gz, 19980220 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871141 COBRA: A CORBA-COMPLIANT PROGRAMMING ENVIRONMENT FOR HIGH-PERFORMANCE COMPUTING PIERRICK BEAUGENDRE, THIERRY PRIOL,
	ftp://ftp.irisa.fr/techreports/1998/PI-1172.ps.gz, 19980224 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871172 DERIVING UNBOUNDED PETRI NETS FROM FORMAL LANGUAGES PHILIPPE DARONDEAU INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST
	ftp://ftp.irisa.fr/techreports/habilitations/bodin.ps.gz, 19980225 HABILITATION A DIRIGER DES RECHERCHES pr esent ee devant L'Universit e de Rennes 1 Institut de Formation Sup erieure en Informatique et en Communication par Fran cois Bodin Transformations de programmes pour l'am elioration de performance soutenue le 12 septembre 1997 devant le jury compos e de MM.
	ftp://ftp.irisa.fr/techreports/1998/PI-1167.ps.gz, 19980226 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871167 PROGRAMMABLE PROCESSOR MODELING FOR RETARGETABLE COMPILER DESIGN AND ARCHITECTURE EXPLORATION FRAN COIS CHAROT,
	ftp://ftp.irisa.fr/techreports/theses/1997/aaubry.ps.gz, 19980226 No Ordre: 1931 TH ESE pr esent ee DEVANT L'UNIVERSIT E DE RENNES 1 pour obtenir le grade de : Docteur de l'Universit e de Rennes 1 Mention : Informatique PAR Anne Aubry Equipe d'accueil : IRISA Ecole doctorale : Sciences Pour l'Ing enieur Composante universitaire : IFSIC TITRE DE LA TH ESE : M ethodes
	ftp://ftp.irisa.fr/techreports/1998/PI-1166.ps.gz, 19980227 IRISAINSTITUTDERECHERCHEENINFORMATIQUEETSYST MESAL ATOIRESP U B L I C A T I O NI N T E R N ENoI R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE ISSN 1166-86871166 2D 1/2 VISUAL SERVOING E. MALIS, F. CHAUMETTE AND S. BOUDET INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYST OEEMES AL