Lecture Notes in Computer Science 854 Edited by G

Lecture Notes in Computer Science 854 Edited by G. Goos, J. Hartmanis and J. van Leeuwen

Advisory Board: W. Brauer D. Gries J. Stoer Bruno Buchberger Jens Volkert (Eds.)

Parallel Processing: CONPAR 94 - VAPP VI

Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6-8, 1994 Proceedings

Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Series Editors Gerhard Goos Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-Strage 1, D-76131 Karlsruhe, Germany Juris Hartmanis Department of Computer Science, Cornell University 4130 Upson Hall, Ithaka, NY 14853, USA Jan van Leeuwen Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands

Volume Editors Bruno Buchberger, Research Institute for Symbolic Computation (RISC) Jens Volkert, Institut fur Informatik Johannes Kepler Universit~it Linz Altenbergerstr. 69, A-4040 Linz, Austria

CR Subject Classification (1991): C.1-2, F.2, B.3, C.4, D.1, D.4, E.1, G.1, J.0

ISBN 3-540-58430-7 Springer-Verlag Berlin Heidelberg New York

CIP data applied for This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. 9Springer-Verlag Berlin Heidelberg 1994 Printed in Germany Typesetting: Camera-ready by author SPIN: 10478954 45/3140-543210 - Printed on acid-free paper Preface

Since 1981 several successful conferences of the CONPAR and the VAPP series have taken place. The International Conferences on Parallel Processing (CON- PAR) were held in Erlangen (1981), Aachen (1986), and Manchester (1988). The Vecior and Parallel Processors in Compu~aiional Sciences (VAPP) meetings were organized in Chester (1981), Oxford (1984) and Liverpool (1987). Afterwards the Standing Committees of both series decided to merge the two events in order to cover a broader spectrum of parallelism. The next meetings, now called CONPAR-VAPP, were held in Zurich (1990) and Lyon (1992). CONPAR 94-VAPP VI, which takes place in Linz, Austria, is the last conference in this series. In 1995, CONPAR-VAPP will be merged with PARLE, another well-known series with a similar scope. The new conference will be called EUROPAR and will be organized every year. The goal of this measure is to establish ihe European event in the field of parallel processing. As this is the last CONPAR-VAPP, we hope that the event will be a worthy ending of the series. We believe that we did all we could do to achieve this goal. But the final assessment will have to be made by the participants of the meeting and the readers of these proceedings. It remains for us to thank all the people and organizations which have sup- ported this conference. First of all we would like to mention the members of the program committee. Their work turned out to be not an easy one. Authors from 29 countries submitted (mostly by electronic mail) 159 papers from which only 73 could be selected. Therefore even some papers of good quality had to be rejected. At this point we would also like to thank the numerous reviewers who provided the program committee with the necessary input for the selection process. The preparation of the technical program was a hard task. It could not have been managed without the aid of the organizing committee. Especially many thanks to Siegfried Grabner and Wolfgang Schreiner who did most of the job. Many thanks for funding and/or other support to ACPC, GI-PARS, IFIP WG10.3, IFSR, OCG, OGI, and especially to the administrations of Linz, Upper Austria, and Austria. Finally we would like to express our thanks to the Johannes Kepler University Linz for providing the necessary infrastructure for this conference and for the pleasant surroundings.

Linz, September 1994 Bruno Buchberger, $ens Volkert VI

