Lecture Notes in Computer Science

Similar documents
Lecture Notes in Computer Science

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Lecture Notes in Computer Science

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

Lecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer

Lecture Notes in Computer Science

Lecture Notes in Computer Science

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

Lecture Notes in Computer Science

Lecture Notes in Computer Science

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

Lecture Notes in Computer Science

Spatio-Temporal Image Processing

Lecture Notes in Artificial Intelligence. Lecture Notes in Computer Science

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

Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective

Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence

Communications in Computer and Information Science 85

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

Lecture Notes in Computer Science

Lecture Notes in Computer Science

MATLAB Guide to Finite Elements

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

Human-Computer Interaction

Cognitive Systems Monographs

Architecture Design and Validation Methods

Lecture Notes in Computer Science

Design for Innovative Value Towards a Sustainable Society

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

Modeling Manufacturing Systems. From Aggregate Planning to Real-Time Control

Future-Oriented Technology Analysis

ICT for the Next Five Billion People

Lecture Notes in Control and Information Sciences

Lecture Notes in Control and Information Sciences 283. Editors: M. Thoma M. Morari

Simulation by Bondgraphs

Acoustic Emission Testing

Lecture Notes in Control and Information Sciences

Matthias Pilz Susanne Berger Roy Canning (Eds.) Fit for Business. Pre-Vocational Education in European Schools RESEARCH

Applied Technology and Innovation Management

Advances in Computer Vision and Pattern Recognition

Requirements Engineering for Digital Health

StraBer Wahl Graphics and Robotics

Lecture Notes in Computer Science

ZEW Economic Studies. Publication Series of the Centre for European Economic Research (ZEW), Mannheim, Germany

B.I. Dundas M. Levine P.A. Østvær O. Röndigs. Motivic Homotopy Theory. Lectures at a Summer School in Nordfjordeid, Norway, August 2002 ABC

Hierarchy Process. The Analytic. Bruce L. Golden Edward A. Wasil Patrick T. Harker (Eds.) Applications and Studies

Technology Roadmapping for Strategy and Innovation

Computer-Aided Production Management

Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK

Dry Etching Technology for Semiconductors. Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi

Scientific Data Mining and Knowledge Discovery

Health Information Technology Standards. Series Editor: Tim Benson

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

Enabling Manufacturing Competitiveness and Economic Sustainability

Lecture Notes in Applied and Computational Mechanics

Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

Lecture Notes in Control and Information Sciences 198. Editor: M. Thoma

Handbook of Engineering Acoustics

Lecture Notes in Control and Information Sciences 188. Editors: M. Thoma and W. Wyner

Risk-Based Ship Design

3 Forensic Science Progress

Cost Analysis and Estimating

Lecture Notes in Physics

Lecture Notes in Computer Science 6431

2 Forensic Science Progress

Lecture Notes in Artificial Intelligence

Lecture Notes in Computational Science and Engineering 68

Plenum Publishing Corporation London and New York

Lecture Notes in Economics and Mathematical Systems

TECHNOLOGY, INNOVATION, and POLICY 3. Series of the Fraunhofer Institute for Systems and Innovation Research (lsi)

Springer Series on. Signals and Communication Technology

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

Dao Companion to the Analects

Broadband Networks, Smart Grids and Climate Change

Advances in Real-Time Systems

U. Lindemann (Ed.) Human Behaviour in Design

Programming Methodology

ANALOG CIRCUITS AND SIGNAL PROCESSING

SpringerBriefs in Space Development

Testing Safety-Related Software

146 Advances in Polymer Science

Studies in Economic Ethics and Philosophy

6 Forensic Science Progress

Advances in Modern Tourism Research

Studies in Empirical Economics

AutoCAD for Windows Express

Synthetic Aperture Radar

Communications in Computer and Information Science 138

Introduction to Fuzzy Logic using MATLAB

Lecture Notes in Computer Science 3373

COMPARE 2012 Comparative Empirical Evaluation of Reasoning Systems

Lecture Notes in Computer Science 5000

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

Advanced Information and Knowledge Processing

Schriftenreihe der Wissenschaftlichen Landesakademie fur Niederosterreich

Lecture Notes in Artificial Intelligence

Dynamics of Fibre Formation and Processing

Management of Recreation and Nature Based Tourism in European Forests

Transcription:

Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 734 Advisory Board: W. Brauer D. Gries J. Stoer

Jens Volkert (Ed.) Parallel Computation Second International ACPC Conference Gmunden, Austria, October 4-6, 1993 Proceedings Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest

