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

1388

Springer Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo

Jos6 Rol im (Ed.)

Parallel and Distributed Processing

10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing Orlando, Florida, USA, March 3 0 - April 3, 1998 Proceedings

Springer

Series Editors

Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands

Volume Editor

Jos6 Rolim University of Geneva, Computer Science Center 23, Rue G6n6ral Dufour, CH-1211 Geneva 4, Switzerland E-mail: jose.rolim@cui.unige.ch

Cataloging-in-Publication data applied for

Die Deutsche Bibliothek - CIP-Einheitsaufnahme

Parallel and distributed processing : 10 IPPS/SPDP '98 workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributetd Processing, Orlando, Florida, USA, March 30 - April 3, 1998 ; proceedings / Jos6 Rolim (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1998

(Lecture notes in computer science ; Vol. 1388) ISBN 3-540-64359-1

CR Subject Classification (1991): C.1-4, B.1-7, D.1-4,E1-2, G.1-2, E.I, H.2

ISSN 0302-9743 ISBN 3-540-64359-1 Springer-Verlag Berlin Heidelberg New York

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.

© Springer-Verlag Berlin Heidelberg 1998 Printed in Germany

Typesetting: Camera-ready by author SPIN 10632087 06/3142 - 5 4 3 2 1 0 Printed on acid-free paper

Foreword

This volume contains proceedings from ten workshops held in conjunction with the 12th International Parallel Symposium and the 9th Symposium on Parallel and Distributed Processing, 1998 IPPS/SPDP, from March 30 to April 3 in Orlando, Florida.

The workshops provide a forum for bringing together researchers, practition- ers, and designers from various backgrounds to discuss the state of the art in parallelism. They focus on different aspects of parallelism, from run time sys- tems to formal methods, from fault-tolerant to randomized computation, from biology to networks of personal computers, from embedded systems to combi- natorial optimization problems. The following workshops are represented in this volume:

- Reconfigurable Architectures Workshop - Workshop on Run-Time Systems for Parallel Programming - Workshop on Biologically Inspired Solutions to Parallel Processing Problems - Workshop on Randomized Parallel Computing - Workshop on Solving Combinatorial Optimization Problems in Parallel - Workshop on Personal Computer Based Networks of Workstations - Workshop on Fault-Tolerant Parallel and Distributed Systems - Workshop on Formal Methods for Parallel Programming - Workshop on Embedded HPC Systems and Applications - Workshop on Parallel and Distributed Real-Time Systems

The scientific programs of the workshops were organized by Peter M. Athanas, Reiner W. Hartenstein, Matthew Haines, Koen Langendoen, Greg Benson, Al- bert Y. Zomaya, Fikret Ercal, Stephan Olariu, Panos Pardalos, Sanguthevar Ra- jasekaran, Jens Ctausen, Giovanni Chiola, Gianni Conte, Dimiter Avresky, David R. Kaeli, Dominique Mery, Beverly Sanders, Devesh Bhatt, Viktor Prasanna, David Andrews, P.D.V. van der Stok, Kenji Toda. All papers published in the workshops proceedings were selected by the program committee on the basis of referee reports. Each paper was reviewed by independent referees who judged the papers for originality, quality, and consistency with the themes of the workshops.

We would like to thank the General Co-Chairs Viktor K. Prasanna and Behrooz Shirazi for their support and encouragement, the Steering Committee Chair, George Westrom, for his guidance and vision, the Program Committee and its Chair, Sartaj Sahni, for his technical leadership in organizing the con- ference and the Finance Chair, Bill Pitts, for making this publication possible. Special thanks are due to Sally, Jelinek, for her assistance with meeting publicity, to Susamma Barua for making local arrangements, and to Prashanth Bhat for his tireless efforts in interfacing with the organizers.

