## Parallel and Distributed Processing: 10th International 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 30 - April 3, 1998, Proceedings, Volume 10This book constitutes the refereed proceedings of 10 international workshops held in conjunction with the merged 1998 IPPS/SPDP symposia, held in Orlando, Florida, US in March/April 1998. The volume comprises 118 revised full papers presenting cutting-edge research or work in progress. In accordance with the workshops covered, the papers are organized in topical sections on reconfigurable architectures, run-time systems for parallel programming, biologically inspired solutions to parallel processing problems, randomized parallel computing, solving combinatorial optimization problems in parallel, PC based networks of workstations, fault-tolerant parallel and distributed systems, formal methods for parallel programming, embedded HPC systems and applications, and parallel and distributed real-time systems. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Dynamic Reconfiguration of a PMMLA for HighThroughput Applications | 1 |

Some Steps Behind the Physical Barriers | 7 |

A Parallel Algorithm for Minimum Cost Path Computation on Polymorphic Processor Array | 13 |

A Performance Modeling and Analysis Environment for Reconfigurable Computers | 19 |

Runtime Reconfigurable Routing | 25 |

An Integrated Partitioning and Synthesis System for Dynamically Reconfigurable MultiFPGA Architectures | 31 |

Temporal Partitioning for Partially ReconfigurableFieldProgrammable Gate | 37 |

A Java Development and Runtime Environment for Reconfigurable Computing | 43 |

Eliminating the Protocol Stack for Socket Based Communication in Shared Memory Interconnects | 510 |

Porting a Molecular Dynamics Application on a LowCost Cluster of Personal Computers Running GAMMA | 524 |

Optimal Communication Performance on Fast Ethernet with GAMMA | 534 |

A Preliminary Evaluation of the Available Environments | 549 |

Failure Recovery for Distributed Processes in Single System Image Clusters | 564 |

A Cellular Automata Formulation for Continuous Gauge Symmetries | 584 |

Affordable Fault Tolerance through Adaptation | 585 |

Design and Implementation of the FRIENDS System | 604 |

Synthesizing Reconfigurable Sequential Machines Using Tabular Models | 49 |

Evaluation of a LowPower Reconfigurable DSP Architecture | 55 |

A Reconfigurable HardwareMonitor for Communication Analysis in Distributed RealTime Systems | 61 |

On Reconfigurable Coprocessing Units | 67 |

A Mathematical Benefit Analysis of Context Switching Reconfigurable Computing | 73 |

A Configurable Computing Approach Towards RealTime Target Tracking | 79 |

A Virtual Hardware Integrated with DRAM | 85 |

Hardware Reconfigurable Neural Networks | 91 |

A Simulator for the Reconfigurable Mesh Architecture | 99 |

Processor Architectures for Circuit Emulation | 105 |

Experience with Converse | 111 |

An Empirical Comparison of Runtime Systems for Conservative Parallel Simulation | 123 |

Synchronizing Operations on Multiple Objects | 135 |

Runtime Support for Virtual BSP Computer | 147 |

Migration and Rollback Transparency for Arbitrary Distributed Applications in Workstation Clusters | 159 |

A Case Study | 171 |

Efficient Runtime Thread Management for the NanoThreads Programming Model | 183 |

A Topology Based Approach to Coordinated Multicast Operations | 195 |

Computing with Evolving Proteins | 207 |

A Parallel Evolutionary Algorithm for the Vehicle Routing Problem with Heterogeneous Fleet | 216 |

Locality Optimization for Program Instances | 225 |

Artificial Neural Networks on Reconfigurable Meshes | 234 |

A Molecular QuasiRandom Model of Computations Applied to Evaluate Collective Intelligence | 243 |

Replicated Shared Object Model for Edge Detection with Spiral Architecture | 252 |

Scheduling Tasks of a Parallel Program in TwoProcessor Systems with Use of Cellular Automata | 261 |

Concurrent Scheduling Controls and Parallel Evolutionary Computation | 270 |

An Evolutionary Approach to Multiprocessor Scheduling of Dependent Tasks | 279 |

Multiprocessor Scheduling Using MeanField Annealing | 288 |

Using the BSP Cost Model to Optimise Parallel Neural Network Training | 297 |

A FaultTolerant Parallel Heuristic for Assignment | 306 |

Metaheuristics for Circuit Partitioning in Parallel Test Generation | 315 |

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

HighDimensional Geometric Spaces by Parallelizable Random Sampling Techniques | 330 |

Optimal Bounds on Tail Probabilities A Simplified Approach | 341 |

Random Sampling Techniques in Parallel Computation | 351 |

Randomization in Parallel Stringology | 361 |

Management | 363 |

Parallel Algorithms for Finite Automata Problems | 373 |

Randomized Routing and PRAM Emulation on Parallel Machines | 374 |

On Randomized and Deterministic Schemes for Routing and Sorting on FixedConnection Networks | 384 |

High Performance Linear Algebra Package LAPACK90 | 387 |

Ultrafast Randomized Parallel Construction and Approximation Algorithms for Spanning Forests in Dense Graphs | 392 |

A Survey | 400 |

Randomized Algorithms on the Mesh | 408 |