Standing Committee I. Foster, Argonne Nat. Lab. (USA) G. Fox, NPAC, Syracuse (USA) Chairman: C. Fraboul, CERT, Toulouse (France) W. H~ndler, Univ. Erlangen (Germany) T. Gross, Carnegie Mellon Univ. (USA) G. Hains, Univ. Montreal (Canada) P.C.P. Bhatt, Indian Inst. Techn. (India) G. Haring, Univ. Vienna (Austria) K. Boyanov, Acad. Sci. Sofia (Bulgaria) H. Honda, Yamanashi Univ. (Japan) H. Burldaart, Univ. Basel (Switzerland) H. Hong, Univ. Linz (Austria) M. Cosnard, ENS Lyon (France) F. Hossfeld, ges. Cent. Jfilich (Germany) L. M. Delves, Univ. Liverpool (UK) R. N. Ibbett, Univ. Edinburgh (UK) C. Jesshope, Univ. Surrey (UK) C. Jesshope, Univ. Surrey (UK) H. Jordan, Univ. Colorado (USA) H. Jordan, Univ. Colorado (USA) O. Lange, T. Univ. Harburg (Germany) P. Kacsuk, KFKI, Budapest (Hungary) N. Mirenkov, Acad. Kiev (Ukraine) E. Kaltofen, Renss. Polyt. Inst. (USA) Y. Muraoka, Waseda Univ. (Japan) H. Kasahara, Waseda Univ. (Japan) I. Plander, Acad. Bratislava (Slovakia) W. Kleinert, T. Univ. Vienna (Austria) K. Reinartz, Univ. Erlangen (Germany) W. Kuechlin, Univ. Tfibingen (Germany) E. H. Rothauser, IBM (Switzerland) 0. Lange, T. Univ. Harburg (Germany) A. V. de Vasconcelos, Brussels (Belgium) M. A. Langston, Univ. Tennessee (USA) A. D. Malony, Univ. Oregon (USA) Organizing Committee A. Miola, Univ. Roma (Italy) N. Mirenkov, Univ. Aizu (Japan) Chairman: Y. Muraoka, Waseda Univ. (Japan) J. Volkert, Univ. Linz (Austria) P. Navanx, Univ. Porto Alegre (Brasil) D. A. Padua, Univ. Illinois (USA) B. Buchberger, RISC-Linz (Austria) C. Pancake, Oregon State Univ. (USA) S. Grabner, Univ. Linz (Austria) D. Parkinson, Thinking Machines (UK) W. Schreiner, RISC-Linz (Austria) G.-R. Perrin, Univ. Franche (France) R. Perrott, Queen's Univ. Belfast (UK) Program Committee B. Philippe, IRISA, Rennes (France) B. Plateau, IMAG, Grenoble (France) Chairman: R. Puigjaner, Univ. Illes Balears (Spain) B. Buchberger, RISC-Linz (Austria) M. J. Quinn, Oregon State Univ. (USA) G. L. Reijns, Delft Univ. (Netherlands) M. Amamiya, Kyushu Univ. (Japan) K. Reinartz, Univ. Erlangen (Germany) F. Andre, IRISA, Rennes (France) D. Roose, Cath. Univ. Leuven (Belgium) M. Annaratone, DEC (USA) W. Rytter, Warsaw Univ. (Poland) R. G. Babb, Univ. Denver (USA) S. G. Sedukhin, Univ. Aizu (Japan) P.C.P. Bhatt, Indian Inst. Techn. (India) B. Sendov, Acad. Sci., Sofia (Bulgaria) D. Bini, Univ. Pisa (Italy) O. Steinhauser, Univ. Vienna (Austria) A. Bode, Tech. Univ. Munich (Germany) O. Sykora, Acad. Sci., Bratisl. (Slovakia) K. Boyanov, Acad. Sci. Sofia (Bulgaria) D. Trystram, IMAG, Grenoble (France) H. Burkhart, Univ. Basel (Switzerland) E. Tyrtyshnikov, Acad. Sci. (Russia) M. Cosnard, ENS Lyon (France) M. Valero, Cent. Parall., Barcel. (Spain) F. Dehne, Purdue Univ. (USA) M. Vanneschi, Univ. Pisa (Italy) L. M. Delves, Univ. Liverpool (UK) P. Vitanyi, CWI, Amsterd. (Netherlands) J. Dongarra, Univ. Tennessee (USA) J. Volkert, Univ. Linz (Austria) I. Duff, Rutherford Appleton Lab. (UK) R. Wait, Univ. Liverpool (UK) K. Ecker, T. Univ. Clausthal (Germany) P. S. Wang, Kent State Univ. (USA) J. P. flitch, Univ. Bath (OK) P. Zinterhof, Univ. Salzburg (Austria) R. Fiebrich, Thinking Machines (USA) Referees

