This book presents the proceedings of the First International EURO-PAR Conference on Parallel Processing, held in Stockholm, Sweden in August 1995. EURO-PAR is the merger of the former PARLE and CONPAR-VAPP conference series; the aim of this merger is to create the premier annual scientific conference on parallel processing in Europe.
The book presents 50 full revised research papers and 11 posters selected from a total of 196 submissions on the basis of 582 reviews. The scope of the contributions spans the full spectrum of parallel processing ranging from theory over design to application; thus the volume is a "must" for anybody interested in the scientific aspects of parallel processing or its advanced applications.
Author(s): Greg Papadopoulos (auth.), Seif Haridi, Khayri Ali, Peter Magnusson (eds.)
Series: Lecture Notes in Computer Science 966
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 730
Tags: Processor Architectures; Computer Communication Networks; Special Purpose and Application-Based Systems; Programming Techniques; Software Engineering; Operating Systems
Mainstream parallelism: Taking sides on the SMP/MPP/cluster debate....Pages 1-3
The Oz Programming model....Pages 5-8
Parallelism in computational algorithms and the physical world....Pages 9-11
Execution of distributed reactive systems....Pages 13-26
Relating data-parallelism and (and-) parallelism in logic programs....Pages 27-41
On the duality between Or-parallelism and And-parallelism in logic programming....Pages 43-54
Functional skeletons for parallel coordination....Pages 55-66
On the scalability of demand-driven parallel systems....Pages 67-81
Bounds on memory bandwidth in streamed computations....Pages 83-99
StarT-NG: Delivering seamless parallel computing....Pages 101-116
Costs and benefits of multithreading with off-the-shelf RISC processors....Pages 117-128
Transformation techniques in Pei....Pages 129-142
On the completeness of a proof system for a simple data-parallel programming language (extended abstract)....Pages 143-154
An implementation of race detection and deterministic replay with MPI....Pages 155-166
Formal and experimental validation of a low overhead execution replay mechanism....Pages 167-178
On efficient embeddings of grids into grids in PARIX....Pages 179-192
Optimal emulation of meshes on meshes of trees....Pages 193-204
Optimal embeddings in the Hamming cube networks....Pages 205-216
Hierarchical adaptive routing under hybrid traffic load....Pages 217-228
Tight bounds on parallel list marking....Pages 229-242
Optimization of PRAM-programs with input-dependent memory access....Pages 243-254
Optimal circular arc representations....Pages 255-266
Exploiting parallelism in cache coherency protocol engines....Pages 267-286
Verifying distributed directory-based cache coherence protocols: S3.mp, a case study....Pages 287-300
Efficient software data prefetching for a Loop with large arrays....Pages 301-312
Generation of synchronous code for automatic parallelization of while loops....Pages 313-326
Implementing flexible computation rules with subexpression-level loop transformations....Pages 327-338
Synchronization migration for performance enhancement in a DOACROSS loop....Pages 339-350
An array partitioning analysis for parallel loop distribution....Pages 351-364
A model for efficient programming of dynamic applications on distributed memory multiprocessors....Pages 365-378
Efficient solutions for mapping parallel programs....Pages 379-390
Optimal data distributions for LU decomposition....Pages 391-402
Detecting quantified global predicates in parallel programs....Pages 403-414
Using knowledge-based techniques for parallelization on parallelizing compilers....Pages 415-428
Automatic vectorization of communications for data-parallel programs....Pages 429-440
The program compaction revisited: The functional framework....Pages 441-456
Featherweight threads and ANDF compilation of concurrency....Pages 457-469
Parallel N-body simulation on a large-scale homogeneous distributed system....Pages 471-484
Analysis of parallel scan processing in Shared Disk database systems....Pages 485-500
Polynomial time scheduling of low level computer vision algorithms on networks of heterogeneous machines....Pages 501-512
Mapping neural network back-propagation onto parallel computers with computation/communication overlapping....Pages 513-524
Super Monaco: Its portable and efficient parallel runtime system....Pages 525-538
Quiescence detection in a distributed KLIC implementation....Pages 539-551
Compiler optimizations in Reform Prolog: Experiments on the KSR-1 multiprocessor....Pages 553-564
Bidirectional ring: An alternative to the hierarchy of unidirectional rings....Pages 565-578
A formal study of the Mcube interconnection network....Pages 579-591
Multiwave interconnection networks for MCM-based parallel processing....Pages 593-607
Scheduling master-slave multiprocessor systems....Pages 609-622
Time space sharing scheduling: A simulation analysis....Pages 623-634
“Agency scheduling” A model for dynamic task scheduling....Pages 635-646
FFTs on a linear SIMD array....Pages 647-660
Tolerating faults in faulty hypercubes using maximal fault-free subcube-ring....Pages 661-672
Communication in multicomputer with nonconvex faults....Pages 673-684
Parallelising programs with algebraic programming tools....Pages 685-690
Parallel Prolog with uncertainty handling....Pages 691-694
A special-purpose coprocessor for qualitative simulation....Pages 695-698
Portable Software Tools for Parallel Architectures....Pages 699-702
Boosting the performance of workstations through WARPmemory....Pages 703-706
A monitoring system for software-heterogeneous distributed environments....Pages 707-710
A metacircular data-parallel functional language....Pages 711-714
Efficient run-time program allocation on a parallel coprocessor....Pages 715-718
A program manipulation system for fine-grained architectures....Pages 719-722
Real-time image compression using data-parallelism....Pages 723-726
Congestion control in wormhole networks: First results....Pages 727-730