We gratefully acknowledge sponsorship from the IEEE Computer Society and its Technical Committee on Parallel Processing and the cooperation of the ACM SIGARCH. Finally, we would like to thank Danuta Sosnowska and Germaine Gusthiot for their help in the preparation of this volume.

February 1998 Jos@ D. P. Rolim

Contents

Reconfigurable Archi tec tures Workshop Pe t e r M. Athanas , Virginia Tech, USA Reiner W. Har tens te in , Universi ty of Kaisers lau tern , G e r m a n y

Dynamic Reconfiguration of a PMMLA for High-Throughput Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 G. Ghare and S.-Y. Lee

Virtual FPGAs: Some Steps Behind the Physical Barriers . . . . . . . . . . . . . . . 7 W. Fornaciari and V. Piuri

A Parallel Algorithm for Minimum Cost Path Computation on Polymorphic Processor Array . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 P. Baglietto, M. Maresea and M. MigIiardi

A Performance Modeling and Analysis Environment for Reconfigurable Computers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 J. Walrath and R. Vemuri

Runtime Reconfigurable Routing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 G. Brebner and A. DonIin

An Integrated Partitioning and Synthesis System for Dynamically Reconfigurabte Multi-FPGA Architectures . . . . . . . . . . . . . . 31 I. Ouaiss, S. Govindarajan, V. Srinivasan, M. Kaul and R. Vemuri

Temporal Partioning for Partially-Reconfigur able-Field-Programmable Gate . . . . . . . . . . . . . . . . . . . . . . 37 J. SpiUane and H. Owen

A Java Development and Runtime Environment for Reconfigurable Computing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 D. Davis, M. Barr, T. Bennett, S. Edwards, J. Harris, I. Miller and C. Schanck

Synthesizing Reconfigurable Sequential Machines Using Tabular Models .. 49 K. Rath and J. Li

Evaluation of a Low-Power Reconfigurable DSP Architecture . . . . . . . . . . . . 55 A. Abnous, K. Seno, Y. Ichikawa, M. Wan and J. Rabaey

A Reconfigurable Hardware-Monitor for Communication Analysis in Distributed Real-Time Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 A. Kirschbaum, J. Becker and M. Glesner

VIII

On Reconfigurable Co-processing Units . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 R.W. Hartenstein, M. Herz, T. Hoffmann and U. Nageldinger

A Mathematical Benefit Analysis of Context Switching Reconfigurable Computing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 S.M. Scalera, J.J. Murray and S. Lease

A Configurable Computing Approach Towards Real-Time Target Tracking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 B. Pudipeddi, A.L. Abbot and P.M. Athanas

HOSMII: A Virtual Hardware Integrated with DRAM . . . . . . . . . . . . . . . . . . . 85 Y. Shibata, H. Miyazaki, X. Ling and H. Amano

Hardware Reconfigurable Neural Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 J.L. Beuchat, Y.O. Haenni and E. Sanchez

A Simulator for the Reconfigurable Mesh Architecture . . . . . . . . . . . . . . . . . . . 99 C. Steckel, M. Middendorf, H. E1Gindy and H. Schmeck

PACE: Processor Architectures for Circuit Emulation . . . . . . . . . . . . . . . . . . . . 105 R. KoUa and O. Springauf

Workshop on R u n - T i m e Sys tems for Para l le l P r o g r a m m i n g M a t t h e w Haines , Univers i ty of Wyoming , USA K o e n Langendoen , Vrije Univers i te i t , T h e N e t h e r l a n d s Greg Benson, Univers i ty of Cal i fornia at Davis, USA

Multiparadigm, Multilingual Interoperability: Experience with Converse . 111 L. V. Kald, M. Bhandarkar, R. Brunner and J. Yelon

An Empirical Comparison of Runtime Systems for Conservative Parallel Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 C.C. Lim, Y.H. Low, W. Cai, W.J. Hsu, S.Y. Huang and S.J. Turner

Synchronizing Operations on Multiple Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 T. Riihl and H.E. Bal