M. Abdularahim, Univ. Denver (USA) D. Comte, CERT, Toulouse (France) M. Abe, Tohoku Univ. (USA) J. Cuny, Univ. Oregon (USA) C. A. Addison, Univ. Liverpool (UK) M. Danelutto, Univ. Pisa (Italy) K. Aida, Wazeda Univ. (Japan) R. De Nicola, CNUCE Inst., CNR (Italy) L. Alexandrov, Acad. Sci. (Bulgaria) M. De Valerio, Univ Erlangen (Germany) A. Aliabadi, Queen's Univ., Belfast (UK) M. C. Dewar, Univ. Bath (UK) V. Ambriola, Univ. Pisa (Italy) R. Di Meglio, Univ. Pisa (Italy) B. Amrhein, Univ. Tfibingen (Germany) I. Dimov, Acad. Sci., Sofia (Bulgaria) R. Anderson, Intel (USA) M. Dryja, Warsaw Univ. (Poland) M. Arioli, Rutherford Appl. Lab. (UK) J. Duato, Univ. Illes Balears (Spain) S. Arun-Kumar, Ind. Inst. Tech. (India) G. Durrieu, CERT, Toulouse (France) E. Ayguade, Cent. Parall. (Spain) T. EI-Gha.zali, IMAG, Grenoble (France) F. Baiardi, Univ. Pisa (Italy) L. Elsner, Univ. Bielefeld (Germany) D. Baxth, Labri Bordeaux (France) J. Ethel, Rutherford Appleton Lab. (UK) R. Burros, Univ. Denver (USA) J. Duprat, ENS Lyon (France) W. Bauer, Univ. Salzburg (Austria) T. Fadgyas, KFKI, Budapest (Hungary) B. Beattie, Univ. Liverpool (UK) A. Fagot, IMAG, Grenoble (France) A. Benaini, Univ. Franche (France) T. Fahringer, Univ. Linz (Austria) E. Benson, DEC (USA) K. Faigin, Delft Univ. (Netherlands) R. Berrendorf, R. Cent. Jfilich (Germany) M. Feeley, Univ. Montreal (Canada) M. W. Berry, Univ. Tennessee (USA) J. Feehrer, Univ. Colorado (USA) W. Blume, Univ. Illinois (USA) S. Ferenczi, KFKI, Budapest (Hungary) T. B. Boffey, Univ. Liverpool (UK) C. S. Ferner, Univ. Denver (USA) M. Bonuccelli, Univ. Roma (Italy) G. Ferrari, Univ. Pisa (Italy) C. Bornstein, Cam. Mellon Univ. (USA) C. S. Ferner, IRISA, Rennes (France) P. Borovansky, Acad. Sci. (Slovakia) A. Fernandez, Cent. Parallelism (Spain) T. Brandes, GMD (Germany) J. Flower, Cal. Inst. Tech. (USA) D. Brown, Univ. Oregon (USA) C. Foisy, Univ. Montreal (Canada) G. Cavalheiro, U. Porto Alegre (Brazil) V. Frayss$, CERFACS (UK) P. Chattier, IRISA, Rennes (France) S. A. Finogenov, Acad. Sci. (Russia) G. Cheng, NPAC, Syracuse (USA) C. Foisy, Univ. Montreal (Canada) J. Choi, IBM Watson (USA) A. Frolov, Acad. Sci., Moscow (Russia) M. Christaller, IMAG, Grenoble (France) M. Fujita, Fujitsu Laboratories (USA) B. Ciciani, Univ. Roma (Italy) J. Gabarro, Cent. Parall., Bared. (Spain) M. Clint, Queen's Univ. Belfast (UK) P. L. Garcia, Univ. Linz (Austria) B. Codenotti, Rutherf. Appl. Lab. (UK) M. Gastaldo, ENS Lyon (France) A. Corradi, Univ. Bologna (Italy) M. Gerndt, Res. Cent. Jfilich (Germany) C. da Costa, Univ. Porto Alegre (Brazil) C. Geyer, Univ. Porto Alegre (Brazil) P. Crandall, Oregon State Univ. (USA) S. Girona, Cent. ParaU., Barcel. (Spain) M. Cubero-Caztan, CERT (France) S. Grabner, Univ. Linz (Austria) A. Diaz, Renss. Polyt. Inst. (USA) R. Hackenberg, TU. Munich (Germany) G. Dibattista, Univ. Roma (Italy) G. H~chler, Univ. Basel (Switzerland) G. Eschelbeck, Univ. Linz (Austria) T. Harmer, Queen's Univ. Belfast (UK) R. J. Bradford, Univ. Bath (UK) B. R. Helm, Univ. Oregon (USA) T. Chan, Univ. Aizu (Japan) O. Hammami, Univ. Aizu (Japan) K. Chen, Univ. Liverpool (UK) O. Hansen, T. Univ. Munich (Germany) M. Clement, Oregon State Univ. (USA) T. Hanpt, NPAC, Syracuse (USA) L. Colombet, IMAG, Grenoble (France) M. Hermenegildo, Univ. Linz (Austria) VllL

