PARLE '94 Parallel Architectures and Languages Europe: 6th International PARLE Conference, Athens, Greece, July 4 - 8, 1994. Proceedings (Lecture Notes in Computer Science (817))

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. 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 "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."--PUBLISHER'S WEBSITE