Runtime Support for Virtual BSP Computer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 M.V. Nibhanupudi and B.K. Szymanski

Migration and Rollback Transparency for Arbitrary Distributed Applications in Workstation Clusters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159 S. Petri, M. Bolz and H. LangendSrfer

Ix

Network-Aware Distributed Computing: A Case Study . . . . . . . . . . . . . . . . . . 171 H. Tangmuna~ankit and P. Steenkiste

Efficient Runtime Thread Management for the Nano-Threads Programming Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D.S. Nikolopoulos, E.D. Polychronopoulos and T.S. Papatheodorou

183

A Topology Based Approach to Coordinated Multicast Operat ions . . . . . . . 195 o r. Nolte

Workshop on Biologically Inspired Solutions to Parallel Processing Problems Albert Y. Zomaya, The University of Western Australia Fikret Ercal, University of Missouri-Rolla Stephan Ola r iu , O ld Dominion University

Computing with Evolving Proteins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207 J.L. Ferndndez-Villaca~as, J.M. Fatah and S. Amin

A Parallel Evolutionary Algorithm for the Vehicle Routing Problem with Heterogeneous Fleet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216 L.S. Oehi, D.S. Vianna, L.M.A. Drummond and A.O. Victor

Locality Optimization for Program Instances . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 C. Leopold

Artificial Neural Networks on Reconfigurable Meshes . . . . . . . . . . . . . . . . . . . . 234 J.-F. Jenq and W.N. Li

A Molecular Quasi-Random Model of Computat ions Applied to Evaluate Collective Intelligence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 243 T. Szuba

Replicated Shared Object Model for Edge Detection with Spiral Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252 X. He, T. Hintz and U. Szewcow

Scheduling Tasks of a Parallel Program in Two-Processor Systems with Use of Cellular Au tomata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261 F. Seredyr~ski

Evolving Processes and Evolution Schedulers for Concurrent Scheduling Controls and Parallel Evolutionary Computa t ion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270 T. Elrad and J. Lin

An Evolutionary Approach to Multiprocessor Scheduling of Dependent Tasks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279 R. Nossal

Multiprocessor Scheduling Using Mean-Field Annealing . . . . . . . . . . . . . . . . . . 288 S. Salleh and A. ]I. Zomaya

Using the BSP Cost Model to Optimise Parallel Neural Network Training . . . . . . . . . . . . . . . . . . . . . . . . . . . 297 R.O. Rogers and D.B. Skillicorn.

A Fault-Tolerant Parallel Heuristic for Assignment Problems . . . . . . . . . . . . 306 E.-G. Tatbi, J.-M. Geib, Z. Hafidi and D. Kebbal

Meta-heuristics for Circuit Parti t ioning in Parallel Test Generat ion ...... 315 C. Gil, J. Ortega, A.F. D[az and M.G. Montoya

W o r k s h o p o n R a n d o m i z e d P a r a l l e l C o m p u t i n g Panos Pardalos, University of Florida, G a i n e s v i l l e S a n g u t h e v a r Rajasekaran, University of Florida, G a i n e s v i l l e

A Survey of Randomness and Parallelism in Comparison Problems ....... 324

D. Krizanc

Captur ing the Connectivity of High-Dimensional Geometric Spaces by Parallelizable Random Sampling Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . 330 D. Hsu, L.E. Kavraki, J.C. Latombe and R. Motwani

Optimal Bounds on Tail Probabilities - A Simplified Approach . . . . . . . . . . . 341 A. Cohen, ]I. Rabinovieh, A. Schuster and H. Shachnai

Random Sampling Techniques in Parallel Computa t ion . . . . . . . . . . . . . . . . . . 351 R. Raman

Randomizat ion in Parallel Stringology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 361 S. Muthukrishnan

Randomized Parallel Prefetching and Buffer Management . . . . . . . . . . . . . . . . 363 P.J. Varman