P. Hintenaus, Univ. Linz (Austria) C. McDowell, Univ. Santa Cruz (USA) J. H. Hoepman, CWI (Netherlands) B. McMillin, Univ. Tennessee (USA) M. Iliev, Acad. Sci. Sofia (Bulgaria) P. Mehrotra, ICASE (USA) A. Jacoby, Thinking Machines (USA) J. Mellor-Crummey, Rice Univ. (USA) J. Jaray, Univ. Franche (France) D. Mery, Univ. Franche (France) J. M. Jezequel, IRISA, Rennes (France) J. V. Miller, Univ. Oregon (USA) M. Jones, Univ. Tennessee (USA) J. Miro, Univ. IUes Balears (Spain) H. Jonkers, Delft Univ. (Netherlands) B. Mohr, Univ. Oregon (USA) J. Julliand, Univ. Franche (France) J. Moore, Oregon State Univ. (USA) R. Kannan, Univ. Denver (USA) S. Mori, Univ. Aizu (Japan) C. Kesselman, Cal. Inst. Tech. (USA) J. E. Moreira, Univ. Illinois (USA) C. W. Kessler, Univ. Saarbr. (Germany) A. MfiUer, ETH Zurich (Switzerland) S. Kindermann, U. Erlangen (Germany) P. G. Mussi, IRISA, Rennes (France) J. P. Kitajima, IMAG, Grenoble (France) U. Nagashima, Ochanomizu U. (Japan) G. Kohring, Res. Cent. JSlich (Germany) K. Naik, Univ. Aizu (Japan) G. Kotsis, Univ. Vienna (Austria) K. Nakano, Waseda Univ. (Japan) O. Krs GMD (Germany) T. Nakata, C&C Res. Labs, NEC (Japan) D. Kranzlmfiller, Univ. Linz (Austria) Y. M. Nechepurenko, Acad. Sci. (Russia) A. Krings, T. Univ. Clausthal (Germany) I. Nedelchev, Univ. Surrey (UK) W. Kuhn, Univ. Basel (Switzerland) R. Netzer, Brown Univ. (USA) S. Kumar, Indian Inst. Techn. (India) A. Neubacher, Univ. Linz (Austria) J. Kundu, Univ. Oregon (USA) N. J. Nevin, Univ. Tfibingen (Germany) B. Kuzmanl, Thinking Machines (USA) P. Newton, Univ. Tennessee (USA) R. Lashevsky, Univ. Aizu (Japan) A. C. Norman, Univ. Bath (UK) M. Le Fur, IRISA, Rennes (France) M. O'Boyle, IRISA, Rennes (France) T. Le Sergent, Univ. Edinburgh (UK) W. Oed, Cray Munich (Germany) M. Leoncini, Univ. Pisa (Italy) W. Ogata, Waseda Univ. (Japan) Y. Li, Univ. Aizu (Japan) P. Ohnacker, Univ. Basel (Switzerland) U. Linauer, Tech. Univ. Vienna (Austria) Okamoto, Waseda Univ. (Japan) J. Linhart, Univ. Salzburg (Austria) T. Ozawa, Fujitsu Laboratories (Japan) A. Llamosi, Univ. Illes Balears (Spain) J. Padget, Univ. Bath (UK) V. Lo, Univ. Oregon (USA) W. Pandikow, U. Porto Alegre (Brasil) A. Lobo, Renss. Polyt. Inst. (USA) P. Papadopoulos, Univ. Tennessee (USA) M. Loi, ENS Lyon (France) H. Paugam-Moisy, ENS Lyon (France) P. Loustaunan, G. Mason Univ. (USA) J.-L. Pazat, IRISA, Rennes (France) C. E. Love, Univ. Colorado (USA) S. Pelagatti, Univ. Pisa (Italy) R. Lusk, Argonne Nat. Lab. (USA) S. Peng, Univ. Aizu (Japan) H. Lutfiyya, Univ. Tennessee (USA) R. Perego, CNUCE-CNR (Italy) R. W. Lyttle, Queen's Univ. Belfast (UK) A. Perez, Univ. IUes Balears (Spain) B. B. Madan, Indian Inst. Techn. (India) R. Petreschi, Univ. Roma (Italy) E. Maillet, IMAG, Grenoble (France) G. Pretot, Univ. Basel (Switzerland) K. Malone, Univ. Liverpool (UK) T. Priol, IRISA, Rennes (Germany) B. Manchek, Univ. Tennessee (USA) D. Quammen, G. Mason Univ. (USA) V. Marakhovsky, Univ. Aizu (Japan) P. Rajcani, U. South California (USA) A. Marshall, Univ. Liverpool (UK) J.-X. Rampon, IRISA, Rennes (France) J. Marti, Univ. Bath (UK) L. Ranchwerger, Univ. Illinois (USA) J. Martin, U. IUes Balears (Spain) M. Raynal, IRISA, Rennes (France) B. Massey, Univ. Oregon (USA) L. Rieci, Univ. Pisa (Italy) J. M. Mathe, CERT, Toulouse (France) It. Richter, T. Univ. Munich (Germany) T. Matsumoto, Univ. Tokyo (Japan) T. Risset, ENS Lyon (France) IX

