PARLE'94 Parallel Architectures and Languages Europe: 6th International PARLE Conference Athens, Greece, July 4–8, 1994 Proceedings

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