Parallel Algorithms for Finite Au toma ta Problems . . . . . . . . . . . . . . . . . . . . . . . 373 B. Ravikumar

Randomized Routing and PRAM Emulation on Parallel Machines . . . . . . . 374 D.S.L. Wei

×l

On Randomized and Deterministic Schemes fbr Routing and Sorting on Fixed-Connection Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384 T. SueI

High Performance Linear Algebra Pacl~ge LAPACK90 . . . . . . . . . . . . . . . . . . 387 Y. Dongarra and J. Wagniewski

Ultrafast Randomized Parallel Construction and Approximation Algorithms for Spanning Forests in Dense Graphs . . . . . . . . . . . . . . . . . . . . . . . 392 A. Dessmark, C. Dorgerloh, A. Lingas and J. Wirtgen

Parallel Randomized Techniques for Some FundamentM Geometric Problems: A Survey . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400 S. Ramaswami

Randomized Algorithms on the Mesh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 408 L. Narayanan

Implementing Parallelism in Random Discrete Event-Driven Simulation .. 418 M. Bumble and L. Coraor

Reconfigurable Wormhole Networks: A Realistic Approach . . . . . . . . . . . . . . . 428 J.L. Sdnchez, J.M. Garc~a and F.J. Alfaro

W o r k s h o p o n S o l v i n g C o m b i n a t o r i a l O p t i m i z a t i o n P r o b l e m s in P a r a l l e l J e n s C l a u s e n , T e c h n i c a l U n i v e r s i t y o f D e n m a r k

Scheduling with Communication Delays and Data Routing in Message Passing Architectures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438 A. Moukrim and A. QuilIiot

Parallel Optimisation in the SCOOP Library . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452 P.K. Nilsen and N. Prcovic

NC Algorithms for the Single Most Vital Edge Problem with Respect to All Pairs Shortest Paths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464 S. Venema, H. Shen and F. Suraweera

×ll

Workshop on Persona l C o m p u t e r Based Ne tworks of Works t a t i ons Giovanni Chiola, DISI , Univers i ty of Genoa , I t a ly Giann i Conte , Univers i ty of Parma~ I t a ly

BIP: A New Protocol Designed for High Performance Networking on Myrinet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472 L. Prylli and B. Tourancheau

COMPaS: A Pentium Pro PC-based SMP Cluster and Its Experience . . . . 486 ]I. Tanaka, M. Matsuda, M. Ando, K. Kubota and M. Sato

PULC: ParaStation User-Level Communication. Design and Overview . . . 498 Y.M. Blum, T.M. Warschko and W.F. Tichy

Eliminating the Protocol Stack for Socket Based Communication in Shared Memory Interconnects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510 S.Y. Ryan and H. Bryhni

Porting a Molecular Dynamics Application on a Low-Cost Cluster of Personal Computer Running GAMMA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 524 G. Ciaccio and V. Di Martino

Optimal Communication Performance on Fast Ethernet with GAMMA .. 534 G. Ciaccio

MPI on NT: A Preliminary Evaluation of the Available Environments . . . 549 M. Baker and G. Fox

Workshop on Fau l t -To le ran t Para l le l and D i s t r i b u t e d Sys tems D imi t e r Avresky, Bos ton Univers i ty Dav id R. Kaeli , N o r t h e a s t e r n Univers i ty

Failure Recovery for Distributed Processes in Single System Image Clusters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 564 Y. Zabarsky

The QCD Abacus: A Cellular Automata Formulation for Continuous Gauge Symmetries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 584 R. C. Brower

Affordable Fault Tolerance Through Adaptation . . . . . . . . . . . . . . . . . . . . . . . . . 585 I. Chang, M.A. Hiltunen and R.D. Schlichting

Design and Implementation of the FRIENDS System . . . . . . . . . . . . . . . . . . . . 604 J.-C. Fabre

×Ill

