Parallel and distributed processing : 10 IPPS/SPDP'98 Workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distrubuted Processing, Orlando, Florida, USA, March 30-April 3, 1998, proceedings

Author(s)

Bibliographic Information

Parallel and distributed processing : 10 IPPS/SPDP'98 Workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distrubuted Processing, Orlando, Florida, USA, March 30-April 3, 1998, proceedings

José Rolim, ed

（Lecture notes in computer science, 1388）

Springer, c1998

Available at  / 48 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Description and Table of Contents

Description

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.

Table of Contents

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.

by "Nielsen BookData"

Related Books： 1-1 of 1

Details

Page Top