B. Rodriguez, Univ. Colorado (USA) M. Wolfe, Oregon Grad. Inst. (USA) A. Ruttan, Kent State Univ. (USA) L. Wolsey, CORE (Belgium) P. Ru~.i~ka, Comenius Univ. (Slovakia) H. Yamana, Yamanashi Univ. (Japan) V. Savchenko, Univ. Aizu (Japan) M. Q. Xu, Argonne Nat. Lab. (USA) V. Saletore, Oregon State Univ. (USA) A. Yoshida, Waseda Univ. (Japan) M. Sato, Yamanashi Univ. (Japan) L. Zancanella, U. Porto Alegre (Brasil) D. Saunders, Univ. Delaware (USA) S. Saxena, Indian Inst. Techn. (India) F. Seredynski, IMAG, Grenoble (France) W. Schreiner, Univ. Linz (Austria) S. Scott, Kent State Univ. (USA) M. Schwehm, Univ. Erlangen (Germany) M. Schumann, TU. Munich (Germany) K. Shanmugam, Univ. Oregon (USA) G. Shroff, Indian Inst. Techn. (India) T. Shirakawa, Tsukuba Univ. (Japan) M. Siegle, Univ. Erlangen (Germany) S. Smith, Thinking Machines (USA) A. Spa]t, Univ. Linz (Austria) I. Spence, Queen's Univ., Belfast (UK) M. D. Sprenger, Univ. Colorado (USA) F. Stacey, Univ. Edinburgh (UK) C. Stanfill, Thinking Machines (USA) B. Stephens, Univ. Liverpool (UK) D. Stauffer, Univ. Cologne (Germany) S. Stifter, Univ. Linz (Austria) C. Stirling, Univ. Edinburgh (UK) A. G. Sunderland, Univ. Liverpool (UK) K. Taki, Kobe University (Japan) M. Takai, Waseda Univ. (Japan) S. Ten, Univ. Aizu (Japan) P. Thiemann, Univ. Tfibingen (Germany) R. Thurimella, Univ. Denver (USA) M. Trehel, Univ. Franche (France) C. Tron, IMAG, Grenoble (France) P. Tu, Univ. Illinois (USA) S. Tuecke, Argonne Nat. Lab. (USA) M. Valero-Garcia, Cent. Parall. (Spain) A. van Gemund, Delft U. (Netherlands) T. yon Eicken, Cornell Univ. (USA) A. Vermeerbergen, IMAG (France) V. V. Voevodin, Acad. Sci. (Russia) I. Vrt'o, Acad. Sci. Bratisl. (Slovakia) D. Walker, Oak Ridge Nat. Lab. (USA) M. Wallace, ECRC Munich (Germany) J. Waczulik, Univ. Bratislava (Slovakia) J. Wedeck, Univ. Tfibingen (Germany) P. Weidner, Res. Cent. Jfilich (Germany) H. Weberpals, Univ. Haxburg (Germany) D. Wei, Univ. Aizu (Japan) Contents