A Generalized Forward Recovery Checkpointing Scheme . . . . . . . . . . . . . . . . . 623 K. Huang, J. Wu and E.B. Fernandez

Derivation of Fail-Aware Membership Service Specifications . . . . . . . . . . . . . . 644 C. Fetzer and F. Cristian

The Timewheel Group Membership Protocol . . . . . . . . . . . . . . . . . . . . . . . . . . . . 664 S. Mishra, C. Fetzer and F. Cristian

Fault-Tolerant Broadcasting in Toroidal Networks . . . . . . . . . . . . . . . . . . . . . . . 681 B. Almoharamad and B. Bose

A Flexible Approach for a Fault-Tolerant Router . . . . . . . . . . . . . . . . . . . . . . . . 693 A.C. DSring, W. ObelSer, G. Lustig and E. Maehle

Fault-Tolerant Message Routing for Multiprocessors . . . . . . . . . . . . . . . . . . . . . 714 L. Zakrevski and M. Ka~povsky

Self-Testing Fault-Tolerant Real-Time Systems . . . . . . . . . . . . . . . . . . . . . . . . . . 731 M. Rooholamini and S.H. Hosseini

Ckeckpointing Protocols in Distributed Systems with Mobile Hosts: A Performance Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 742 F. Quaglia, B. Ciciani and R. Baldoni

Performance Analysis of a Fault-Tolerant Scheme for Location Management of Mobile Hosts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 756 S. Biaz and N.H. Vaidya

Fault Tolerant Mobility Planning for Rapidly Deployable Wireless Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 770 C. Shields Yr., V. Jain, S. Ntafos, R. Prakash and S. Venkatesan

W o r k s h o p on F o r m a l M e t h o d s for P a r a l l e l P r o g r a m m i n g : T h e o r y a n d A p p l i c a t i o n s Dominique M e r y , Univers i t@ Henri Poincare-Nancy 1 and IUF, F r a n c e B e v e r l y S a n d e r s , U n i v e r s i t y o f F l o r i d a , U S A

Building BSP Programs Using the Refinement Calculus . . . . . . . . . . . . . . . . . . 790 D.B. Skillicorn

Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 796 R.A. Gamboa

XIV

On the Automatic Validation of Parameterized Unity Programs . . . . . . . . . . 807 J.P. Bodeveix and M. Filali

Tailoring UNITY to Distributed Program Design . . . . . . . . . . . . . . . . . . . . . . . . 820 M. Cha~pentier, M. Filali, P. Mauran, G. Padiou and P. Qudinnec

Automatically Proving UNITY Safety Properties with Arrays and Quantifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833 X. Thirioux

Experiments with Program Parallelization Using Archetypes and Stepwise Refinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 844 B.L. Massingill

Deriving Efficient Cache Coherence Protocols through Refinement . . . . . . . 857 R. Nalumasu and G. Gopalakrishnan

An Introduction to Mobile UNITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 871 R. Gruia-Catalin and P.J. McCann

An Object Model for Multiprogramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881 J. Misra

A Cottage Industry of Software Publishing: Implications for Theories of Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 890 K.M. Chandy, P.A.G. Sivilotti and J.R. Kiniry

Workshop on E m b e d d e d H P C Sys tems and Appl ica t ions Devesh B h a t t , Honeywel l Technology Cen te r , USA Vik to r P r a s a n n a , Univ. of S o u t h e r n California, U S A

Thermal Management in Embedded Systems Using MEMS . . . . . . . . . . . . . . 900 J. Draper, J. Block, J. Koller and C. Steele

A Scalable Muttiprocessor for Real-Time Signal Processing . . . . . . . . . . . . . . 902 D. Scherrer and H. Eberle

Safety Net: Secure Communications for Embedded High-Performance Computing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 908 C. Steele, J. Draper and J. Koller

Partial Rearrangements of Space-Shared FPGAs . . . . . . . . . . . . . . . . . . . . . . . . 913 O. Diessel and H. EIGindy