Implementing Parallelism in Random Discrete EventDriven Simulation | 418 |

A Realistic Approach | 428 |

Scheduling with Communication Delays and Data Routing in Message Passing Architectures | 438 |

Parallel Optimisation in the SCOOP Library | 452 |

NC Algorithms for the Single Most Vital Edge Problem with Respect to All Pairs Shortest Paths | 464 |

A New Protocol Designed for High Performance Networking on Myrinet | 472 |

A Pentium Pro PCbased SMP Cluster and Its Experience | 486 |

ParaStation UserLevel Communication Design and Overview | 498 |

A Generalized Forward Recovery Checkpointing Scheme | 623 |

Derivation of FailAware Membership Service Specifications | 644 |

The Timewheel Group Membership Protocol | 664 |

FaultTolerant Broadcasting in Toroidal Networks | 681 |

A Flexible Approach for a FaultTolerant Router | 693 |

FaultTolerant Message Routing for Multiprocessors | 714 |

SelfTesting FaultTolerant RealTime Systems | 731 |

Checkpointing Protocols in Distributed Systems with Mobile Hosts | 742 |

Performance Analysis of a FaultTolerant Scheme for Location Management of Mobile Hosts | 756 |

Fault Tolerant Mobility Planning for Rapidly Deployable Wireless Networks | 770 |

Building BSP Programs Using the Refinement Calculus | 790 |

Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2 | 796 |

On the Automatic Validation of Parameterized Unity Programs | 807 |

Tailoring UNITY to Distributed Program Design | 820 |

Automatically Proving UNITY Safety Properties with Arrays and Quantifiers | 833 |

Experiments with Program Parallelization Using Archetypes and Stepwise Refinement | 844 |

Deriving Efficient Cache Coherence Protocols through Refinement | 857 |

An Introduction to Mobile UNITY | 871 |

An Object Model for Multiprogramming | 881 |

Implications for Theories of Composition | 890 |

Thermal Management in Embedded Systems Using MEMS | 900 |

A Scalable Multiprocessor for RealTime Signal Processing | 902 |

Secure Communications for Embedded HighPerformance Computing | 908 |

Partial Rearrangements of SpaceShared FPGAs Extended Abstract | 913 |

Measuring the Vulnerability of Interconnection Networks in Embedded Systems | 919 |

An Architecture for Rapid Distributed Fault Tolerance | 925 |

A Resource Management Model for Dynamic Scalable Dependable RealTime Systems | 931 |

A Mapping Methodology for Designing Software Task Pipelines for Embedded Signal Processing | 937 |

Toward Embedded Development from Advanced Khoros | 945 |

Object Nets for the Design and Verification of Distributed and Embedded Applications | 953 |

Data Parallel Programming with the Khoros Data Services Library | 963 |

of Complex Applications | 969 |

Simulation of the Communication Time for a SpaceTime Adaptive Processing Algorithm on a Parallel Embedded System | 979 |

Optimal Configuration of Compute Nodes for Synthetic Aperture Radar Processing | 987 |

A Visual Environment for the Development of Parallel RealTime Programs | 994 |

Embedded RealTime Systems Based on Measurement and Visualization | 1015 |

Performance Range Comparison Via Crossing Point Analysis | 1025 |

A TreeDriven MultipleRate Model of Time Measuring in ObjectOriented RealTime Systems | 1037 |

Resource Reservation for Adaptive QOS Mapping in RealTime Mach | 1047 |

Automated Verifications of Communication Protocols Using CCS and BDDs | 1057 |

A Network Time Interface MModule for HighAccuracy Clock Synchronization | 1067 |

Modeling and Validation Support for Interactive Networked Multimedia Applications | 1077 |

EOF Consensus on CAN Bus Access for Dynamic RealTime Applications | 1088 |

Using PVM and MPI for Coprocessed Distributed and Parallel Scientific Visualization | 1098 |

Surge Handling as a Measure of RealTime System Dependability | 1106 |

Partial Security and Timeliness in RealTime Database Systems | 1117 |

A Synthesis Method for FaultTolerant Multicast Routing Protocol | 1121 |

Improved Videotransmission over Lossy Channels Using Parallelization | 1131 |

Testing of Synchronization Conditions for Distributed RealTime Applications | 1140 |

An Architecture for Network Resource Monitoring in a Distributed Environment | 1153 |

1167 | |

### Common terms and phrases

ACL2 adaptive application approach architecture array basic block broadcast buffer checkpoint Cilk cluster communication complexity components Computer Science configuration cost defined detection Distributed Computing dynamic efficient environment Ethernet evaluation event example execution failure fault fault-free fault-tolerant Figure FPGA function GAMMA Genetic Algorithms global graph hardware heuristic IEEE implementation input interconnection interface latency layer machine mapping mesh metaobject method MPICH multicast Myrinet nano-threads node number of processors object operating system optimal optimiser overhead packet Parallel Algorithms parallel computers parallel programming partition path performance POSIX problem Proc processors protocol provides queue random randomized algorithms rDPU real-time receiver reconfiguration replication routing algorithm runtime scheduling scheme sequential shared memory simulated annealing simulation solution specification step structure switch synchronization task techniques Theorem threads throughput timewheel topology UNIX update variables weaver workstations