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

This 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.

Dynamic reconfiguration of a PMMLA for high-throughput applications.- Virtual FPGAs: Some steps behind the physical barriers.- A parallel algorithm for minimum cost path computation on polymorphic processor array.- A performance modeling and analysis environment for reconfigurable computers.- Runtime reconfigurable routing.- An integrated partitioning and synthesis system for dynamically reconfigurable Multi-FPGA architectures.- Temporal partitioning for partially-reconfigurable-field-programmable gate.- A Java development and runtime environment for reconfigurable computing.- Synthesizing reconfigurable sequential machines using Tabular models.- Evaluation of a low-power reconfigurable DSP architecture.- A reconfigurable hardware-monitor for communication analysis in distributed real-time systems.- On reconfgurable co-processing units.- A mathematical benefit analysis of context switching reconfigurable computing.- A configurable computing approach towards real-time target tracking.- HOSMII: A virtual hardware integrated with DRAM.- Hardware reconfigurable neural networks.- A simulator for the reconfigurable mesh architecture.- PACE: Processor architectures for circuit emulation.- Multiparadigm, multilingual interoperability: Experience with converse.- An empirical comparison of runtime systems for conservative parallel simulation.- Synchronizing operations on multiple objects.- Runtime support for virtual BSP computer.- Migration and rollback transparency for arbitrary distributed applications in workstation clusters.- Network-aware distributed computing: A case study.- Efficient runtime thread management for the nano-threads programming model.- A topology based approach to coordinated multicast operations.- Computing with evolving proteins.- A parallel evolutionary algorithm for the vehicle routing problem with heterogeneous fleet.- Locality optimization for program instances.- Artificial neural networks on reconfigurable meshes.- A molecular quasi-random model of computations applied to evaluate collective intelligence.- Replicated shared object model for edge detection with spiral architecture.- Scheduling tasks of a parallel program in two-processor systems with use of cellular automata.- Evolving processes and evolution schedulers for concurrent scheduling controls and parallel evolutionary computation.- An evolutionary approach to multiprocessor scheduling of dependent tasks.- Multiprocessor scheduling using mean-field annealing.- Using the BSP cost model to optimise parallel neural network training.- A fault-tolerant parallel heuristic for assignment problems.- Meta-heuristics for circuit partitioning in parallel test generation.- A survey of randomness and parallelism in comparison problems.- Capturing the connectivity of high-dimensional geometric spaces by parallelizable random sampling techniques.- Optimal bounds on tail probabilities — a simplified approach.- Random sampling techniques in parallel computation.- Randomization in parallel stringology.- Randomized parallel prefetching and buffer management.- Parallel algorithms for finite automata problems.- Randomized routing and PRAM emulation on parallel machines.- On randomized and deterministic schemes for routing and sorting on fixed-connection networks.- High performance linear algebra package LAPACK90.- Ultrafast randomized parallel construction and approximation algorithms for spanning forests in dense graphs.- Parallel randomized techniques for some fundamental geometric problems: A survey.- Randomized algorithms on the mesh.- Implementing parallelism in random discrete event-driven simulation.- Reconfigurable Wormhole Networks: A Realistic Approach.- Scheduling with communication delays and data routing in message passing architectures.- Parallel optimisation in the SCOOP library.- NC algorithms for the single most vital edge problem with respect to all pairs shortest paths.- BIP: A new protocol designed for high performance networking on Myrinet.- COMPaS: A pentium Pro PC-based SMP cluster and its experience.- PULL: ParaStation user-level communication. Design and overview.- Eliminating the protocol stack for socket based communication in shared memory interconnects.- Porting a molecular dynamics application on a low-cost cluster of personal computers running GAMMA.- Optimal communication performance on fast ethernet with GAMMA.- MPI on NT: A preliminary evaluation of the available environments.- Failure recovery for distributed processes in single system image clusters.- The QCD abacus: A cellular automata formulation for continuous gauge symmetries.- Affordable fault tolerance through adaptation.- Design and implementation of the Friends system.- A generalized forward recovery checkpointing scheme.- Derivation of fail-aware membership service specifications.- The timewheel group membership protocol.- Fault-tolerant broadcasting in toroidal networks.- A flexible approach for a fault-tolerant router.- Fault-tolerant message routing for multiprocessors.- Self-testing fault-tolerant real-time systems.- Checkpointing protocols in distributed systems with mobile hosts: A performance analysis.- Performance analysis of a fault-tolerant scheme for location management of mobile hosts.- Fault tolerant mobility planning for rapidly deployable wireless networks.- Building BSP programs using the refinement calculus.- Mechanically verifying the correctness of the Fast Fourier Transform in ACL2.- On the automatic validation of parameterized unity programs.- Tailoring UNITY to distributed program design.- Automatically proving UNITY safety properties with arrays and quantifiers.- Experiments with program parallelization using archetypes and stepwise refinement.- Deriving efficient cache coherence protocols through refinement.- An introduction to mobile UNITY.- An object model for multiprogramming.- A Cottage industry of software publishing: Implications for theories of composition.- Thermal management in embedded systems using MEMS.- A scalable multiprocessor for real-time signal processing.- SafetyNet: Secure communications for embedded high-performance computing.- Partial rearrangements of space-shared FPGAs (Extended Abstract).- Measuring the vulnerability of interconnection networks in embedded systems.- An architecture for rapid distributed fault tolerance.- A resource management model for dynamic, scalable, dependable, real-time systems.- A mapping methodology for designing software task pipelines for embedded signal processing.- Toward embedded development from Advanced Khoros.- Object nets for the design and verification of distributed and embedded applications.- Data parallel programming with the Khoros data services library.- A development tool environment for configuration, build, and launch of complex applications.- Simulation of the communication time for a space-time adaptive processing algorithm on a parallel embedded system.- Optimal configuration of compute nodes for synthetic aperture radar processing.- A visual environment for the development of parallel real-time programs.- Performance analysis of parallel & embedded real-time systems based on measurement and visualization.- Performance range comparison via crossing point analysis.- A tree-driven multiple-rate model of time measuring in object-oriented real-time systems.- Resource reservation for adaptive QOS mapping in real-time mach.- Automated verifications of communication protocols using CCS and BDDs.- NTI: A Network Time Interface M-module for high-accuracy clock synchronization.- Modeling and validation support for interactive networked multimedia applications.- EDF consensus on CAN bus access for dynamic real-time applications.- Using PVM and MPI for co-processed, distributed and parallel scientific visualization.- Surge handling as a measure of real-time system dependability.- Partial security and timeliness in real-time database systems.- A synthesis method for fault-tolerant multicast routing protocol.- Improved videotransmission over lossy channels using parallelization.- Testing of synchronization conditions for distributed real-time applications.- An architecture for network resource monitoring in a distributed environment.