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 10

Front Cover
Springer Science & Business Media, Mar 18, 1998 - Computers - 1168 pages
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.
 

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
Author Index
1167
Copyright

Common terms and phrases

Bibliographic information