Ebook: Parallel Processing: CONPAR 94 — VAPP VI: Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings

This volume presents the proceedings of the Third Joint International Conference on Vector and Parallel Processing (CONPAR 94 - VAPP VI), held in Linz, Austria in September 1994.
The 76 papers contained were carefully selected from a wealth of submissions and address the most important aspects of parallel processing research. The volume is organized into sections on performance analysis and monitoring, parallel program development, parallel algorithms and complexity models, parallel architectures and abstract machines, parallel languages and compiler technology, networks and routing, and scheduling in distributed memory systems.

---

This volume presents the proceedings of the Third Joint International Conference on Vector and Parallel Processing (CONPAR 94 - VAPP VI), held in Linz, Austria in September 1994.
The 76 papers contained were carefully selected from a wealth of submissions and address the most important aspects of parallel processing research. The volume is organized into sections on performance analysis and monitoring, parallel program development, parallel algorithms and complexity models, parallel architectures and abstract machines, parallel languages and compiler technology, networks and routing, and scheduling in distributed memory systems.

---

This volume presents the proceedings of the Third Joint International Conference on Vector and Parallel Processing (CONPAR 94 - VAPP VI), held in Linz, Austria in September 1994.
The 76 papers contained were carefully selected from a wealth of submissions and address the most important aspects of parallel processing research. The volume is organized into sections on performance analysis and monitoring, parallel program development, parallel algorithms and complexity models, parallel architectures and abstract machines, parallel languages and compiler technology, networks and routing, and scheduling in distributed memory systems.
Content:
Front Matter....Pages -
Scalability and programmability of massively parallel processors....Pages 1-4
Language constructs and runtime systems for compositional parallel programming....Pages 5-16
Locality optimizations for parallel machines....Pages 17-28
TAU: A portable parallel program analysis environment for pC++....Pages 29-40
Communication pattern based performance prediction on the nCUBE 2 multiprocessor system....Pages 41-52
Performance oriented development of SPMD programs based on task structure specifications....Pages 53-65
Monitoring for detecting bugs and blocking communication....Pages 66-75
Minimizing the log size for execution replay of shared-memory programs....Pages 76-87
Gold Mine specification language for event-based monitoring....Pages 88-99
On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version)....Pages 100-111
Towards the synthesis of asynchronous concurrent programs....Pages 112-123
Formal derivation of SIMD parallelism from non-linear recursive specifications....Pages 124-135
Deriving efficient parallel implementations of algorithms operating on general sparse matrices using automatic program transformation....Pages 136-147
Flexible program and architecture specification for massively parallel systems....Pages 148-159
Systematic approach and software tool for systolic design....Pages 160-171
ADVISE agricultural developmental visualisation interactive software environment....Pages 172-183
TOP2 tool suite for the development and testing of parallel applications....Pages 184-195
Vectorization of the radix r self-sorting FFT....Pages 196-207
Efficient Gram-Schmidt orthogonalisation on an array processor....Pages 208-217
Parallel algorithm for inverting tridiagonal matrix on linear processor array....Pages 218-228
Systolic algorithms for long integer GCD computation....Pages 229-240
Parallelization of non-simultaneous iterative methods for systems of linear equations....Pages 241-252
Hypercube implementation and performance analysis for extrapolation methods....Pages 253-264
An approach to machine-independent parallel programming....Pages 265-276
On logic program parallelisation strategies....Pages 277-288
Paradigms admitting superunitary behaviour in parallel computation....Pages 289-300
Exact solution of linear systems over rational numbers by parallel p-adic arithmetic....Pages 301-312
Parallel computation of modular multivariate polynomial resultants on a shared memory machine....Pages 313-323
Partial Marking GC....Pages 325-336
Parallel recognition and location algorithms for chordal graphs using distance matrices....Pages 337-348
Comparing two probabilistic models of the computational complexity of the branch and bound algorithm....Pages 349-358
Parallel heap construction using multiple selection....Pages 359-370
Engineering high quality parallel software using PARSE....Pages 371-380
Massively parallel volume rendering....Pages 381-392
Parallel visibility computations for parallel radiosity....Pages 393-404
Memory access synchronization in vector multiprocessors....Pages 405-413
A switch cache design for MIN-based shared-memory multiprocessors....Pages 414-425
Modeling cache coherence overhead with geometric objects....Pages 426-437
Accelerated access to shared distributed arrays on distributed memory systems by access objects....Pages 438-448
A comparison of shared virtual memory and message passing programming techniques based on a finite element application....Pages 449-460
Comparison between a message passing and a global shared memory parallel computer by means of a concrete Monte-Carlo algorithm....Pages 461-472
Non homogenous parallel memory operations in a VLIW machine....Pages 473-484
Experience with the implementation of a concurrent graph reduction system on an nCUBE/2 platform....Pages 485-496
The Rewrite Rule Machine node architecture and its performance....Pages 497-508
Automatic spark strategies and granularity for a parallel functional language reducer....Pages 509-520
Virtual tasks for the PACLIB kernel....Pages 521-532
MUSE: a message passing concurrent computer for on-board space systems....Pages 533-544
Self-timed communication strategies for massively parallel systolic architectures....Pages 545-556
VIM language paradigm....Pages 557-567
Distributed Linda tuplespace algorithms and implementations....Pages 569-580
Supporting coarse and fine grain parallelism in an extension of ML....Pages 581-592
Towards mixed computation/communication in parallel scientific libraries....Pages 593-604
Composing functional unit blocks for efficient Interpretation of MIMD code sequences on SIMD processors....Pages 605-615
Using sacks to organize registers in VLIW machines....Pages 616-627
A framework for resource-constrained rate-optimal software pipelining....Pages 628-639
Design of a meta-parallelizer for large scientific applications....Pages 640-651
A software architecture for multidisciplinary applications: Integrating task and data parallelism....Pages 652-663
On scanning space-time mapped while loops....Pages 664-676
Optimizing communications by using compile time analysis....Pages 677-688
Optimal tile sizing....Pages 689-700
Evaluating array expressions on massively parallel machines with communication/computation overlap....Pages 701-712
User interaction and symbolic extensions to dependence analysis....Pages 713-724
Simplifying polynomial constraints over integers to make dependence analysis more precise....Pages 725-736
Asymptotically optimal communication algorithms on faulty folded petersen networks....Pages 737-748
Optimization of diagnostic examination....Pages 749-760
Laying out midimew networks with constant dilation....Pages 761-772
Optimal interval routing....Pages 773-784
Broadcasting in bus interconnection networks....Pages 785-796
Broadcasting in the arrowhead torus....Pages 797-807
An efficient mapping heuristic for mesh-connected parallel architectures based on Mean Field Annealing....Pages 808-819
Mapping and scheduling by genetic algorithms....Pages 820-831
Self-organizing processes....Pages 832-841
Balancing load under large and fast load changes in distributed computing systems — A case study....Pages 842-853
Dynamic load balancing mechanisms for a parallel operating system kernel....Pages 854-865
A new load-prediction scheme based on algorithmic cost functions....Pages 866-877
Back Matter....Pages 878-889
....Pages -