moisy@lip.ens-lyon.fr (Jean-Louis Moisy) (10/09/89)
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING W.G. 10.3 WORKING CONFERENCE ON DECENTRALIZED SYSTEMS Lyon, 11-12-13 December 1989 Ecole Normale Superieure de Lyon France FINAL PROGRAM SCIENTIFIC COMMITTEE Chairman - Claude GIRAULT, Paris -France- J.L. BAER, Seattle, USA E.S. LEE, Toronto, Canada F. BAIARDI, Pisa, Italy H. PERROS, Raleigh, USA M. BARTON, Bristol, UK R. PUIGJANER, Palma, Spain G. CHIOLA, Torino, Italy M. RAYNAL, Rennes, France V. CORDONNIER, Lille, France G.L. REIJNS, Delft, Netherlands M. COSNARD, Lyon, France B. SAMADI, New Jersey, USA E.L. DAGLESS, Bristol, UK B. SANDERS, Zurich, Switzerland E. DIRK, Brussels, Belgium O. SPANNIOL, Aachen, FRG R.D. DOWSING, Norwich, UK M. VANNESCHI, Pisa, Italy E.A. FEUSTEL, Massachussets, USA C. WHITBY-STREVENS, Bristol, UK V.C. HAMACHER, Toronto, Canada ORGANIZATION COMMITTEE Chairman - Michel COSNARD, Lyon -France- V. CHIOLA, Torino, Italy -Secretary- V. ROGER, Lyon, France -Secretary- C. GIRAULT, Paris, France B. TOURANCHEAU, Lyon, France J.L. MOISY, Lyon, France V. VARENNE, Paris, France -Secretary- Grand Amphitheatre Ecole Normale Superieure de Lyon 46, allee d'Italie 69364 Lyon Cedex 07 FRANCE CONTACT : Valerie ROGER - Ecole Normale Superieure de Lyon - Phone : +33/72/72/80/37 Fax : +33/72/72/80/80 E-mail : EARN/BITNET : valerie@FRENSL61 valerie@lip.ens-lyon.fr TARGETS This conference will address recent issues in the implementation and evaluation of decentralized computer systems. It will be mainly focused on architectures and programming systems with no central point of control or communication. LIST OF TOPICS : . Communication networks . Formal methods for design and verification . Non shared memory processors . Fault tolerance . Distributed operating systems . Performance evaluation of parallel systems . Distribution and communication concepts . Hardware and software tradeoffs . Dedicated programming languages . Fully scalable systems . Distributed data bases and expert systems . Applications PUBLICATION Copies of the papers will be available at the conference. Camera ready copies (12 pages) are due at the conference. The proceedings will be published by North Holland after the conference, in the series of the WG 10.3 Conferences : Highly parallel computers, Nice, France, 1986 Distributed processing, Amsterdam, The Nertherlands, 1987 Parallel processing, Pisa, Italy, 1988. MEETINGS AND DEMONSTRATION AREA A special area will be devoted to meetings and demonstrations of commercialized products during the conference. Companies wishing to book a demonstration space are requested to contact : Jean-Louis MOISY - Ecole Normale Superieure de Lyon - 46, allee d'Italie - 69364 LYON Cedex 07 - Phone : +33/72/72/80/36 - Fax : +33/72/72/80/80. E-mail : moisy@FRENSL61 moisy@lip.ens-lyon.fr Deadline for acceptation : November 25 th. POSTER PRESENTATION A special area will be devoted to posters presentation. Posters will be presented under the author responsability and on a non selection basis. They will not be published. Participants whishing to present a poster are requested to contact : Bernard TOURANCHEAU - Ecole Normale Superieure de Lyon - 46, allee d'Italie - 69364 LYON Cedex 07 - Phone : +33/72/72/82/30 - Fax : +33/72/72/80/80. E-mail : btouranc@FRENSL61 btouranc@lip.ens-lyon.fr Deadline for acceptation : November 25 th. MONDAY DECEMBER 11, 1989 08 h 00 - 09 h 30 : Registration 09 h 30 - 10 h 00 : Welcoming session 10 h 00 - 11 h 00 : Opening session - Chairperson : Professor C. GIRAULT, Paris, France 11 h 30 - 13 h 00 : Session 1 : Operating Systems - Chairperson : Professor E.S. LEE, Toronto, Canada . M. BARBACCI - D. DOUBLEDAY - C. WEINSTOCK - J. WING - Carnegie-Mellon Institute - Pittsburg, Pennsylvania - USA "The Durra Language and Runtime Environment : Tools for P.M.S.Level Programming" . M. PAPAZOUGLOU - L. MARINOS - Institut fur Systemtechnik - G.M.D. St Augustin - RFA "Cooperative Modeling in a Distributed Information Processing Framework" . A. LALO - C. BUR - Matra SEP Imagerie et Informatique - St Quentin en Yvelines - France "SDX : A distributed executive for decentralized perception machines" 13 h 00 - 14 h 30 : Lunch - Cafeteria - Ecole Normale Superieure de Lyon 14 h 30 - 16 h 00 : Session 2 : Local Area Network - Chairperson : Professor R. PUIGJANER, Palma, Spain . P.I.P. BOULTON - E.S. LEE - B. THOMSON - R.E. SOPER - University of Toronto, Toronto, Canada " Authentication in a Secure Local Area Network" . E.G. ZONDAG - University of Twente, Enschede, Netherlands "Eternal issuing of low-Level IDs in a distributed system" . C. JACQMOT - E. MILGROM - W. JOOSEN - Y. BERBERS - Universite Catholique de Louvain - Louvain la Neuve - Belgium "Naming and Network Transparent Process Migration in Loosely Coupled Distributed Systems" 16 h 30 - 18 h 00 : Session 3 - Logic Programming Chairperson : Professor M. VANNESCHI, Pisa, Italy . J.C. NICOLAS - B. TOURSEL - Universite des Sciences et Techniques - Villeneuve d'Ascq - France "A Parallel Distribution Method for Logical Schemas with Complex Objects" . U. GLASSER - M. KARCHER - G. LEHRENFELD - N. VIETH - University of Paderborn - Paderborn - RFA "Flat Concurrent Prolog on Transputers" . D. TALIA - M. CANNATARO - G. SPEZZANO - CRAI - Rende - Italy "A Highly Decentralized Architecture for the Parallel Execution of Logic Programs" 16 h 30 - 18 h 00 : Session 3 bis - Parallel and Distributed Algorithms Chairperson : Professor G. REIJNS, Delft, Netherlands . M. STUMM - O. KRIEGER - University of Toronto - Toronto - Canada "Algorithms that Implement the shared Data Model in Loosely Coupled Distributed Systems" . S. MIGUET - Ecole Normale Superieure de Lyon - Lyon - France "Distance transform on a ring of processors" . M. ALLIA - J.C. FABRE - Y. DESWARTE - LAAS - CNRS - Toulouse - France "A Distributed Algorithm for Increasing Fault Tolerance by reducing error latency" 19 h 00 : Departure from the conference location 19 h 45 : Conference-Dinner at the "Ferme de St Bonnet" - Col de la Luere - TUESDAY DECEMBER 12, 1989 08 h 30 - 10 h 00 : Session 4 - Scheduling and Load Balancing Chairperson : Doctor C. WHITBY-STREVENS, Bristol, UK . D.TOWSLEY - J. LEE Kyoo - University of Massachusetts - Amherst - USA "Decentralized Threshold Load Balancing in Distributed Processing Systems" . A. FERSCHA - Universitat Wien - Wien - Austria "Modeling Mappings of Parallel Computations onto Parallel Architectures with the PRM-Net Model" . B. FOLLIOT - University Paris 6 - Paris - France "GATOS Distributed Tasks Manager" 10 h 00 - 11 h 30 : Poster session - Demonstration of commercialized Products 11 h 30 - 13 h 00 : Session 5 - Communication Network Chairperson : Professeur V. CORDONNIER, Lille, France . A. KUNG - I. LACROUTS-CAZENAVE - C. SERRANO-MORALES Trialog Informatique - Paris - France "Interconnection of decentralized vehicle software components" . G. ALBERTENGO - U. ISNARDI - Politecnico di Torino - Torino - Italy "Protocol and Architecture Performances in High Speed Packet Switches" . D. ETIEMBLE - J.P. SANSONNET - C. GERMAIN - J.L.BECHENNEC Universite d'Orsay - Paris - France A New Communication Design for Massively Parallel Message-Passing Computers" 13 h 00 - 14 h 30 : Lunch - Cafeteria - Ecole Normale Superieure de Lyon - 14 h 30 - 16 h 00 : Session 6 - Object Oriented Distributed System Chairperson : Professor E. DAGLESS, Bristol, UK . M. TAG - P. HEBRARD - A. BENKIRAN - Synergie Informatique et Developpement - Puteaux - France "Experience with CSA : An Object-Oriented Distributed System" . E. DELATTRE - J.M. GEIB - Universite des Sciences et Techniques - Villeneuve d'Asq - France "OMPHALE, an active objects-based distributed operating system" . C. BETOURNE - M. FILALI - Universite Paul Sabatier - Toulouse - France "The WEB : a Distributed-Object Constructor" 16 h 30 - 18 h 00 : Session 7 - Object and Actor Oriented Programming Chairperson : Professor B. SAMADI, New Jersey, USA . A. ELIENS - Center of Mathematics and Computer Science - Amsterdam - Netherlands "Expending Prolog to a parallel Object Oriented language" . J.M. FGOUET - S. HASSAS - Universite Claude Bernard - Lyon - France "GMAL : Gosseyn Machine Actor Language" . J.B. STEFANI - Centre PAA - Division TIM - Issy les Moulineaux - France "SPIDERS : Structure and Communication scheme for mobile objects" 16 h 30 - 18 h 00 : Session 7 bis - Models and Analysis Chairperson : Professor B. SANDERS, Zurich, Switzerland . R.K. SHYAMASUNDAR - L. YUHSIANG - The Pennsylvania State University - University Park - USA "Static Analysis of Deadlock, Distributed Termination, and Timing Properties in Real-Time Distributed" . M. AYOUB - G. JUANOLE - LAAS - CNRS - Toulouse - France "Iso CCR Formal Modelling and Verification via projections " . P. BLANC - J.M. COUVREUR - M. RUKOZ - Universite Paris 6 - Paris - France "A Study of Distributed Control Algorithms by Means of Colored Petri Nets" 19 h 00 : Buffet - Atrium - Ecole Normale Superieure de Lyon 20 h 30 : Concert WEDNESDAY DECEMBER 13, 1989 08 h 30 - 10 h 00 : Session 8 - Methodology of Parallelisation Chairperson : Professor M. BARTON, Bristol, UK . J. VAUTHERIN - D. MILLOT - Universite Paris-Sud - Paris - France "True Parallelism on an unknown topology" . P. FEAUTRIER - Universite P & M Curie - Paris - France "Asymptotically Efficient Algorithms for Parallel Architectures." . A. BENAINI - M. TCHUENTE - Ecole Normale Superieure de Lyon - Lyon - France "A Software tool for symbolic simulation of systolic networks" 10 h 00 - 11 h 00 : Poster Session - Demonstration of Commercialized Product 11 h 00 - 13 h 00 : Session 9 - Performance Evaluation Chairperson : Professor M. RAYNAL, Rennes, France . M. RUPPRECHT - P. MARTINI - Technical University of Aachen - Aachen - RFA "Performance Evaluation on the Wrong Track ?" . J.L. GAUDIOT - C.M. LIN - University of Southern California - Los Angeles - USA "Performance of asynchronous algorithms in multi-level data-driven systems" . M. SILVA - J. CAMPOS - Universidad de Zaragoza - Zaragoza - Spain "Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes" . S. BALSAMO - L. DONATIELLO - Universita di Pisa - Pisa - Italy "Approximate performance analysis of parallel processing systems" 13 h 00 - 13 h 15 : Closing Session Lunch - Cafeteria -Ecole Normale Superieure de Lyon GENERAL INFORMATIONS Location and dates of the Conference : Ecole Normale Superieure de Lyon 46, allee d'Italie 69364 Lyon Cedex 07 - FRANCE - Phone (+33) 72/72/80/37 11-12-13 December 1989 Registration : Delegates are required to register as soon as possible using the attached registration form. Registration fees include : See Registration form. Registration confirmation : About 10 days before the beginning of the conference, registered participants will receive their pass, this confirmation form is to be presented at the registration desk to receive the conference documents. Cancellations : 50 % of the fee will be refunded if cancellation request is written and received prior to November 23, 1989. No refunds will be made for cancellations received after this date. In case of cancellation for reasons beyond our control, we limit our liability to the registration fees already paid. Lunches - Dinner : Participants can buy additional lunch or dinner tickets at the conference desk. Unit price : 50 FF. Social Events : Extra ticket for the social events can be obtained at the conference desk. Payments : Will be accepted in cash or by banker's draft payable to : - Algorithmes et Architectures Paralleles : M. COSNARD REGISTRATION FORM - REPLY/CARD I.F.I.P WC - DS 89 E.N.S. LYON To be returned before November 15, 1989 to : Valerie ROGER Ecole Normale Superieure de Lyon - 46, allee d'Italie - 69364 Lyon cedex 07 Name, First name : ............................................................. Address : ................................................................................ ................................................................................ Town, Zip Code ................................................................. Country : ....................................... Phone ........................ Fax : ............................. Telex ..................................... Documents will be sent to the above address and Invoice to be sent to : ................................................................................ ................................................................................ Registration fees Normal Price 1 500,00 FF ... (with the conference session, proceedings, coffee-break, 3 lunches, buffet and concert, Conference-Dinner) Special Price 1 200,00 FF ... (with the conference session, coffee-break, buffet and concert) Student Price (non speaker only) : 400,00 FF ... (with the conference session, coffee-break, buffet and concert ) Extra lunches on site : 50 FF X ......... = ........ FF December 11 ... December 12 ... December 13 ... Extra Conference-Dinner-Ticket - Monday December 11,1989 150,00 FF ... Extra Concert-Ticket - Tuesday December, 12 1989 50,00 FF ... TOTAL ........ FF . Please mark the appropriate dots: ... ACCOMMODATION I wish to sleep at ENS de Lyon, (double room) Yes ... No ... Price : 60 FF X ......... = ........ FF Places are limited, the first reservations will be satisfied priority. Specify the name of the person with which you would share the room : ....................................................... The breakfast can be taken at ENS Lyon restaurant - Not included in the price. Total Registration fees + Accommodation = ........ FF Arrival and Departure dates Arrival date and place : Hour : Departure date and place : Hour : TRAVEL ... Please send me a railway discount ticket (20 % French National railways) ... Please send me a plane discount ticket (35 % French National flights). -- Jean-Louis MOISY Laboratoire de l'Informatique du Parallelisme Ecole Normale Superieure (33) 72 72 80 36 46, Allee d'Italie fax : (33) 72 72 80 80