This two-volume set presents the proceedings of the Second International European Conference on Parallel Processing, EuroPar '96, held in Lyon, France, in August 1996.
EuroPar '96 was organized in 14 workshops covering the whole spectrum of parallel processing. The comprehensive proceedings constitute a unique record of the state of the art in parallel processing research and development: the 224 papers included together with four invited papers were selected from a total of 383 submissions by authors from 40 countries; 554 referees were involved in the selection process and the index lists 521 contributing authors.
Author(s): Ian Foster (auth.), Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert (eds.)
Series: Lecture Notes in Computer Science 1123
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 846
Tags: Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems; Theory of Computation; Database Management; Computational Mathematics and Numerical Analysis; Data Structures
High-performance distributed computing: The I-WAY experiment and beyond....Pages 1-10
Design and implementation of a parallel architecture for biological sequence comparison....Pages 11-24
Universal computing....Pages 25-36
Dynamic load balancing in parallel database systems....Pages 37-52
Distributed Array Query and Visualization for High Performance Fortran....Pages 53-63
Annai scalable run-time support for interactive debugging and performance analysis of large-scale parallel programs....Pages 64-69
On the implementation of a replay mechanism....Pages 70-73
Concepts and functionalities of the DOSMOS-trace monitoring tool....Pages 74-77
An open monitoring system for parallel and distributed programs....Pages 78-83
Millipede: Easy parallel programming in available distributed environments....Pages 84-87
An adaptive cost system for parallel program instrumentation....Pages 88-97
SVMview: A performance tuning tool for DSM-based parallel computers....Pages 98-105
Cautious, machine-independent performance tuning for shared-memory multiprocessors....Pages 106-113
Dealing with heterogeneity in Stardust: An environment for parallel programming on networks of heterogeneous workstations....Pages 114-119
An integrated environment to design parallel object-oriented applications....Pages 120-127
MPI-2: Extending the message-passing interface....Pages 128-135
Optimizing Sisal programs: A formal approach....Pages 136-144
A refinement methodology for developing data-parallel applications....Pages 145-150
Task parallelism: What a tool can provide and what should be left to the user....Pages 151-154
Efficient block cyclic data redistribution....Pages 155-164
Optimal grain size computation for pipelined algorithms....Pages 165-172
Dynamic redistribution on heterogeneous parallel computers....Pages 173-177
Supporting distributed sparse matrix objects....Pages 178-183
Low-latency communication over Fast Ethernet....Pages 185-194
A comparison of input and output driven routers....Pages 195-204
Optimal topology for distributed shared-memory multiprocessors: Hypercubes again?....Pages 205-212
A pattern-associative router for interconnection network adaptive algorithms....Pages 213-217
On stack-graph OPS-based lightwave networks....Pages 218-221
A general method for efficient embeddings of graphs into optimal hypercubes....Pages 222-233
The size complexity of strictly non-blocking fixed ratio concentrators with constant depth....Pages 234-242
Bandwidth and cutwidth of the mesh of d -ary trees....Pages 243-246
Variable-dilation embeddings of hypercubes into star graphs: Performance metrics, mapping functions, and routing....Pages 247-252
Overlapping communication and computation in hypercubes....Pages 253-257
Efficient delay routing....Pages 258-269
Multipacket hot-potato routing on processor arrays....Pages 270-277
A necessary and sufficient condition for proper routing in omega-omega network....Pages 278-282
Rubik routing permutations on graphs....Pages 283-286
The effect of flow control and routing adaptivity on priority-driven traffic in multiprocessor networks....Pages 287-298
Routing on networks of optical crossbars....Pages 299-306
Latency and bandwidth requirements of massively parallel programs: FFT as a case study....Pages 307-312
Induced broadcasting algorithms in iterated line digraphs....Pages 313-324
Lower bounds on broadcasting time of de Bruijn networks....Pages 325-332
Gossip in trees under line-communication mode....Pages 333-340
Total exchange in Cayley networks....Pages 341-346
Leaf communications in complete trees....Pages 347-352
A gossip algorithm for bus networks with buses of limited length....Pages 353-360
Worm-hole gossiping on meshes....Pages 361-369
Circuit-switched gossiping in 3-dimensional torus networks....Pages 370-373
Automatic parallelization and high performance compilers....Pages 375-378
On the optimality of Allen and Kennedy's algorithm for parallelism extraction in nested loops....Pages 379-388
Memory reuse analysis in the polyhedral model....Pages 389-397
Cycle shrinking by dependence reduction....Pages 398-401
A unified transformation technique for multilevel blocking....Pages 402-405
Array dataflow analysis for explicitly parallel programs....Pages 406-413
Semantic foundations of commutativity analysis....Pages 414-423
Applications of Fuzzy Array Dataflow Analysis....Pages 424-427
Simplifying communication induced by operations on block-distributed arrays....Pages 428-431
Compiler reduction of invalidation traffic in virtual shared memory systems....Pages 432-440
Partial dead code elimination for parallel programs....Pages 441-450
Solving the constant-degree parallelism alignment problem....Pages 451-454
Topographic data mapping by balanced hypersphere tessellation....Pages 455-458
Implementing pipelined computation and communication in an HPF compiler....Pages 459-462
Efficient mapping of interdependent scans....Pages 463-466
Classifying loops for space-time mapping....Pages 467-474
PACA: A cooperative file system cache for parallel machines....Pages 475-486
A system for fault-tolerant execution of data and compute intensive programs over a network of workstations....Pages 487-495
A framework for viewing atomic events in distributed computations....Pages 496-505
Worker-based parallel computing on PVM....Pages 506-509
An efficient distributed tuple space implementation for networks of workstations....Pages 510-513
A highly available partition-processing protocol for distributed shared memory systems....Pages 514-521
I/O data mapping in ParFiSys : Support for high-performance I/O in parallel and distributed systems....Pages 522-525
Correctness proof for a distributed memory system....Pages 526-531
Distributed Shared Memory based on Group Large Causality....Pages 532-537
A framework for integrated communication and I/O placement....Pages 539-552
Formal derivation of parallel program for 2-dimensional maximum segment sum problem....Pages 553-562
The migrating tasks: An execution model for irregular codes....Pages 563-570
Discussing HPF design issues....Pages 571-578
Parallelizing conditional recurrences....Pages 579-586
Adaptive data parallel computation in the parallel object-oriented language OCore ....Pages 587-596
The use of interpreted languages for implementing parallel algorithms on distributed systems....Pages 597-600
Co-ordinating heterogeneous parallel computation....Pages 601-614
Correctness of a distributed-memory model for scheme....Pages 615-624
Partial evaluation scheme for concurrent languages and its correctness....Pages 625-632
Support for implementation of evolutionary concurrent systems in concurrent programming languages....Pages 633-645
Structured dagger: A coordination language for Message-Driven Programming....Pages 646-653
TPascal — A language for task parallel programming....Pages 654-659
OB(PN) 2 : An Object Based Petri Net Programming Notation (extended abstract)....Pages 660-663
Reusable coordinator modules for massively concurrent applications....Pages 664-677
Introducing dynamicity in the data-parallel language 8 1/2....Pages 678-685
Astro-Gofer: Parallel functional programming with co-ordinating processes....Pages 686-693
Multiple OR-parallel resolution: Meta-level control of parallel logic programs....Pages 694-703
High level parallel programming based on automatic coordination....Pages 704-709
Eden — The paradise of functional concurrent programming....Pages 710-713
A straightforward translation of D0L systems in the declarative data-parallel language 8 1/2....Pages 714-717
Efficient parallel programming with algorithmic skeletons....Pages 718-731
A loosely synchronized execution model for a simple data-parallel language (extended abstract)....Pages 732-741
A nonannotative approach to distributed data-parallel computing....Pages 742-751
Petri net modelling of PARSE designs....Pages 752-761
Synchronization expressed in types of communication channels....Pages 762-769
Laws of data parallel assignment....Pages 770-774
Proving progress properties of non terminating programs under fairness assumptions....Pages 775-778
A simple parallel dictionary matching algorithm....Pages 779-788
Scalability and granularity issues of the hierarchical radiosity method....Pages 789-798
List ranking on interconnection networks....Pages 799-808
Parallel algorithm for computing the fragment vector in steiner triple systems....Pages 809-812
Representation of the gabow algorithm for finding smallest spanning trees with a degree constraint on associative parallel processors....Pages 813-817
Runtime support for replicated parallel simulators of an ATM network on workstation clusters....Pages 818-821
Shared-memory implementation of an irregular particle simulation method....Pages 822-827
A parallel algorithm for the technology mapping of LUT-based FPGAs....Pages 828-831
Distributed string matching algorithm on the N -cube....Pages 832-835