Keynote Addresses

Scalability and Programmability of Massively Parallel Processors ...... 1 K. Hwang

Language Constructs and Runtime Systems for Compositional Parallel Programming ...... 5 L Foster, C. Kesselman

Locality Optimizations for Parallel Machines ...... 17 M. S. Lam

Performance Analysis and Monitoring

TAU: A Portable Parallel Program Analysis Environment for pC++ ...... 29 B. Mohr, D. Brown, A. Malony

Communication Pattern Based Performance Prediction on the nCUBE 2 Multiprocessor System ...... 41 Hr. Wabnig, G. Hating, D. Kranzlm~ller, J. Volker~

Performance Oriented Development of SPMD Programs Based on Task Structure Specifications ...... 53 A. Ferscha, J. Johnson

Monitoring for Detecting Bugs and Blocking Communication ...... 66 S. Grabner, D. Kranzlm~ller

Minimizing the Log Size for Execution Replay of Shared-Memory Programs ...... 76 L. J. Levrouw, K. M. R. Audenaert

GOLD MINE: Specification Language for Event-Based Monitoring ...... 88 W. Kastner, S. StSckler, I~. Zeitlberger

Parallel Program Development

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language (Short Version) ...... 100 L. Bongd, Y. Le Guyadec, G. Utard, B. Virot

Reduction in PEI ...... 112 E. Violard, G.-R. Perrin •

Towards the Synthesis of Asynchronous Concurrent Programs ...... 124 D. K. Arvind, B. R. J. McConnell

Formal Derivation of SIMD Parallelism from Non-Linear l~ecursive Specifications ...... 136 A. M. Geerling

Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation ..... 148 S. Fitzpatrick, T. J. Harmer, J. M. Boyle

Flexible Program and Architecture Specification for Massively Parallel Systems ...... 160 S. Kindermann

Systematic Approach and Software Tool for Systolic Design ...... 172 S. G. Sedukhin, L S. Sednkhin

ADVISE -- Agricultural Developmental Visualisation Interactive Software Environment ...... 184 L. Lan, M. Rezny, J. Belward, K. Burrage, B. Pohl

TOP u Tool Suite for the Development and Testing of Parallel Applications ...... 196 U. Deterl, M. Gerndt

