This volume presents the proceedings of the 5th International Conference Parallel Architectures and Languages Europe (PARLE '94), held in Athens, Greece in July 1994. PARLE is the main Europe-based event on parallel processing. Parallel processing is now well established within the high-performance computing technology and of stategic importance not only to the computer industry, but also for a wide range of applications affecting the whole economy. The 60 full papers and 24 poster presentations accepted for this proceedings were selected from some 200 submissions by the international program committee; they cover the whole field and give a timely state-of-the-art report on research and advanced applications in parallel computing.
Author(s): Afonso G. Ferreira, Miltos D. Grammatikakis (auth.), Costas Halatsis, Dimitrios Maritsas, George Philokyprou, Sergios Theodoridis (eds.)
Series: Lecture Notes in Computer Science 817
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 843
Tags: Processor Architectures; Computer Communication Networks; Special Purpose and Application-Based Systems; System Performance and Evaluation; Programming Techniques; Software Engineering
Improved probabilistic routing on generalized hypercubes....Pages 1-12
Efficient data communication in Incomplete Hypercube....Pages 13-24
Efficient communication in the folded Petersen interconnection networks....Pages 25-36
Compiling rewriting onto SIMD and MIMD/SIMD machines....Pages 37-48
A compilation technique for varying communication cost NUMA architectures....Pages 49-60
A data partitioning algorithm for distributed memory compilation....Pages 61-72
Towards a high precision massively parallel computer....Pages 73-84
On the testability of purely recursive digital filters....Pages 85-96
Voting on synchronous communications....Pages 97-108
Protocol validation: A parallel technique to reduce the reachability tree....Pages 109-121
Optimal parallel execution of complete binary trees and grids into most popular interconnection networks....Pages 122-133
Time-optimal nearest-neighbor computations on enhanced meshes....Pages 134-145
Simulation of PRAM models on meshes....Pages 146-158
On the multisearching problem for hypercubes....Pages 159-166
Code Liberation — A tool for refitting code to a parallel environment....Pages 167-179
High-level visualisation of parallel logic program execution....Pages 180-191
Next-generation parallel performance visualization: A prototyping environment for visualization development....Pages 192-201
A formal approach to modeling expected behavior in parallel program visualizations....Pages 202-213
An improvement in the size-depth tradeoff for strictly non-blocking generalized-concentration networks....Pages 214-225
Bypass strategy in hypercube multiprocessors by adding bus connections....Pages 226-237
Optimul: A hybrid multiprocessor for distributed and shared memory multiprocessing with WDM optical fiber interconnections....Pages 238-249
ILIAS, a sequential language for parallel matrix computations....Pages 250-261
Static communications in parallel scientific programs....Pages 262-276
Load balancing for extrapolation methods on distributed memory multiprocessors....Pages 277-288
On the definition of speedup....Pages 289-300
Petri net performance models of parallel systems — Methodology and case study....Pages 301-312
Run-time optimization of sparse matrix-vector multiplication on SIMD machines....Pages 313-322
A new approach to array redistribution: Strip mining redistribution....Pages 323-335
Analytic model of a Cache Only Memory Architecture....Pages 336-350
Memory assignment for multiprocessor caches through grey coloring....Pages 351-362
An adaptive update-based cache coherence protocol for reduction of miss rate and traffic....Pages 363-374
Eliminating invalidation in coherent-cache parallel graph reduction....Pages 375-386
Enhancing parallelism by removing cyclic data dependencies....Pages 387-397
An interaction-based language and its typing system....Pages 398-413
On the parallelism of data....Pages 414-424
Predicative polymorphism in π-calculus....Pages 425-437
Improving the execution of the dependent and-parallel Prolog DDAS....Pages 438-452
OR-parallel Prolog on distributed memory systems....Pages 453-463
Efficient distributed memory implementation of a data parallel functional language....Pages 464-477
Modelling photochemical pollution using parallel and distributed computing platforms....Pages 478-489
Parallel algorithms and interval selection strategies for globally adaptive quadrature....Pages 490-501
Systolic designs for evaluating linear combinations of Chebyshev polynomials....Pages 502-513
The impact of the KSR1 allcache architecture on the behaviour of the DBS3 parallel DBMS....Pages 514-525
Sparse Generalized HyperGrids for performance scalability....Pages 526-538
A distributed garbage collector for active objects....Pages 539-552
Bus based parallel computers: A viable way for massive parallelism....Pages 553-564
Implementation of GTS....Pages 565-576
A hierarchical activation management technique for fine-grain multithreaded execution....Pages 577-588
Scheduling task graphs onto distributed memory multiprocessors under realistic constraints....Pages 589-600
A dynamic algorithm for online scheduling of parallel processes....Pages 601-610
CoReA: A synchronous calculus of parallel communicating reactive automata....Pages 611-622
Deriving histories of nets with priority relation....Pages 623-634
What do you get from a π-calculus semantics?....Pages 635-647
Rewriting: An effective model of concurrency....Pages 648-660
Mercury: Object-affinity scheduling and continuation passing on multiprocessors....Pages 661-676
Dynamic allocation of communication bandwidth in multicomputers....Pages 677-688
Load balanced priority queues on distributed memory machines....Pages 689-700
Parallel computations with algebraic numbers a case study: Jordan normal form of matrices....Pages 701-712
Batch dynamic algorithms for two graph problems....Pages 713-724
A general method for maximizing the error-detecting ability of distributed algorithms....Pages 725-736
MAGE: A Massively Agent Execution System for logic programming....Pages 737-740
Checking the serial correctness of control-parallel programs....Pages 741-744
NXLib — A parallel programming environment for workstation clusters....Pages 745-748
Applying human factors techniques to the design of a tool for parallel program performance analysis and tuning....Pages 749-752
An Actor based programming system for heterogeneous processing....Pages 753-756
Introducing fairness in CSP systems specified with state variables....Pages 757-760
A dataflow-based massively parallel programming language and its implementation....Pages 761-764
Using subpages for coherency control in parallel database systems....Pages 765-768
A new multi-dimensional interconnection network for SIMD architectures....Pages 769-772
A scalable bit-sequential SIMD architecture for pattern recognition....Pages 773-776
An iterative array processor architecture for matrix computation....Pages 777-780
Datarol-II: A fine-grain massively parallel architecture....Pages 781-784
From BSP to a virtual von Neumann machine....Pages 785-788
Data parallel relational database processing on the connection machine CM-2 with DataVault....Pages 789-792
Staggered scheme: A loop allocation policy....Pages 793-796
Using parallel simulated annealing in the mapping problem....Pages 797-800
A new parallel MIMD Connected Component Labeling algorithm....Pages 801-804
Using reference counters in update based coherent memory....Pages 805-808
Compositional reasoning about real-time distributed systems with limited resources....Pages 809-812
Dynamic load balancing on a virtually-shared memory parallel computer system....Pages 813-818
Analysing the load balancing scheme of a parallel system on multiprocessors — A modeling approach —....Pages 819-822
Performance of interconnection network in multithreaded architectures....Pages 823-826
Scheduling algorithms performance with the pSystem parallel programming environment....Pages 827-830
A new routing scheme for concatenating two omega networks....Pages 831-834