Series Editors Gerhard Goos Universit~t Karlsruhe Postfach 69 80 Vincenz-Priessnitz- StrafSe 1 D-76131 Karlsruhe, Germany Juris Hartmanis Cornell University Department of Computer Science 4130 Upson Hall Ithaca, NY 14853, USA Volume Editors Jens Volkert Institut fiir Informatik, Johannes Kepler Universit~it Linz Altenbergerstr. 69, A-4040 Linz, Austria CR Subject Classification (1991): D.1.3, D.2.6, F.2.1-2, D.3.2 ISBN 3-540-57314-3 Springer-Verlag Berlin Heidelberg New York ISBN 0-387-57314-3 Springer-Verlag New York Berlin Heidelberg 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. 9 Springer-Verlag Berlin Heidelberg 1993 Printed in Germany Typesetting: Camera-ready by author Printing and binding: Drnckhaus Beltz, Hemsbach/Bergstr. 45/3140-543210 - Printed on acid-free paper

Preface The Austrian Center for Parallel Computation (ACPC) is a co-operative research organization founded in 1989 to promote research and education in the field of software for parallel computer systems. The areas in which the ACPC is active include algorithms, languages, compilers, programming environments, and applications for parallel and high-performance computing systems. The partner institutions of the ACPC come from the University of Vienna, the Technical University of Vienna, and the Universities of Linz and Salzburg. They carry out joint research projects, share a pool of hardware resources, and offer a joint curriculum in Parallel Computation for graduate and postgraduate students. In addition, an international conference is organized every other year. The Third International Conference of the ACPC will take place in Vienna in 1995. The Second h2ternational Conference of the ACPC took place in Gmunden, Austria, from October 4 to October 6, 1993. The conference attracted many participants from around the world. Authors from 17 countries submitted 44 papers, from which 15 were selected and presented at the conference. In addition, 4 distinguished researchers presented invited papers. The papers from these presentations are contained in this proceedings volume. The organization of the conference was the result of the dedicated work of a large number of individuals, not all of whom can be mentioned here. I would like, in particular, to achnowledge the efforts made by the members of tlae Program Committee and the referees. The organizational and administrative support from Alfred Spalt, Romana Schiller, Irmgard Husinsky and Bernhard Knaus was exceptionally valuable. Finally, we gratefully acknowledge the following organizations which have supported the conference: The Austrian Ministry for Science and Research The Austrian Science Foundation (FWF) The Governor of the Province of Upper Austria The Mayor of Gmunden Amt der O.13. Landesregierung Kammer der Gewerblichen Wirtschaft ftir Ober0sterreich Linzer Hochschulfonds Vereinigung Osterreichischer Industrieller Landesgruppe O.0

VI Bacher Systems EDV GmbH (Vienna, A) CRAY Research GmbH (Munich, D) Digital Equipment Corp. (Vienna, A) GE.PAR,D, Ges. f. Parallele Datenverarbeitung GmbH (Vienna, A) IBM (Vienna, A) Intel Corporation Ltd. (Swindon, U.K) MasPar Computergesellschaft (Neubiberg, D) ncube Deutschland GmbH (Munich, D) Siemens Nixdorf Informationssysteme GmbH (Vienna, A) Silicon Graphics GmbH (Vienna, A) Linz, August 1993 Jens Volkert

Contents Architectures High-Performance Computing on a Honeycomb Architecture...,... 1 B. Robic, J. Silc Refined Local Instruction Scheduling Considering Pipeline Interlocks... 14 J. Schepers Algorithms Invited Lecture: Microscopic and Macroscopic Dynamics... 26 W.G. Hoover, C.G. Hoovel; A.I. De Groot, T.G. Pierce Further Results of the Relaxed Timing Model for Distributed Simulation... 45 A.G. Neto Pipelining Computations on Processor Arrays with Reconfigurable Bus Systems... 56 H. ElGindy An Effective Algorithm for Computation of Two-Dimensional Fourier Transform for NxM Matrices... 64 M. Lucka Rational Number Arithmetic by Parallel P-adic Algorithms... 72 C. Limongelli, H.W. Loidl Shortest Non-Synchronized Motions - Parallel Versions for Shared Memory CREW Models... 87 S. Stifter A Pipeline Algorithm for Interactive Volume Visualization... 105 A. Spalt Languages Invited Lecture: Data Parallel Programming: The Promises and Limitations of High Performance Fortran... 114 P. Mehrotra Invited Lecture: Foundations of Practical Parallel Programming Languages... 115 L. Snyder

VIII Prototyping Parallel Algorithms with PROSET-Linda... 135 W. Hasselbring Identifying the Available Parallelism Using Static Analysis... 151 S. Kalogeropulos Automatic Parallelization by Pattern-Matching... 166 C.W. Kefller, W.J. Paul Parallelization - A Case Study... 182 J. Lampe Programming Environments Invited Lecture: PVM 3 Beyond Network Computing... 194 G.A. Geist The Design of the PACLIB Kernel for Parallel Algebraic Computation... 204 W. Schreiner, H. Hong Generating Parallel Code from Equations in the ObjectMath Programming Environments... 219 P. Fritzson, N. Andersson The Paragon Performance Monitoring Environment... 233 B. Ries, R. Aluterson, W. Auld, D. Breazeal, K. Callaghan, E. Richards, W. Smith