Parallel Algorithms and Complexity Models

Vectorization of the Radix r Self-Sorting FFT ...... 208 M. Amor, M. J. Marlin, D. Blanco, O. G. Plata, F. F. Rivera, F. Arg~ello

Efficient Gram-Schmidt Orthogonalisation on an Array Processor ...... 218 M. Clint, J. S. Weston, J. B. Flannagan

Parallel Algorithm for Inverting Tridiagonal Matrix on Linear Processor Array ...... : ...... 229 M. K. Stoj~ev, E. L Milovanovi~, M. D. Mihajlovi~, I. 2. Milovanovi5

Systolic Algorithms for Long Integer GCD Computation ...... 241 T. Jebelean

Parallelization of Non-Simultaneous Iterative Methods for Systems of Linear Equations ...... 253 B. Di Marlino, G. Iannello

Hypercube Implementation and Performance Analysis for Extrapolation Models ...... 265 T. Rauber, G. R~nger •

An Approach to Machine-Independent Parallel Programming ...... 277 W. Zimmermann, W. LSwe

On Logic Program Parallelisation Strategies ...... 289 S. Prestwich

Paradigms Admitting Superunitary Behaviour in Parallel Computation .. 301 S. G. Akl, L. F. Lindon

Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic ...... 313 C. Limongelli, R. Pirastu

Parallel Computation of Modular Multivariate Polynomial Resultants on a Shared Memory Machine ...... 325 11. Hong, H. W. Loidl

Partial Marking GC ...... 337 Y. Tanaka, S. Matsui, A. Maeda, M. Nakanishi

Parallel Recognition and Location Algorithms for Chordal Graphs Using Distance Matrices ...... 349 S. D. Nikolc?Joulos

Comparing two Probabilistic Models of the Computational Complexity of the Branch and Bound Algorithm ...... 359 M. Dion, M. Gentler, S. Ubdda

Parallel Heap Construction Using Multiple Selection ...... 371 J. Chen

Engineering High Quality Parallel Software Using PARSE ...... 381 L Gorton, T. S. Chan, L Jelly

Massively Parallel Volume Rendering ...... 393 A. Spalt, E. Spiegl~ T. Meikl

Parallel Visibility Computations for Parallel Radiosity ...... 405 W. Sl~rzlinger, C. Wild

Parallel Architectures and Abstract Machines

Memory Access Synchronization in Vector Multiprocessors ...... 414 M. Valero, M. Peiron, E. Ayguadd

A Switch Cache Design for MIN-Based Shared-Memory Multiprocessors . 426 M. S. Yousif, C. R. Das xIV

Modeling Cache Coherence Overhead with Geometric Objects ...... 438 R. Kattner, M. Eger, C. M~ller-Schloer

Accelerated Access to Shared Distributed Arrays on Distributed Memory Systems by Access Objects ...... 449 S. L~pke

A Comparison of Shared Virtual Memory and Message Passing Programming Techniques Based on a Finite Element Application ...... 461 R. Bcrrendorf, M. Gerndt, Z. Lahjomri, T. Priol

Comparison Between a Message Passing and a Global Shared Memory Parallel Computer by Means of a Concrete Monte-Carlo Algorithm ...... 473 R. Dohmen

Non-homogeneous Parallel Memory Operations in a VLIW Machine ..... 485 R. Milikowski, W. G. Vree

Experience with the Implementation of a Concurrent Graph Reduction System on an nCube/2 Platform ...... 497 T. B~lck, A. Held, W. Kluge, S. Panlke, C. Rathsack, S.-B. Scholz, R. SchrSder

The Rewrite Rule Machine Node Architecture and Its Performance ...... 509 P. Lincoln, J. Meseguer, L. Ricciulli

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer ...... 521 K. Hammond, J. Mattson Jr., S. L. Peyton Jones

Virtual Tasks for the PACLIB Kernel ...... 533 W. Schreiner

