International Federation for Information Processing IFIP WG 10.3 Concurrent Systems INTERNATIONAL CONFERENCE ON APPLICATIONS IN PARALLEL AND DISTRIBUTED COMPUTING April 18-22,1994 Ateneo de Caracas Plaza Morelos - Los Caobos Caracas - Venezuela Advance Program and Registration Form ************************************* General Chairman: Claude Girault, Paris, France Co-Chairman: David Padua, Champaign, USA The purpose of this International Conference is to bring together Scientists of Universities and Industry interested in the recent developments of Parallel and Distributed Systems. The Conference will focus on methods and tools for design, validation, evaluation and implementation of applications. The papers cover a wide spectrum of topics including: Specifications and Modeling, Industrial Applications, Programming Environments, Numerical Methods, Performance Measurement and Speed-up, Simulation, Distributed Operating Systems, Image Processing, Computers Networks, Process Control, Neural Networks and Parallelism, Distributed Data Bases, Schedulling, Mapping, Load Balancing, Real Time Applications Architectures and Systolic Systems. A special area is devoted to poster presentation. Accepted posters are included in the proceedings in a two page abstract form. The proceedings of the conference, published by North-Holland in the series of the WG 10.3 Conferences, will be available at the conference. The book is organized in four main parts: * Parallelism and Distributed Algorithms, * Distributed Programming, * Distributed Systems and Architecture, * Poster Abstracts. Topics: - Specifications and Modeling - Numerical Methods - Programming Environments and Compiling - Routing Methods - Performance Measurement and Compiling - Image Processing - Distributed Operating Systems - Distributed Data Bases - Architectures - Distributed Debugging - Distributed Object Memories Sponsors: University of Paris VI, France University Central of Venezuela University de Los Andes, Venezuela University Simon Bolivar, Venezuela CONICIT Organized by: University of Paris VI, France University Central de Venezuela University of Los Andes, Venezuela University Simon Bolivar, Venezuela Program Committee R. Alt, Paris, France J.L. Baer, Seattle, USA F. Baiardi, Pisa, Italy G.F. Balbo, Torino, Italy D. Barbara, Princeton, USA M.H. Barton, Bristol, UK T. Bemmerl, Feldkirchen, Germany O. Carvalho, Belo Horizonte, Brazil E. Chacon, Merida, Venezuela M. Cosnard, Lyon, France C. Delgado-Kloss, Madrid, Spain E. Dirkx, Tsukuba Ibaraki, Japon K. Ebcioglu, New York, USA P. Feautrier, Paris, France J.L. Gaudiot, Los Angeles, USA N. Georganas, Ottawa, Canada W. Giozza, Paraiba, Brazil A. Gottlieb, New York, USA E.S. Lee, Toronto, Canada M. Lentini, Caracas, Venezuela K. Pingali, Ithaca, USA R. Puigjaner, Palma, Spain P. Quinton, Rennes, France F. Rammig, Paderborn, Germany M. Raynal, IRISA, Rennes, France G. Reijns, Delft, The Netherlands M. Rukoz, Caracas, Venezuela B. Samadi, Holmdel, USA I. Scherson, Irvine, USA S.W. Song, Sao Paulo, Brazil R. Suros,Caracas, Venezuela H. Tanaka, Tokyo, Japan P. Thanisch, Edinburgh, UK M. Vanneschi, Pisa, Italy A. Vaquero, Madrid, Spain C. Whitby-Strevens, Bristol, UK Organizing Committee M. Rukoz, Chairperson, Caracas, Venezuela R. Suros, Chairperson, Caracas, Venezuela B. Folliot, Paris, France V. Varenne, Paris, France - Secretary - Conference Program ****************** Wednesday, April 20 9.00 - 10.00 Registration 10.00 - 10.30 Opening Session Chair: Prof. Claude Girault, Paris, France 10.30 - 12.30 Distributed Data Bases Chair: Walter Cunto, IBM, Venezuela Replicated Data Management in Mobile Environments: Anything New Under the Sun ? Daniel Barbara-Milla, Hector Garcia-Molina Parallel Computation of the Restricted Transitive Closure of a Database Relation Anestis A. Toptsis WEA, A Distributed Object Manager based on a Workspace Hierarchy Didier Donsez, Philippe Homond, Pascal Faudemay 12.30 - 14.00 Lunch 14.00 - 15.30 Architecture Chair: Prof. David Padua, Illinois, USA An Evaluation of Hardware and Software Data Prefetching Jean-Loup Baer, Tien-Fu Chen Applying Semi-Systolic Techniques to SIMD Programming Tanguy Risset Real Time Segmentation of Image Sequences by Self-Organizing Feature Map: Method and Reconfigurable Architecture Rene' Natowicz, Marcelo Alves de Barros, Mohamed Akil, Fabrizio Bosio 15.30 - 16.00 Coffee Break 16.00 - 17.30 Distributed Debugging Chair: Dr. Bertil Folliot, Paris, France Definition and Implementation of a Flexible Communication Primitive for Distributed Programming Achour Mostefaoui, Michel Raynal Execution Replay with Compact Logs for Shared-Memory Programs Luk J. Levrouw, Koenraad M.R. Audenaert, Jan M. Van Campenhout Using Specifications for Debugging Parallel Programs Maximilian Frey, Andreas Weininger Thursday, April 21 9.00- 10.30 Distributed Object Memories Chair: Prof. Marta Rukoz, Caracas, Venezuela An Efficient Implementation of Sequentially Consistent Distributed Shared Memories Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen Exploiting Transaction and Object Semantics to Increase Concurrency Andry Rakotonirainy Program and File Allocation Algorithm for Large Scale Distributed Systems Raouf Boutaba, Bertil Folliot 10.30- 11.00 Coffee Break 11.00 - 12.30 Image Processing Chair: Prof. Rina Suros, Caracas, Venezuela Computation of 2-D Wavelet Transforms on the Connection Machine-2 Manavendra Misra, Terry Nichols A Incremental Neural Classifer on a MIMD Parallel Computer Arnulfo Azcarraga, Helene Paugam-Moisy, Didier Puzenat Adaptive Biases and Gains for Backpropagation Algorithm Tao Chen, Mikio Tagaki 12.30 - 14.00 Lunch 14.00- 15.30 Specification and Modeling Chair: Prof. Edgar Chacon, Merida, Venezuela A Proof System for a Simple Data-Parallel Programming Language Luc Bouge', Yann Le Guyadec, Gil Utard, Bernard Virot Efficient Deadlock Resolution in Distributed Systems Soojung Lee, Junguk L. Kim Specification of Compositional Active Objects using Modular Colored Nets Hafeda Bachatene, Jean Michel Couvreur, Pascal Estraillier 15.30- 16.00 Coffee Break 16.00-17.30 Numerical Methods Chair: Prof. Brigida Molina, Caracas, Venezuela Data Parallel Sparse Matrix Computation on CM-2 and CM-5 for Iterative Methods Serge G. Petiton A study in EPF and C-Linda Implementations of Distinct Element Model Sion K. Tang, Richard Zurawski New Parallel Newton-Raphson Methods and Their Implementations with Accumulate Instructions Walter Cunto 17.45-18.45 Poster Session Friday, April 22 9.00- 10.30 Performance, Measurement and Computing Chair: Prof. Alejandro Teruel, Caracas, Venezuela Invasiveness of Performance Instrumentation Measurements on Multiprocessors Oscar Naim, Anthony J.G. Hey Implementation and Performance of the Parallel Ecological Simulations William Maniatty, Boleslaw Szymanski, Tom Caraco Benchmarks Specification and Generation for Performance Estimation on MIMD Machines Carlos Figueira, Emilio Hernandez 10.30- 11.00 Coffee Break 11.00 - 12.30 Performance Environment and Compiling Chair: Prof. Ramon Puigjaner, Palma, Spain Compiling Geometric Paradigms through Local Communications Salvatore Orlando, Marco Vanneschi Code Generation in Automatic Parallelizers Jean Francois Collard Fine Grain Parallelisation of Functional Programs for VLIW or Super-scalar Architectures Marc Pouzet 12.30 - 14.00 Lunch 14.00- 15.30 Distributed Operating Systems Chair: Prof. Euripides Montagne, Caracas, Venezuela Design of the Masix Distributed Operating System on top of the Mach Microkernel Remy Card, Hubert Le Van Gong, Pierre Guillaume Raverdy On the Use of a Multi-Threaded Operating System for an Efficient Parallel Implementation of the ML-EM Algorithm for PET Image Reconstruction Koen Bastiaens, Ignace Lemahieu, Paul Desmedt Integration of Widely Distributed Production Control Systems by Using Virtual Devices Edgar Chacon, Rafael Rivas 15.30- 16.00 Coffee Break 16.00- 17.00 Routing Methods Chair: Prof. Alejandro Crema, Caracas, Venezuela Routing with Compact Routing tables : Interval Labelling Scheme for Generalized Meshes Ibrahima Sakho, Leon Mugwaneza, Yves Langue Efficient Message Routing in P-network Hong Shen 17.00- 17.15 Closing Session Tutorial Program **************** Tutorial 1: Spatial Database Modelling Lecturer: Dr. Jonas Montilva. University of Los Andes Me'rida, Venezuela Tutorial 2: Introduction to the Automatic Detection of Parallelism in Numerical Programs Lecturer: Prof. David Padua Department of Computer Science University of IIlinois, Urbana, IL. Tutorial 3: Object Databases Lecturer: Dr. Genevieve Jomier University Dauphine Paris, France Tutorial 4: Parallel Systems Lecturer: Prof. Michel Cosnard Laboratoire d'Informatique du Paralle'lisme Lyon, France Tutorials will be held at the Ateneo de Caracas on monday and tuesday. Each tutorial will be given in two half days of 4 hours. Tutorial 1 and 3 are in parallel with tutorial 2 and 4. General Information ******************* Conference Site The tutorials, the conference sessions and the posters exhibition will be accomodated at: Ateneo de Caracas Plaza Morelos - Los Caobos Caracas - Venezuela Registration fees Delegates are required to register as soon as possible using the attached registration form. Registration to the conference includes the proceedings edited by North-Holland and other conference materials, tea and coffee during breaks, the Conference Dinner and the Welcome Cocktail. No lunch will be provided at the conference site (conference location is right in the center of Caracas, a list of selected restaurants will be provided at the conference desk). Payment of fees Payment should be made in US Dollars, in cash or by banker's draft payable to: Prof. Leli Montes or Antonio Acevedo Money Market 119644-447-01 1000 BRICKELL Avenue, Miami Florida 33131 Banco Union - Miami Agency No credit cards can be accepted. Confirmation Confirmation of registration will be sent to participants after receipt of the registration form and payment. Cancellation and Refund 50% of the fee will be refunded if cancellation is received before April 1, 1994. After April 1, 1994 no refunds will be given. Registration The registration both for tutorial and conference will be open from 9.00 to 18.00 from Monday 18th to Friday 22th. Social Events Extra tickets for the social events can be obtained at the conference desk. A two day travel, following the conference, is planned in Amazonia, or The Andes or The Roques Island. Information Desk The Conference office at the second floor of the Ateneo Building will be open during Tutorial and Conference hours. Access International Airport of Caracas is 30 mn from the conference site by taxi (around $25) or buses ($3) that have final stop nearby Ateneo de Caracas. The organizing committee will try to arrange transportation from the airport to the hotels. Important: Entry Visa Please do not forget to check with the Venezuelian Consulate if you need a visa. Hotels Near the Conference location: Hotel Savoy: $40 for a simple or double room Hotel Caracas Cumberland: $50 for a single or double room, $55 for a triple room For more information and reservation, please call: Mrs. Jacqueline AGUIRRE, PAYA C.A. Phone: +58.(2).951.21.26 - Fax: +58.(2).951.16.57 International Federation for Information Processing IFIP WG 10.3 Concurrent Systems INTERNATIONAL CONFERENCE ON APPLICATIONS IN PARALLEL AND DISTRIBUTED COMPUTING Registration Form ***************** To be returned before April 13 to: Laboratorio de Computacion Parallel y Dist., Mrs. RUKOZ Apartado 47002, Los Chaguaramos Caracas 1041-A, Venezuela Please, send also an email to mrukoz@conicit.ve or mrukoz@cauchy.ivic.ve Title/Mr/Mrs First name/initials Family name ____________ ___________________ __________________________ Affiliation ____________________________________________________________________________ Street/P.O.B. ____________________________________________________________________________ Post code/City Country ____________________________________________________________________________ phone fax email ____________________________________________________________________________ Members of ACM, AFCET, AICA, BCS, EATCS, GI or IEEE and Students: Registration fee After March 15th Until March 15th Conference [] 300 $ [] 280 $ Tutorial [] 150 $ [] 130 $ Conference + 1 Tutorial [] 400 $ [] 380 $ Conference + 2 Tutorials [] 500 $ [] 480 $ Non-members Conference [] 350 $ [] 330 $ Tutorial [] 150 $ [] 130 $ Conference + 1 Tutorial [] 450 $ [] 420 $ Conference + 2 Tutorials [] 550 $ [] 530 $ I choose the following tutorial(s) : 1 [] 2 [] 3 [] 4 [] Conference Dinner Additional tickets for the conference dinner [] 30 $ [] I plan to join the conference dinner [] I need _____ tickets(s) for accompanying persons PAYMENT Total = $ [] I include a check [] I have paid by money transfer