Browse

ftp://ftp.cnam.fr (67)

	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-92-14.ps.Z, 19930912 172 BIBLIOGRAPHIE M. Singhal and A. Kshemkalyani. An efficient implementation of vector clocks. Technical Report TR86-31, Ohio Sate University, Department of Computer and Information Science, October 1990. Edward T. Smith. Debugging tools for message-based, communicating processes. In
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-92-17.ps.Z, 19930912 - 1- Definitions and Semantics of Group Membership and Group Connection L. Duchien, J.M. Farinone, G. Florin, J.P. Martin, C. Toinard CNAM, Laboratoire CEDRIC 292, Rue St Martin 75141 Paris cedex 03 - France E-mail: duchien@cnam, farinone@cnam, florin@cnam, martin@cnam, toinard@cnam
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-93-05.ps.Z, 19930912 A map editing kernel implementation: Application to multiple scale display Philippe Rigaux Michel Scholl Agn es Voisardffl rigaux@cnam.cnam.fr Michel.Scholl@inria.fr Agnes.Voisard@inria.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/R_Activity-91-92.ps.Z, 19930912 1 Minist re de l Education Nationale Conservatoire National des Arts et M tiers CENTRE D ETUDES ET DE RECHERCHE EN INFORMATIQUE CNAM RAPPORT D ACTIVITE DU LABORATOIRE DE RECHERCHE 1991-1992 CEDRIC Rapport d activit d cembre 1992 CEDRIC-CNAM CEDRIC-IIE 292, rue Saint-Martin 18, all e Jean Rostand 75141
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-92-19.ps.Z, 19930912 CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS MEMOIRE pr sent en vue d'obtenir le DIPLOME D'INGENIEUR C.N.A.M en INFORMATIQUE par Alain Wandel Conception d un mini-agl pour non-informaticiens d une PME Soutenu le 16 D cembre 1992 JURY PRESIDENT : M. P. MATHELOT MEMBRES : M. T. ADRIEN M. S. ANDOUCHE
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/AFCET_93_1.ps.Z, 19931013 Application de la validation probabiliste a la validation d'un protocole d'appel de procedure a distance (Remote Procedure Call) N. Bennacer G. Florin C. Fraize S. Natkin CEDRIC - Centre d'Etudes et de recherche en Informatique CNAM 292 rue Saint-Martin 75141 Paris Cedex 03
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/PNPM93.ps.Z, 19931014 "Towards a simplified building of time petri nets reachability graph" H.Boucheneb, G.Berthelot Communication to PNPM93, Toulouse, France, 20/22 Septembre 1993 1 TOWARDS A SIMPLIFIED BUILDING OF TIME PETRI NETS REACHABILITY GRAPH Hanifa BOUCHENEB, IIE-CNAM and USTHB Alger G rard BERTHELOT, IIE-CNAM
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/AFCET_93_2.ps.Z, 19931117 PRINCIPES ALGORITHMIQUES DE LA VALIDATION PROBABILISTE PAR SIMULATION A EVENEMENTS RARES N. Bennacer G. Florin S. Natkin CEDRIC - Centre d'Etudes et de recherche en Informatique CNAM 292 rue Saint-Martin 75141 Paris Cedex 03 R esum e La validation probabiliste par simulation guid ee est une nouvelle
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-93-14.ps.Z, 19931213 PROBABILISTIC VALIDATION USING WORST EVENT DRIVEN AND IMPORTANCE SAMPLING SIMULATION N. Bennacer G. Florin S. Natkin CEDRIC - Centre d'Etudes et de recherche en Informatique CNAM 292 rue Saint-Martin 75141 Paris Cedex 03 phone +33 (1) 40 27 20 64 fax +33 (1) 40 27 20 09 e-mail karima@cnam.cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-04.ps.Z, 19940201 Partitioning Problems in Cluster Analysis: A Review of Mathematical Programming Approaches Pierre Hansen GERAD & Ecole des Hautes Etudes Commerciales D epartement des M ethodes Quantitatives et Syst emes d'Information 5255 avenue Decelles Montr eal (Qu ebec) H3T 1V6 Canada Brigitte Jaumard GERAD & Ecole
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-05.ps.Z, 19940331 1 A LOWER BOUND FOR A CONSTRAINED QUADRATIC 0-1 MINIMIZATION PROBLEM(1) Alain BILLIONNET and Alain FAYE CEDRIC, Institut d Informatique d Entreprise, 18 all e Jean Rostand, 91025 Evry cedex, France
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/R_Activity-92-93.ps.Z, 19940407 Minist re de l Education Nationale Conservatoire National des Arts et M tiers CENTRE D ETUDES ET DE RECHERCHE EN INFORMATIQUE CNAM RAPPORT D ACTIVITE DU LABORATOIRE DE RECHERCHE 1992-1993 CEDRIC Rapport d activit d cembre 1993 CEDRIC-CNAM CEDRIC-IIE 292, rue Saint-Martin 18, all e Jean Rostand 75141
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-11.ps.Z, 19940712 1 Analyse en termes d changes de connaissances d un protocole de communication avec groupes tol rant les pertes de messages G. Florin C. Coquery Laboratoire CEDRIC - CNAM 292 rue Saint-Martin 75141 Paris Cedex 03 R sum Cet article est principalement destin la d finition d un protocole original de
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-12.ps.Z, 19940729 L'H ritage Intermittent, nouveau concept pour l' volution de sch mas Xavier Castellani, Houda Benhadid Laboratoire CEDRIC-IIE (CNAM) Equipe Conception de Syst mes d'informations 18 all e Jean Rostand 91025 Evry R sum Le concept d h ritage intermittent est un nouveau concept qui permet de repr senter des
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-13.ps.Z, 19940729 DEPENDANCES D'EXISTENCE : DEFINITIONS FORMELLES ET UTILISATION POUR RECHERCHER DES SOUS-CLASSES Nadira Lammari, R gine Laleau, Mireille Jouve, Xavier Castellani Laboratoire CEDRIC-IIE (CNAM) Equipe Conception de Syst mes d'informations 18 all e Jean Rostand 91025 Evry R sum Ce rapport d crit un
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-13-Annexe.ps.Z, 19940729 23 ANNEXE 1 : R gles de d rivation relatives aux d pendances d'existence1. R gles de derivation1.1 R gles de d rivations relatives aux d pendances de coexistenceCE1 : " X Uobl, " Y Uobl, X Y CE2 : " X Uobl Ufac, " Y X, X Y CE3 : X Y Y XCE 4 : X Y et Y Z fi X Z CE5 : X Y et X Z fi X W, W = Y Z CE6 : W Y,
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-26.ps.gz, 19941006 CONSERVATOIRE NATIONAL DES ARTS ET METIERS PARIS __________________ MEMOIRE pr sent en vue d'obtenir le dipl me D'INGENIEUR C.N.A.M. en INFORMATIQUE par Yves-Olivier METAIS __________________ CONCEPTION ET IMPLANTATION D'UN ORDONNANCEUR A ECHEANCE AU SEIN DU NOYAU CHORUS. ___________________ Soutenu le
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-93-07.ps.Z, 19941015 Database Query Navigation B. Amann1 and M. Scholl2;1 1 INRIA F-78153 Le Chesnay Cedex France 2 Cedric/CNAM 292 rue St Martin 75141 Paris Cedex 03 France Email: @inria.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-92-16.ps.Z, 19941015 Gram: A Graph Data Model and Query Language1 Bernd Amann INRIA F-78153 Le Chesnay Cedex, France Michel Scholl Cedric/CNAM 292 rue St Martin, F-75141 Paris Cedex 03, France
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-93-02.ps.Z, 19941015 HyperPATH/O2: Integrating Hypermedia Systems with Object-Oriented Database Systems B. Amann1, V. Christophides2 and M. Scholl2 1 INRIA F-78153 Le Chesnay Cedex France 2 Cedric/CNAM 292 rue St Martin 75141 Paris Cedex 03 France
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-20.ps.Z, 19941018 1 Un protocole causal diffusion sur groupes pour un nombre de groupe important. Jean Marc FARINONE CNAM-CEDRIC 292, Rue Saint Martin 75003 Paris farinone@cnam.fr Laurent PIERRE UFR SEGMI Universit de Paris X Nanterre 92001 Nanterre Cedex lpierre@parisx.u-paris10.fr R sum Il est important pour un
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-24.ps.gz, 19941215 OPPSI: A PERFORMANCE PREDICTION TOOL FOR PARALLEL SYSTEMS Pierre Cubaud1, Nihal Pekergin 2, Hind Taleb2 (1) CEDRIC-CNAM (2) PRiSM-UVSQ 292 rue Saint-Martin 45 av. des Etats-Unis F- 75003 Paris cubaud@cnam.cnam.fr F-78000 Versailles
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-25.ps.gz, 19941215 - 1 - EVALUATION DES DATES DE TIR D'UN GRAPHE D' V NEMENTS STOCHASTIQUE Pierre Cubaud Laboratoire CEDRIC, Conservatoire National des Arts et M tiers, Paris, France. E-mail: cubaud@cnam.fr R sum Le calcul d'une date de tir dans un graphe d' v nement stochastique peut se ramener au calcul du temps d'ex
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-17.ps.gz, 19941215 A Multiconsistency Memory Protocol Test Environment on Chorus T. Cornilleau, E. Gressier, M-I. Ortega** * Laboratoire Cedric ** Chorus Syst mes Conservatoire National des Arts et M tiers 6, Avenue Gustave Eiffel 292, Rue Saint-Martin F-78182 Saint-Quentin-en-Yvelines F-75141 Paris Cedex 03 E-mail:
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/handmove.ps.gz, 19941216 HANDMOVE: UNDERLYING MODEL Graphical objects in HandMove scenes are called actors. An actor is a two-dimensional object, having a name, geometry and graphical attributes. Graphically, it is represented by a group of primitive objects (segments, ellipses, labels, etc.). Actors can be related to each
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-23.ps.gz, 19950106 1 RAPPORT DE RECHERCHE N 94 - 23 BEST REDUCTION OF THE QUADRATIC SEMI-ASSIGNMENT PROBLEM A. BILLIONNET, S. ELLOUMI 2 BEST REDUCTION OF THE QUADRATIC SEMI-ASSIGNMENT PROBLEM Alain Billionnet CEDRIC, Institut d Informatique d Entreprise, 18 all e Jean Rostand, 91025 Evry cedex, France Sourour Elloumi
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-91-22.ps.gz, 19950106 RAPPORT DE RECHERCHE N 91 - 22 BEST REDUCTION OF THE QUADRATIC SEMI-ASSIGNMENT PROBLEM A. BILLIONNET, S. ELLOUMI 1 AN ALGORITHM FOR FINDING THE K-BEST ALLOCATIONS OF A TREE STRUCTURED PROGRAM Alain Billionnet CEDRIC, Institut d Informatique d Entreprise, 18 all e Jean Rostand, 91025, Evry cedex, France
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-18.ps.gz, 19950116 MMS/TCP/IP : l ments de conception d'une mise en oeuvre avec le syst me Chorus Eric Gressier, Marianne Lefebvre, Laboratoire Cedric CNAM, 292 rue Saint Martin, 75141 Paris Cedex 03 e-mail : lefevre@cnam.fr, Eric.Gressier@cnam.fr 1. Introduction Dans la faisabilit d'une implantation de la
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-09.ps.gz, 19950208 N 94-09 Placement de t ches et Optimisation d'architecture informatique Une application EDF Alain Billionnet - Marie-Christine Costa Wei-Ying Thang 2 Placement de t ches et Optimisation d'architecture informatique Une application EDF Alain Billionnet1, Marie-Christine Costa2 et Wei-Ying Thang3 1
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-10.ps.gz, 19950208 N 94-10 COMPARAISON DE LOGICIELS GENERALISTES POUR LES PROBLEMES DE LOCALISATION ET DE PLACEMENT Marie-Christine Costa et Bertrand Decocq 2 COMPARAISON DE LOGICIELS GENERALISTES POUR LES PROBLEMES DE LOCALISATION ET DE PLACEMENT Marie-Christine Costa* et Bertrand Decocq** 1 Introduction Les probl mes de
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-02.ps.gz, 19950208 1 N 94-02 Solving the Dynamic Facility Location Problem Application to Telecommunication Networks Pierre Chardaire, Marie-Christine Costa and Alain Sutter 2 Solving the Dynamic Facility Location Problem Application to Telecommunication Networks Pierre Chardaire1, Marie-Christine Costa2 and Alain Sutter1
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-03.ps.gz, 19950208 THESE DE DOCTORAT DE L UNIVERSITE PIERRE ET MARIE CURIE PARIS 6 Sp cialit : Informatique par Jo lle DELACROIX UN CONTROLEUR D ORDONNANCEMENT TEMPS REEL POUR LA STABILITE DE EARLIEST DEADLINE EN SURCHARGE : LE REGISSEUR Soutenue le 20 janvier 1994 devant le Jury : Pr sident : C. GIRAULT Directeur de th
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-93-11.ps.gz, 19950222 Enseigner la concurrence entre processus 1 SYNTHESE Ada, pivot d un atelier d enseignement des probl mes fondamentaux de la concurrence entre processus Claude Kaiser Laboratoire CEDRIC et d partement d informatique CNAM, 292 rue Saint-Martin, 75141, Paris cedex 03, t l. (1) 40 27 22 73 t l copie : (1)
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-03.ps.gz, 19950331 1 PRINCIPES D'ORGANISATION POUR LA REALISATION DE LOGICIELS CRITIQUES J.P. Auclair (1) , F. Baranovski(2) , P. Caspi (3) , S. Natkin(4) INTRODUCTION Le pilotage automatique (PA) de la ligne D du m tro de Lyon a (syst me Maggaly) fut r alis par Matra Transport entre 1986 et 1993 selon une technologie s
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/PBR.ps, 19950405 Minist re de l'Education Nationale Conservatoire National des Arts et M tiers CENTRE D'ETUDE ET DE RECHERCHE EN INFORMATIQUE DU CNAM RAISONNEMENT PROTOTYPIQUE F.-Y. VILLEMIN 292, rue Saint Martin 75141 PARIS CEDEX03 (FRANCE)
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-10.ps.gz, 19950710 1 REORGANIZING CLASSES BY DERIVATION OF INHERITANCES Nadira Lammari Laboratoire CEDRIC-IIE (CNAM) 18 all e Jean Rostand 91025 Evry - France Phone: (33 1 ) 69 36 73 93 - Fax: (33 1) 69 36 73 05 Email: lammari@iie.cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-01.ps.gz, 19950912 1 Coh rences Causales pour M moire Partag e R partie : Algorithmes et Implantations T. Cornilleau, V. Gal, E. Gressier-Soudan Laboratoire Cedric-Cnam 292 rue St. Martin 75141 Paris Cedex 03 e-mail : {vercor, viviane, Eric.Gressier}@cnam.fr 1. Introduction La gestion r partie des donn es est une partie
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-08.ps.gz, 19951019 Introducing Chorus Micro-kernel Technology in MMS/TCP/IP environments Eric Gressier-Soudan, Marianne Lefebvre, Marc Rozier
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-06.ps.gz, 19951114 A Loosely Coupled Interface to an Object-Oriented Geographic Database Jean-Paul Peloux1;2 and Philippe Rigaux2 1 Fleximage, 43 rue de la Br eche aux Loups, F-75012 Paris, France 2 Cedric/CNAM, 292 rue St Martin, F-75141 Paris Cedex 03, France fpeloux,rigauxg@cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-05.ps.gz, 19951114 Multi-Scale Partitions: Application to Spatial and Statistical Databases Philippe Rigaux1;2 and Michel Scholl1;2 1 Cedric/CNAM, 292 rue St Martin, F-75141 Paris Cedex 03, France 2 INRIA, BP 105, F-78153 Le Chesnay Cedex, France. frigaux,schollg@asimov.cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-07.ps.gz, 19951114 Multiple Representation Modelling and Querying Philippe Rigaux1;2 and Michel Scholl1;2 1 Cedric/CNAM, 292 rue St Martin, F-75141 Paris Cedex 03, France 2 INRIA, BP 105, F-78153 Le Chesnay Cedex, France. frigaux,schollg@asimov.cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-13.ps.gz, 19951123 Protocole de messagerie MMS sur CHORUS1 : diff rentes approches Eric Gressier-Soudan* Marianne Lefebvre* Marc Rozier+ gressier@cnam.fr, lefebvre@cnam.fr, mr@chorus.fr * Cnam, Laboratoire Cedric, 292 rue St Martin 75 141 Paris Cedex 03 + Chorus Systems, 6 avenue Gustave Eiffel, 78 182 Saint Quentin Cedex
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-12.ps.gz, 19951123 Protocole de messagerie MMS et CHORUS Eric Gressier-Soudan, Laboratoire Cedric CNAM, 292 rue Saint Martin, 75141 Paris Cedex 03 Tel : 33 (1) 40 27 25 24 e-mail : gressier@cnam.fr http://www.cnam.fr/Cedric/personne/gressier/Gressier.html Cet article a t pr sent la table ronde "Architecture et R seaux"
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-09.ps.gz, 19960129 TCP/IP Manufacturing Applications : an experiment with MMS over RPC Eric Gressier-Soudan, Marianne Lefebvre, St phane Natkin+* *Laboratoire Cedric CNAM, 292 rue Saint Martin, 75141 Paris Cedex 03 + Soci t CESIR, 124 rue Vieille du Temple 75 003 Paris e-mail : gressier@cnam.fr, lefevre@cnam.fr,
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-16.ps.gz, 19960130 Diff rentes Approches des Relations d'Ordre dans un Environnement Coop ratif C. Coste, L. Duchien, G. Florin, L. Seinturier Laboratoire CEDRIC- CNAM 292, Rue St Martin - F 75141 Paris Cedex 03 Tel : 33 (1) 40 27 25 83 E-mail : {coste, duchien, florin, seintur}@cnam.fr R sum : Les applications coop
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-07.ps.gz, 19960130 Mod elisation en lotos d'une m emoire virtuelle r epartie a coh erence causale V. Gal T. Cornilleau E. Gressier-Soudan Laboratoire Cedric-CNAM 292, Rue Saint-Martin, F75141 Paris Cedex 03 E-mail: fviviane, vercor, gressierg@cnam.fr 1 Introduction Le concept de m emoire partag ee r epartie a et e d
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-18.ps.gz, 19960205 Sp cification d'une Interface de Programmation Objet pour MMS -1- Sp cification d'une Interface de Programmation Objet pour la Norme de Messagerie Industrielle MMS Fr d ric Weis E-mail : weiss@cnam.fr 1. Introduction Suite la sp cification de la pile de protocoles MAP1, de nombreux efforts ont t
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-07.ps.gz, 19960220 RAPPORT DE RECHERCHE CEDRIC No 96 >= 07 TUDE DE L'ARCHITECTURE D'UN SYST ME S CURIS R PARTI OBJETS L. ROUSSEAU, S. NATKIN F vrier 1996 292, rue Saint-Martin 75141 PARIS CEDEX 03 T l. : (1) 40 27 22 73 T l fax : 40 27 27 09 T lex : 240247 F Table des mati res 1 Introduction 3 1.1 Int r ts de la r
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-04.ps.gz, 19960313 f g ffl ffl ffl y z z z y z 1 Web Caching Web Caching and Causal Distributed Shared Memory S. Bortzmeyer T. Cornilleau G. Florin E. Gressier-Soudan SIS-Institut Pasteur, 28 rue du Dr. Roux, 75724 Paris Cedex 15 - FRANCE Cedric-CNAM, 292 rue Saint-Martin, 75141 Paris Cedex 03 - FRANCE E-mail :
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-95-04.ps.gz, 19960404 -1- A Spanning Tree Object-Oriented Distributed Algorithm: An Experience of Specification and Proof L. Bonnet, L. Duchien, G. Florin, L. Seinturier CNAM-Laboratoire Cedric 292, Rue St Martin, FR-75141 Paris Cedex 03 e-mail {bonnet, duchien, florin, seintur}@cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-02.ps.gz, 19960625 Prototypage d une m moire r partie partag e : apport d un "debugger" de communication Laurent Rosenfeld Fr d ric Ruget Frank Singhoff CNAM / CEDRIC. Chorus Syst mes CNAM / CEDRIC . rosenfeld@cnam.fr ruget@chorus.fr singhoff@cnam.fr R sum Les applications informatiques sont de plus en plus complexes, et
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-06.ps.gz, 19960625 RenPar'8, Bordeaux, France, 20{24 mai 1996. 1 Coh erence causale uniforme : gestion par versions de pages T. Cornilleau V. Gal E. Gressier-Soudan V. Thi ebold Laboratoire Cedric-CNAM, 292, Rue Saint-Martin, 75141 Paris Cedex 03 E-mail: fvercor, viviane, gressier, thieboldg@cnam.fr 1. Introduction et
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-12.ps.gz, 19960702 A Framework of Secure Object System Architecture Ludovic Rousseau St ephane Natkin fLudovic.Rousseau,natking@cnam.fr CEDRIC/CNAM, 292 rue Saint Martin, 75141 PARIS Cedex 03, France June 24, 1996
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-13.ps.gz, 19960702 Synchronisation des Horloges dans un Syst me R parti Orient Objet S curis Ludovic Rousseau St phane Natkin {Ludovic.Rousseau,natkin}@cnam.fr CEDRIC/CNAM 292, rue Saint-Martin 75141 PARIS CEDEX 03 Le 24 juin 1996 1 Introduction Ce texte pr sente les probl mes de s curit rencontr s dans un syst me r -
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/Activity_Report_94_95.ps.gz, 19960702 TABLE DES MATIERES INTRODUCTION 1 LES THEMES DE RECHERCHE 2 1. Mod lisation, validation et optimisation des syst mes 2 2. Conception des syt mes r partis. 2 3. Langages et environnements de programmation. 3 4. Bases de donn es et intelligence artificielle. 3 5. Analyse des donn es et informatique 3 L
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-09.ps.gz, 19960725 Point and window queries with linear spatial indices : an evaluation with O2 Michel Scholl , Gilles Grangeret, Xavier R ehs e Cedric/CNAM, 292 rue St Martin 75141, Paris Cedex 03, France I.N.R.I.A., 78153 Le Chesnay, Cedex, France fscholl,grang,rehseg@cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-94-16.ps.gz, 19961002 A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications P.Placide, G.Florin, L.Duchien, L.Seinturier CNAM, Laboratoire CEDRIC 292, Rue St Martin FR-75141 Paris cedex 03 {placide, florin, duchien, seintur}@cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-15.ps.gz, 19961007 SPL: Un langage de description et d'interrogation comme gestionnaire d'une base de donn es de composants industriels. Jean-Marc FARINONE Laboratoire CEDRIC-CNAM 292, rue Saint Martin 75141 Paris cedex 03 farinone@cnam.fr Eric VIERO SYSECA 283, rue de la Mini re 78534 Buc ric.viero@syseca.thomson.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-19.ps.gz, 19961007 1 An extension of the PSYNC protocol to groups Sophie GILLOT Jean Marc FARINONE CNAM-CEDRIC 292, Rue Saint Martin 75003 Paris {gillot, farinone}@cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-20.ps.gz, 19961008 Group Behavior Patterns in an Object-Oriented Methodology for Distributed Applications Lionel Seinturier, Laurence Duchien CNAM-Laboratoire CEDRIC 292, Rue Saint Martin, FR-75141 Paris cedex 03 e-mail:
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-14.ps.gz, 19961008 1 2 1 1 2 1 Key-words: The Wave Algorithms as a Self-Stabilizing Control Structure L. Duchien , G. Florin , R. G omez , L. Seinturier October 7, 1996
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-26.ps.gz, 19970414 f g
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-96-23.ps.gz, 19970414 1 UNE NOUVELLE APPROCHE DE LA MESURE D'AUDIENCE SUR INTERNET St phane Gaubert, Olivier Noblat, St phane Natkin+* *CESIR 124 rue Vieille du Temple 75003 - Paris cesir@imaginet.fr +CEDRIC/CNAM 292 rue St Martin 75003 - Paris natkin@cnam.fr 1. L'Audim trie sur le Web 1 . 1 . L'audim trie ou mesure
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-97-07.ps.gz, 19980211 Static Analysis of Concurrent Programming Using Structure Theory of Petri Nets Mohamed Kamel Barkaoui and Jean-Fran cois Pradat-Peyre Conservatoire National des Arts et M etiers Laboratoire CEDRIC barkaoui@cnam.fr, peyre@cnam.fr
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-97-05.ps.gz, 19980211 Code Generation and Performance Measures of Parallel Control Structures from Formal Specification F. Br eant, E. Palau, J.F. Pradat-Peyre IBP/MASI Lab. CEDRIC Lab. University of Pierre & Marie Curie Conservatoire National des Arts et M etiers 75252 Paris, CEDEX 05, France F75141 Paris, CEDEX 03, France
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-97-08.ps.gz, 19980211 Petri Nets Based Proofs of ADA 95 solution for Preference Control K.Barkaoui, C.Kaiser and J.F. Pradat-Peyre Conservatoire National des Arts et M etiers Laboratoire CEDRIC barkaoui@cnam.fr, kaiser@cnam.fr, peyre@cnam.fr March 13, 1997
	ftp://ftp.cnam.fr/pub/CNAM/cedric/tech_reports/RRC-97-06.ps.gz, 19980211 Reliable Resources Allocation with Ada95 Preference Control C.Kaiser and J.F. Pradat-Peyre Conservatoire National des Arts et M etiers Laboratoire CEDRIC kaiser@cnam.fr, peyre@cnam.fr