MUSE: a Message Passing Concurrent Computer for On-Board Space Systems ...... 545 J.-Y. Lc Gall, F. Simon

Self-Timed Communication Strategies for Massively Parallel Systolic Architectures ...... 557 R. S. Hogg, D. W. Lloyd, W. L Hughes

Parallel Languages and Compiler Technology

VIM Language Paradigm ...... 569 N. Mirenkov

Distributed Linda 2haplespace Algorithms and Implementations ...... 581 M. D. Feng, Y. Q. Gao, C. K. Yuen xy

Supporting Coarse and Fine Grain Parallelism in an Extension of ML ... 593 P. Bailey, M. Newey, D. Silsky, R. Stanlon

Towards Mixed Computation/Communication in Parallel Scientific Libraries ...... 605 C. Calvin, L. Colombet, F. Desprez, B. Jargot, P. Michallon, B. Tourancheau, D. Trystram

Composing Functional Unit Blocks for Efficient Interpretation of MIMD Code Sequences on SIMD Processors ...... 616 R. A. Barley, P. A. Wilsey, N. B. Abu-Ghazaleh

Using Sacks to Organize Registers in VLIW Machines ...... 628 J. Llosa, M. Valero, J. A. B. Fortes, E. Ayguadff

A Framework for Resource-Constrained Rate-Optimal Software Pipelining ...... 640 R. Govindarajan, E. R. Altman, G. R. Gao

Design of a Meta-Parallelizer for Large Scientific Applications ...... 652 J.- Y. Berthou

A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism ...... 664 B. Chapman, P. Mehrolra, J. V. Rosendale, H. Zima

On Scanning Space-Time Mapped While Loops ...... 677 M. Griebl, C. Lengauer

Optimizing Communications by Using Compile Time Analysis ...... 689 M. R. Werth, P. Feaulrier

Optimal Tile Sizing ...... 701 R. Andonov, S. Rajopadhye

Evaluating Array Expressions on Massively Parallel Machines with Communication/Computation Overlap ...... 713 V. Bonchitt~, P. Boulet, A. Darte, Y. Robert

User Interaction and Symbolic Extensions to Dependence Analysis ...... 725 S. P. Johnson, C. S. Ierolheou, M. Cross, P. F. Leggell

Simplifying Polynomial Constraints Over Integers to Make Dependence Analysis More Precise ...... 737 V. Maslov, W. Pugh XVI

Networks and Routing

Asymptotically Optimal Communication Algorithms on Faulty Folded Petersen Networks ...... 749 S. R. Ohring, S. K. Das, D. H. Hohndel

Optimization of Diagnostic Examination ...... 761 R. Trobec, L Jerebic

Laying Out Midimew Networks with Constant Dilation ...... 773 G. Chen, F. C. M. Lau

Optimal Interval Routing ...... 785 P. Fraigniaud, C. Gavoille

Broadcasting in Bus Interconnection Networks ...... 797 A. Ferreira, A. Goldman vel Lejbman, S. W. Song

Broadcasting in the Arrowhead Torus ...... 808 D. Ddsdrable

Scheduling in Distributed Memory Systems

An Efficient Mapping Heuristic for Mesh-Connected Parallel Architectures Based on Mean Field Annealing ...... 820 L Harilao~lu, C. Aykanat

Mapping and Scheduling by Genetic Algorithms ...... 832 M. Schwehm, T. Walter

Self-Organizing Processes ...... 842 J. W. Meyer

Balancing Load under Large and Fast Load Changes in Distributed Computing Systems -- A Case Study ...... 854 T. Le Sergent, B. Berthomieu

Dynamic Load Balancing Mechanisms for a Parallel Operating System Kernel ...... 866 A. Elleuch, R. Kanawali, T. Munlean, E.-G. Talbi

A New Load-Prediction Scheme Based on Algorithmic Cost Functions ... 878 J. L. Roch, A. Vermeerbergen, G. Viliard

Authors Index ...... 891