| Reconfigurable Architectures Workshop | |
| Dynamic Reconfiguration of a PMMLA for High-Throughput Applications | p. 1 |
| Virtual FPGAs: Some Steps Behind the Physical Barriers | p. 7 |
| A Parallel Algorithm for Minimum Cost Path Computation on Polymorphic Processor Array | p. 13 |
| A Performance Modeling and Analysis Environment for Reconfigurable Computers | p. 19 |
| Runtime Reconfigurable Routing | p. 25 |
| An Integrated Partitioning and Synthesis System for Dynamically Reconfigurable Multi-FPGA Architectures | p. 31 |
| Temporal Partioning for Partially-Reconfigurable-Field-Programmable Gate | p. 37 |
| A Java Development and Runtime Environment for Reconfigurable Computing | p. 43 |
| Synthesizing Reconfigurable Sequential Machines Using Tabular Models | p. 49 |
| Evaluation of a Low-Power Reconfigurable DSP Architecture | p. 55 |
| A Reconfigurable Hardware-Monitor for Communication Analysis in Distributed Real-Time Systems | p. 61 |
| On Reconfigurable Co-processing Units | p. 67 |
| A Mathematical Benefit Analysis of Context Switching Reconfigurable Computing | p. 73 |
| A Configurable Computing Approach Towards Real-Time Target Tracking | p. 79 |
| HOSMII: A Virtual Hardware Integrated with DRAM | p. 85 |
| Hardware Reconfigurable Neural Networks | p. 91 |
| A Simulator for the Reconfigurable Mesh Architecture | p. 99 |
| PACE: Processor Architectures for Circuit Emulation | p. 105 |
| Workshop on Run-Time Systems for Parallel Programming | |
| Multiparadigm, Multilingual Interoperability: Experience with Converse | p. 111 |
| An Empirical Comparison of Runtime Systems for Conservative Parallel Simulation | p. 123 |
| Synchronizing Operations on Multiple Objects | p. 135 |
| Runtime Support for Virtual BSP Computer | p. 147 |
| Migration and Rollback Transparency for Arbitrary Distributed Applications in Workstation Clusters | p. 159 |
| Network-Aware Distributed Computing: A Case Study | p. 171 |
| Efficient Runtime Thread Management for the Nano-Threads Programming Model | p. 183 |
| A Topology Based Approach to Coordinated Multicast Operations | p. 195 |
| Workshop on Biologically Inspired Solutions to Parallel Processing Problems | |
| Computing with Evolving Proteins | p. 207 |
| A Parallel Evolutionary Algorithm for the Vehicle Routing Problem with Heterogeneous Fleet | p. 216 |
| Locality Optimization for Program Instances | p. 225 |
| Artificial Neural Networks on Reconfigurable Meshes | p. 234 |
| A Molecular Quasi-Random Model of Computations Applied to Evaluate Collective Intelligence | p. 243 |
| Replicated Shared Object Model for Edge Detection with Spiral Architecture | p. 252 |
| Scheduling Tasks of a Parallel Program in Two-Processor Systems with Use of Cellular Automata | p. 261 |
| Evolving Processes and Evolution Schedulers for Concurrent Scheduling Controls and Parallel Evolutionary Computation | p. 270 |
| An Evolutionary Approach to Multiprocessor Scheduling of Dependent Tasks | p. 279 |
| Multiprocessor Scheduling Using Mean-Field Annealing | p. 288 |
| Using the BSP Cost Model to Optimise Parallel Neural Network Training | p. 297 |
| A Fault-Tolerant Parallel Heuristic for Assignment Problems | p. 306 |
| Meta-heuristics for Circuit Partitioning in Parallel Test Generation | p. 315 |
| Workshop on Randomized Parallel Computing | |
| A Survey of Randomness and Parallelism in Comparison Problems | p. 324 |
| Capturing the Connectivity of High-Dimensional Geometric Spaces by Parallelizable Random Sampling Techniques | p. 330 |
| Optimal Bounds on Tail Probabilities - A Simplified Approach | p. 341 |
| Random Sampling Techniques in Parallel Computation | p. 351 |
| Randomization in Parallel Stringology | p. 361 |
| Randomized Parallel Prefetching and Buffer Management | p. 363 |
| Parallel Algorithms for Finite Automata Problems | p. 373 |
| Randomized Routing and PRAM Emulation on Parallel Machines | p. 374 |
| On Randomized and Deterministic Schemes for Routing and Sorting on Fixed-Connection Networks | p. 384 |
| High Performance Linear Algebra Package LAPACK90 | p. 387 |
| Ultrafast Randomized Parallel Construction and Approximation Algorithms for Spanning Forests in Dense Graphs | p. 392 |
| Parallel Randomized Techniques for Some Fundamental Geometric Problems: A Survey | p. 400 |
| Randomized Algorithms on the Mesh | p. 408 |
| Implementing Parallelism in Random Discrete Event-Driven Simulation | p. 418 |
| Reconfigurable Wormhole Networks: A Realistic Approach | p. 428 |
| Workshop on Solving Combinatorial Optimization Problems in Parallel | |
| Scheduling with Communication Delays and Data Routing in Message Passing Architectures | p. 438 |
| Parallel Optimisation in the SCOOP Library | p. 452 |
| NC Algorithms for the Single Most Vital Edge Problem with Respect to All Pairs Shortest Paths | p. 464 |
| Workshop on Personal Computer Based Networks of Workstations | |
| BIP: A New Protocol Designed for High Performance Networking on Myrinet | p. 472 |
| COMPaS: A Pentium Pro PC-based SMP Cluster and Its Experience | p. 486 |
| PULC: ParaStation User-Level Communication. Design and Overview | p. 498 |
| Eliminating the Protocol Stack for Socket Based Communication in Shared Memory Interconnects | p. 510 |
| Porting a Molecular Dynamics Application on a Low-Cost Cluster of Personal Computer Running GAMMA | p. 524 |
| Optimal Communication Performance on Fast Ethernet with GAMMA | p. 534 |
| MPI on NT: A Preliminary Evaluation of the Available Environments | p. 549 |
| Workshop on Fault-Tolerant Parallel and Distributed Systems | |
| Failure Recovery for Distributed Processes in Single System Image Clusters | p. 564 |
| The QCD Abacus: A Cellular Automata Formulation for Continuous Gauge Symmetries | p. 584 |
| Affordable Fault Tolerance Through Adaptation | p. 585 |
| Design and Implementation of the FRIENDS System | p. 604 |
| A Generalized Forward Recovery Checkpointing Scheme | p. 623 |
| Derivation of Fail-Aware Membership Service Specifications | p. 644 |
| The Timewheel Group Membership Protocol | p. 664 |
| Fault-Tolerant Broadcasting in Toroidal Networks | p. 681 |
| A Flexible Approach for a Fault-Tolerant Router | p. 693 |
| Fault-Tolerant Message Routing for Multiprocessors | p. 714 |
| Self-Testing Fault-Tolerant Real-Time Systems | p. 731 |
| Checkpointing Protocols in Distributed Systems with Mobile Hosts: A Performance Analysis | p. 742 |
| Performance Analysis of a Fault-Tolerant Scheme for Location Management of Mobile Hosts | p. 756 |
| Fault Tolerant Mobility Planning for Rapidly Deployable Wireless Networks | p. 770 |
| Workshop on Formal Methods for Parallel Programming: Theory and Applications | |
| Building BSP Programs Using the Refinement Calculus | p. 790 |
| Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2 | p. 796 |
| On the Automatic Validation of Parameterized Unity Programs | p. 807 |
| Tailoring UNITY to Distributed Program Design | p. 820 |
| Automatically Proving UNITY Safety Properties with Arrays and Quantifiers | p. 833 |
| Experiments with Program Parallelization Using Archetypes and Stepwise Refinement | p. 844 |
| Deriving Efficient Cache Coherence Protocols through Refinement | p. 857 |
| An Introduction to Mobile UNITY | p. 871 |
| An Object Model for Multiprogramming | p. 881 |
| A Cottage Industry of Software Publishing: Implications for Theories of Composition | p. 890 |
| Workshop on Embedded HPC Systems and Applications | |
| Thermal Management in Embedded Systems Using MEMS | p. 900 |
| A Scalable Multiprocessor for Real-Time Signal Processing | p. 902 |
| Safety Net: Secure Communications for Embedded High-Performance Computing | p. 908 |
| Partial Rearrangements of Space-Shared FPGAs | p. 913 |
| Measuring the Vulnerability of Interconnection Networks in Embedded Systems | p. 919 |
| An Architecture for Rapid Distributed Fault Tolerance | p. 925 |
| A Resource Management Model for Dynamic, Scalable, Dependable, Real-Time Systems | p. 931 |
| A Mapping Methodology for Designing Software Task Pipelines for Embedded Signal Processing | p. 937 |
| Toward Embedded Development from Advanced Khoros | p. 945 |
| Object Nets for the Design and Verification of Distributed and Embedded Applications | p. 953 |
| Data Parallel Programming with the Khoros Data Services Library | p. 963 |
| A Development Tool Environment for Configuration, Build, and Launch of Complex Applications | p. 969 |
| Simulation of the Communication Time for a Space-Time Adaptive Processing Algorithm on a Parallel Embedded System | p. 979 |
| Optimal Configuration of Compute Nodes for Synthetic Aperture Radar Processing | p. 987 |
| Workshop on Parallel and Distributed Real-Time Systems | |
| A Visual Environment for the Development of Parallel Real-Time Programs | p. 994 |
| Performance Analysis of Parallel Embedded Real Time Systems Based on Measurement and Visualization | p. 1015 |
| Performance Range Comparison via Crossing Point Analysis | p. 1025 |
| A Tree-Driven Multiple-Rate Model of Time Measuring in Object-Oriented Real-Time Systems | p. 1037 |
| Resource Reservation for Adaptive QOS Mapping in Real-Time Mach | p. 1047 |
| Automated Verification of Communication Protocols Using CCS and BDDs | p. 1057 |
| NTI: A Network Time Interface M-Module for High-Accuracy Clock Synchronization | p. 1067 |
| Modeling and Validation Support for Interactive Networked Multimedia Applications | p. 1077 |
| EDF Consensus on CAN Bus Access for Dynamic Real-Time Applications | p. 1088 |
| Using PVM and MPI for Co-processed, Distributed and Parallel Scientific Visualization | p. 1098 |
| Surge Handling as a Measure of Real-Time System Dependability | p. 1106 |
| Partial Security and Timeliness in Real-Time Database Systems | p. 1117 |
| A Synthesis Method for Fault-Tolerant Multicast Routing Protocol | p. 1121 |
| Improved Videotransmission over Lossy Channels Using Parallelization | p. 1131 |
| Testing of Synchronization Conditions for Distributed Real-Time Applications | p. 1140 |
| An Architecture for Network Resource Monitoring in a Distributed Environment | p. 1153 |
| Author Index | p. 1165 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