×v

Measuring the Vulnerability of Interconnection Networks in Embedded Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 919 V. Lakamraju, Z. Koren, I. Koren and C.M. Krishna

An Architecture for Rapid Distributed Fault Tolerance . . . . . . . . . . . . . . . . . . 925 S.H. Russ

A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 931 B. Ravindran, L.R. Welch, C. B~uggerman, B.A. Shirazi and C. Cavanaugh

A Mapping Methodology for Designing Software Task Pipelines for Embedded Signal Processing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 937 M. Lee, W. Liu and V.K. Prasanna

Toward Embedded Development from Advanced Khoros . . . . . . . . . . . . . . . . . 945 J. Fogler, T. Robey and M. Young

Object Nets for the Design and Verification of Distributed and Embedded Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 953 J. Niitzel, B. Dane and W. Fengler

Data Parallel Programming with the Khoros Data Services Library . . . . . . 963 S. Kubica, T. Robey and C. Moorman

A Development Tool Environment for Configuration, Build, and Launch of Complex Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 969 M. Krueger

Simulation of the Communication Time for a Space-Time Adaptive Processing Algorithm on a Parallel Embedded System . . . . . . . . . . . . . . . . . . . 979 J.M. West and J.K. Antonio

Optimal Configuration of Compute Nodes for Synthetic Aperture Radar Processing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 987 S. Kubica, T. Robey and C. Moorman

Workshop on Paral le l and D i s t r i bu t ed Rea l -T ime Sys tems David Andrews~ UofA~ USA P.D.V. van der Stok, E indhoven Univers i ty , T h e N e t h e r l a n d s Kenj i Toda , E lec t ro - t ech Labora to ry , J a p a n

A Visual Environment for the Development of Parallel Real-Time Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 994 J.R.P. Ribeiro, N.C. da Silva and C.E. Mor6n

×vI

Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . J.G. Mart(nez, J.L.D. de Arriba, J.E. Casta~o and D.F.G. Mart~nez

1015

Performance Range Comparison via Crossing Point Analysis . . . . . . . . . . . . . 1025 X.-H. Sun

A Tree-Driven Multiple-Rate Model of Time Measuring in Object-Oriented Real-Time Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1037 V. Min~ev and D. Milidev

Resource Reservation for Adaptive QOS Mapping in Real-Time Mach . . . 1047 T. Nakajima

Automated Verification of Communication Protocols Using CCS and BDDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1057 R. Lichtenecker, If. Gotthart and J. Zalewski

NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1067 M. Horauer, U. Schmid and K. Schossmaier

Modeling and Validation Support for Interactive Networked Multimedia Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1077 L.P. Gaspary and M.J.B. Almeida

EDF Consensus on CAN Bus Access for Dynamic Real-Time Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1088 M.A. Livani and J. Kaiser

Using PVM and MPI for Co-processed, Distributed and Parallel Scientific Visualization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1098 R. Haimes and K.E. Jordan

Surge Handling as a Measure of Real-Time System Dependabil i ty . . . . . . . . 1106 Z. Koren, L Koren and C.M. Krishna

Partial Security and Timeliness in Real-Time Database Systems . . . . . . . . . 1117 S.H. Son

A Synthesis Method for Fault-Tolerant Multicast Routing Protocol ...... 1121 K. lshida and K. Amano

Improved Videotransmission over Lossy Channels Using Parallelization .. 1131 C. Giinzel, F. Riemenschneider and J. Wirtgen

XVII

Test ing of Synchron iza t ion Cond i t ions for D i s t r i bu t ed R e a l - T i m e App l i ca t i ons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.D. Kshemkatyani

An Arch i t ec tu re for Network Resource Moni to r ing in a D i s t r i b u t e d Env i ronmen t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . P.M. Irey, R.W. Hott and D.T. Marlow

1140

1153

A u t h o r Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1165