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.
Author(s): Gautam Ghare, Soo-Young Lee (auth.), José Rolim (eds.)
Series: Lecture Notes in Computer Science 1388
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 1172
Tags: Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems; Computer Hardware; Theory of Computation; Mathematics of Computing
Dynamic reconfiguration of a PMMLA for high-throughput applications....Pages 1-6
Virtual FPGAs: Some steps behind the physical barriers....Pages 7-12
A parallel algorithm for minimum cost path computation on polymorphic processor array....Pages 13-18
A performance modeling and analysis environment for reconfigurable computers....Pages 19-24
Runtime reconfigurable routing....Pages 25-30
An integrated partitioning and synthesis system for dynamically reconfigurable Multi-FPGA architectures....Pages 31-36
Temporal partitioning for partially-reconfigurable-field-programmable gate....Pages 37-42
A Java development and runtime environment for reconfigurable computing....Pages 43-48
Synthesizing reconfigurable sequential machines using Tabular models....Pages 49-54
Evaluation of a low-power reconfigurable DSP architecture....Pages 55-60
A reconfigurable hardware-monitor for communication analysis in distributed real-time systems....Pages 61-66
On reconfgurable co-processing units....Pages 67-72
A mathematical benefit analysis of context switching reconfigurable computing....Pages 73-78
A configurable computing approach towards real-time target tracking....Pages 79-84
HOSMII: A virtual hardware integrated with DRAM....Pages 85-90
Hardware reconfigurable neural networks....Pages 91-98
A simulator for the reconfigurable mesh architecture....Pages 99-104
PACE: Processor architectures for circuit emulation....Pages 105-110
Multiparadigm, multilingual interoperability: Experience with converse....Pages 111-122
An empirical comparison of runtime systems for conservative parallel simulation....Pages 123-134
Synchronizing operations on multiple objects....Pages 135-146
Runtime support for virtual BSP computer....Pages 147-158
Migration and rollback transparency for arbitrary distributed applications in workstation clusters....Pages 159-170
Network-aware distributed computing: A case study....Pages 171-182
Efficient runtime thread management for the nano-threads programming model....Pages 183-194
A topology based approach to coordinated multicast operations....Pages 195-206
Computing with evolving proteins....Pages 207-215
A parallel evolutionary algorithm for the vehicle routing problem with heterogeneous fleet....Pages 216-224
Locality optimization for program instances....Pages 225-233
Artificial neural networks on reconfigurable meshes....Pages 234-242
A molecular quasi-random model of computations applied to evaluate collective intelligence....Pages 243-251
Replicated shared object model for edge detection with spiral architecture....Pages 252-260
Scheduling tasks of a parallel program in two-processor systems with use of cellular automata....Pages 261-269
Evolving processes and evolution schedulers for concurrent scheduling controls and parallel evolutionary computation....Pages 270-278
An evolutionary approach to multiprocessor scheduling of dependent tasks....Pages 279-287
Multiprocessor scheduling using mean-field annealing....Pages 288-296
Using the BSP cost model to optimise parallel neural network training....Pages 297-305
A fault-tolerant parallel heuristic for assignment problems....Pages 306-314
Meta-heuristics for circuit partitioning in parallel test generation....Pages 315-323
A survey of randomness and parallelism in comparison problems....Pages 324-329
Capturing the connectivity of high-dimensional geometric spaces by parallelizable random sampling techniques....Pages 330-340
Optimal bounds on tail probabilities — a simplified approach....Pages 341-350
Random sampling techniques in parallel computation....Pages 351-360
Randomization in parallel stringology....Pages 361-362
Randomized parallel prefetching and buffer management....Pages 363-372
Parallel algorithms for finite automata problems....Pages 373-373
Randomized routing and PRAM emulation on parallel machines....Pages 374-383
On randomized and deterministic schemes for routing and sorting on fixed-connection networks....Pages 384-386
High performance linear algebra package LAPACK90....Pages 387-391
Ultrafast randomized parallel construction and approximation algorithms for spanning forests in dense graphs....Pages 392-399
Parallel randomized techniques for some fundamental geometric problems: A survey....Pages 400-407
Randomized algorithms on the mesh....Pages 408-417
Implementing parallelism in random discrete event-driven simulation....Pages 418-427
Reconfigurable Wormhole Networks: A Realistic Approach....Pages 428-437
Scheduling with communication delays and data routing in message passing architectures....Pages 438-451
Parallel optimisation in the SCOOP library....Pages 452-463
NC algorithms for the single most vital edge problem with respect to all pairs shortest paths....Pages 464-471
BIP: A new protocol designed for high performance networking on Myrinet....Pages 472-485
COMPaS: A pentium Pro PC-based SMP cluster and its experience....Pages 486-497
PULL: ParaStation user-level communication. Design and overview....Pages 498-509
Eliminating the protocol stack for socket based communication in shared memory interconnects....Pages 510-523
Porting a molecular dynamics application on a low-cost cluster of personal computers running GAMMA....Pages 524-533
Optimal communication performance on fast ethernet with GAMMA....Pages 534-548
MPI on NT: A preliminary evaluation of the available environments....Pages 549-563
Failure recovery for distributed processes in single system image clusters....Pages 564-583
The QCD abacus: A cellular automata formulation for continuous gauge symmetries....Pages 584-584
Affordable fault tolerance through adaptation....Pages 585-603
Design and implementation of the Friends system....Pages 604-622
A generalized forward recovery checkpointing scheme....Pages 623-643
Derivation of fail-aware membership service specifications....Pages 644-663
The timewheel group membership protocol....Pages 664-680
Fault-tolerant broadcasting in toroidal networks....Pages 681-692
A flexible approach for a fault-tolerant router....Pages 693-713
Fault-tolerant message routing for multiprocessors....Pages 714-730
Self-testing fault-tolerant real-time systems....Pages 731-741
Checkpointing protocols in distributed systems with mobile hosts: A performance analysis....Pages 742-755
Performance analysis of a fault-tolerant scheme for location management of mobile hosts....Pages 756-769
Fault tolerant mobility planning for rapidly deployable wireless networks....Pages 770-789
Building BSP programs using the refinement calculus....Pages 790-795
Mechanically verifying the correctness of the Fast Fourier Transform in ACL2....Pages 796-806
On the automatic validation of parameterized unity programs....Pages 807-819
Tailoring UNITY to distributed program design....Pages 820-832
Automatically proving UNITY safety properties with arrays and quantifiers....Pages 833-843
Experiments with program parallelization using archetypes and stepwise refinement....Pages 844-856
Deriving efficient cache coherence protocols through refinement....Pages 857-870
An introduction to mobile UNITY....Pages 871-880
An object model for multiprogramming....Pages 881-889
A Cottage industry of software publishing: Implications for theories of composition....Pages 890-899
Thermal management in embedded systems using MEMS....Pages 900-901
A scalable multiprocessor for real-time signal processing....Pages 902-907
SafetyNet: Secure communications for embedded high-performance computing....Pages 908-912
Partial rearrangements of space-shared FPGAs (Extended Abstract)....Pages 913-918
Measuring the vulnerability of interconnection networks in embedded systems....Pages 919-924
An architecture for rapid distributed fault tolerance....Pages 925-930
A resource management model for dynamic, scalable, dependable, real-time systems....Pages 931-936
A mapping methodology for designing software task pipelines for embedded signal processing....Pages 937-944
Toward embedded development from Advanced Khoros....Pages 945-952
Object nets for the design and verification of distributed and embedded applications....Pages 953-962
Data parallel programming with the Khoros data services library....Pages 963-968
A development tool environment for configuration, build, and launch of complex applications....Pages 969-978
Simulation of the communication time for a space-time adaptive processing algorithm on a parallel embedded system....Pages 979-986
Optimal configuration of compute nodes for synthetic aperture radar processing....Pages 987-993
A visual environment for the development of parallel real-time programs....Pages 994-1014
Performance analysis of parallel & embedded real-time systems based on measurement and visualization....Pages 1015-1024
Performance range comparison via crossing point analysis....Pages 1025-1036
A tree-driven multiple-rate model of time measuring in object-oriented real-time systems....Pages 1037-1046
Resource reservation for adaptive QOS mapping in real-time mach....Pages 1047-1056
Automated verifications of communication protocols using CCS and BDDs....Pages 1057-1066
NTI: A Network Time Interface M-module for high-accuracy clock synchronization....Pages 1067-1076
Modeling and validation support for interactive networked multimedia applications....Pages 1077-1087
EDF consensus on CAN bus access for dynamic real-time applications....Pages 1088-1097
Using PVM and MPI for co-processed, distributed and parallel scientific visualization....Pages 1098-1105
Surge handling as a measure of real-time system dependability....Pages 1106-1116
Partial security and timeliness in real-time database systems....Pages 1117-1120
A synthesis method for fault-tolerant multicast routing protocol....Pages 1121-1130
Improved videotransmission over lossy channels using parallelization....Pages 1131-1139
Testing of synchronization conditions for distributed real-time applications....Pages 1140-1152
An architecture for network resource monitoring in a distributed environment....Pages 1153-1163
