
Parallel and Distributed Processing
10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium on Parallel and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, U. S. A., March 30-April 3, 1998
By: Jose Rolim (Editor)
Paperback | 1 May 1998
At a Glance
1188 Pages
23.5 x 15.49 x 5.89
Paperback
$229.90
or 4 interest-free payments of $57.48 with
orShips in 5 to 7 business days
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.
| 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. |
ISBN: 9783540643593
ISBN-10: 3540643591
Series: Lecture Notes in Computer Science
Published: 1st May 1998
Format: Paperback
Language: English
Number of Pages: 1188
Audience: General Adult
Publisher: Springer Nature B.V.
Country of Publication: DE
Dimensions (cm): 23.5 x 15.49 x 5.89
Weight (kg): 1.62
Shipping
| Standard Shipping | Express Shipping | |
|---|---|---|
| Metro postcodes: | $9.99 | $14.95 |
| Regional postcodes: | $9.99 | $14.95 |
| Rural postcodes: | $9.99 | $14.95 |
Orders over $79.00 qualify for free shipping.
How to return your order
At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.
Additional postage charges may be applicable.
Defective items
If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.
For more info please visit our Help Centre.
You Can Find This Book In

Password Logbook (Hip Floral)
Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location
Hardcover
RRP $19.99
$17.75
OFF
This product is categorised by
- Non-FictionComputing & I.T.Computer ScienceComputer Architecture & Logic DesignParallel Processing
- Non-FictionComputing & I.T.Computer Networking & Communications
- Non-FictionComputing & I.T.Computer HardwarePersonal Computers
- Non-FictionComputing & I.T.DatabasesData Capture & Analysis
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware Engineering
- Non-FictionMathematics























